Xiaoyu Song
Professor  
Electrical and Computer Engineering 
Portland State University 
Email: song AT ee DOT pdx DOT edu

Classes:

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

Research:

  1. Selected Publications
  2. Areas of Research
  3. 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)