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 in design automation, formal methods, digital IC
design, and emerging technologies. In particular, I am currently focused on
verification, IC low power designs, hardware/software codesign for embedded systems, ASIC designs, reversible circuits, and timing analysis.
Selected Publications
F. Xie, X. Song, et al., "Component-based hardware/software co-verification
for building trustworthy embedded systems," Journal of Systems and Software,
Elsevier Science Publishers, 2006.
X. Song, G. Yang, M. Perkowski, "Algebraic characteristics of reversible gates,"
Theory of Computing Systems (Mathematical Systems Theory), Springer-Verlag,
39(2), 311-319, 2006.
F. He, X. Song, et al., "Probabilistic optimization for FPGA board level routing
problems," IEEE Transactions on Circuits and Systems II, 2005.
W. Hung, X. Song, G. Yang, et al., "Optimal synthesis of multiple output boolean
functions using a set of qua ntum gates by symbolic reachability analysis," IEEE
Transactions on Computer-Aided Design, 2005.
G. Yang, X. Song, M. Perkowski and J. Wu, "Realizing ternary quantum switching
networks without ancilla bits," Journal of Physics A Mathematical and General, The
Institute of Physics, 38(2005), 9689-9697, 2005.
G. Yang, W. Hung, X. Song, "Majority-based reversible logic gates," Theoretical
Computer Science, 2004. 334(1-3):259-274, Elsevier Science Publishers, 2005.
X. Song, et al., "Board-level multiterminal net assignment for the partial cross-bar
architecture," IEEE Trans actions on VLSI Systems, 11(3), 511-514, 2003.
Xiaoyu Song Professor