Prof. X. Song  
Electrical and Computer Engineering 
Portland State University

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)