Education
Ph.D. 1991, Computer Engineering, University of Pisa, Italy
M.S. 1986, Computer Engineering, University of Pisa, Italy
Research Interests
Digital systems, embedded computing systems,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.
