Quick Links

Faculty Research Interests and
Selected Publications

 

Xiaoyu SongXiaoyu Song Professor



Phone: 503.725.5398
Fax: 503.725.3807
Email: song@ece.pdx.edu
Office: FAB 160-15
Web site: http://www.ece.pdx.edu/~song/


Education
Ph.D. 1991, Computer Engineering, University of Pisa, Italy
M.S. 1986, Computer Engineering, University of Pisa, Italy
B.S. 1984, Computer Engineering, Changsha Institute of Technology

Research Interests
My research interests are: design automation, formal methods, digital IC design, and emerging technologies.

Selected Publications
F. He, X. Song, et al., "Integrating evolutionary computation with abstraction refinement for model checking," IEEE Transactions on Computers, 2009.

G. Chen, X. Song, et al., "A theoretical investigation on CMOL FPGA cell assignment problem," IEEE Transactions on Nanotechnology, 8(3), 322-329, 2009.

W. Hung, C. Gao, X. Song, D. Hammerstrom, "Defect tolerant CMOL cell assignment via satisfiability," IEEE Sensors Journal, 2008

X. Song, G. Yang, M. Perkowski, "Algebraic characteristics of reversible gates," Theory of Computing Systems (Mathematical Systems Theory), Springer-Verlag, 39(2), 2006.

W. Hung, X. Song, G. Yang, et al., "Optimal Synthesis of Multi-output Boolean Functions using a Set of Quantum Gates by Symbolic Reachability Analysis," IEEE Transactions on Computer-Aided Design, 2005.

W. Hung, X. Song, et al, "Routability Checking for Three-Dimensional Architecturesm," IEEE Transactions on Very Large Scale Integration Systems, 2004.

L. Cheng, W. Hung, G. Yang, X. Song, "Congestion Estimation for 3D Circuit Architectures," IEEE Transactions on Circuits and Systems II, 2004.


 
awarded

Jeff Hoffman & Don Tornquist have been chosen for the 2009-2010 ECE Undergraduate Honors Program. The program enables undergraduates to go beyond their normal studies to work with faculty in the area of their choice: research, entrepreneurship or innovation.

Robert Daasch

Dr. Robert Daasch has won the Semiconductor Research Corporation 2009 Technical Excellence Award. It is the second highest research award in the SRC. The Technical Excellence Award was established as an incentive and recognition program for research of exceptional value to GRC members. Authorized by the Board of Directors in December 1991, the award is intended to complement the Inventor Recognition Award. The Technical Excellence Award is shared among key contributors for innovative technology that significantly enhances the productivity/
competitiveness of the semiconductor industry. To date 25 research efforts have received the award. The 2008 Technical Excellence Award was presented to a team of researchers from Portland State University led by Professor W. Robert Daasch, and supported by students Liwei Ning (PhD 2009), and Amit Nahar (MS 2006) for their research, "Burn-in Reduction: Improving Outlier Screening".