Prof. X. Song Electrical and Computer Engineering Portland State University Email: song AT ece DOT pdx DOT edu

Classes:

1. ECE481/581: ASIC Designs (Fall Term)
2. ECE527/627: High Performance Digital Systems (Fall Term)
3. ECE483/583: Low Power Digital IC Design (Winter Term)
4. ECE582/682: Formal Verification of Hardware/Software Systems (Winter and Summer Terms)
5. ECE510: Modeling and Analysis of Embedded Computing Systems (Summer Term)

Research:

1. Selected Publications
2. Graduated PhD Students and Alumni

Projects:

1. Intel Faculty Felllow 2000-2005
2. Semiconductor Research Corporation (SRC): Scalable Co-Verification Based on Hardware IPs and Software Component

Editorships

1. Area Editor: Journal of Computer Science and Technology (2007-Present)
2. Associate Editor: IEEE Transactions on VLSI Systems (2001-2003)
3. Associate Editor: IEEE Transactions on Circuits and Systems - II (2000-2002)