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

Classes:

  1. No Single-Credit Project for 2012 Spring Term
  2. ECE481/581: ASIC Designs
  3. ECE582/682: Formal Verification of Hardware/Software Systems
  4. ECE483/583: Low Power Digital IC Design
  5. ECE527/627: High Performance Digital Systems
  6. ECE510: Modeling and Analysis of Embedded Computing Systems
  7. ECE341: Computer Hardware
  8. PE 2012

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)