Prof. X. Song Electrical and Computer Engineering Portland State University
Classes:
ECE481/581: ASIC Designs (Fall Term)
ECE527/627: High Performance Digital Systems (Fall Term)
ECE483/583: Low Power Digital IC Design (Winter Term)
ECE582/682: Formal Verification of Hardware/Software Systems (Winter and Summer Terms)
ECE510: Modeling and Analysis of Embedded Computing Systems (Summer Term)
Research:
Selected Publications
Graduated PhD Students and Alumni
Projects:
Intel Faculty Felllow 2000-2005
Semiconductor Research Corporation (SRC):
Scalable Co-Verification Based on Hardware IPs and Software Component
Editorships
Area Editor:
Journal of Computer Science and Technology (2007-Present)
Associate Editor:
IEEE Transactions on VLSI Systems (2001-2003)
Associate Editor:
IEEE Transactions on Circuits and Systems - II (2000-2002)