2008 |
24 | EE | Xiaojun Lu,
Guowu Yang,
Jianping Li,
Xiaoyu Song,
William N. N. Hung:
The probability logics for nanoscale inverterscascade.
IEEE Congress on Evolutionary Computation 2008: 2487-2491 |
23 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Bi-Directional Synthesis of 4-Bit Reversible Circuits.
Comput. J. 51(2): 207-215 (2008) |
22 | EE | Lerong Cheng,
Xiaoyu Song,
Guowu Yang,
William N. N. Hung,
Zhiwei Tang,
Shaodi Gao:
A fast congestion estimator for routing with bounded detours.
Integration 41(3): 360-370 (2008) |
2007 |
21 | EE | William N. N. Hung,
Changjian Gao,
Xiaoyu Song,
Dan W. Hammerstrom:
Defect-Tolerant CMOL Cell Assignment via Satisfiability
CoRR abs/0705.4320: (2007) |
20 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory
CoRR abs/0710.4694: (2007) |
2006 |
19 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Fei Xie,
Marek A. Perkowski:
Group Theory Based Synthesis of Binary Reversible Circuits.
TAMC 2006: 365-374 |
18 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems 25(9): 1652-1663 (2006) |
2005 |
17 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Fast synthesis of exact minimal reversible circuits using group theory.
ASP-DAC 2005: 1002-1005 |
16 | EE | Guowu Yang,
Jin Yang,
William N. N. Hung,
Xiaoyu Song:
Implication of assertion graphs in GSTE.
ASP-DAC 2005: 1060-1063 |
15 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory.
DATE 2005: 434-435 |
14 | EE | Fei He,
William N. N. Hung,
Xiaoyu Song,
Ming Gu,
Jiaguang Sun:
Segmented channel routing with pin rearrangements via satisfiability.
ISCAS (6) 2005: 6248-6251 |
13 | EE | Guowu Yang,
Xiaoyu Song,
William N. N. Hung,
Marek A. Perkowski:
Bi-Direction Synthesis for Reversible Circuits.
ISVLSI 2005: 14-19 |
12 | EE | Guowu Yang,
William N. N. Hung,
Xiaoyu Song,
Marek A. Perkowski:
Majority-based reversible logic gates.
Theor. Comput. Sci. 334(1-3): 259-274 (2005) |
2004 |
11 | EE | William N. N. Hung,
Xiaoyu Song,
Guowu Yang,
Jin Yang,
Marek A. Perkowski:
Quantum logic synthesis by symbolic reachability analysis.
DAC 2004: 838-841 |
10 | EE | Lerong Cheng,
William N. N. Hung,
Guowu Yang,
Xiaoyu Song:
Congestion Estimation for 3D Routing.
ISVLSI 2004: 239-240 |
9 | EE | William N. N. Hung,
Xiaoyu Song,
El Mostapha Aboulhamid,
Andrew A. Kennings,
Alan J. Coppola:
Segmented channel routability via satisfiability.
ACM Trans. Design Autom. Electr. Syst. 9(4): 517-528 (2004) |
8 | EE | William N. N. Hung,
Xiaoyu Song,
T. Kam,
Lerong Cheng,
Guowu Yang:
Routability checking for three-dimensional architectures.
IEEE Trans. VLSI Syst. 12(12): 1371-1374 (2004) |
7 | EE | Ming Gu,
Fei He,
William N. N. Hung,
Xiaoyu Song:
A comparative study on search strategies for cell assignments.
Int. J. Comput. Math. 81(7): 901-908 (2004) |
2003 |
6 | EE | Xiaoyu Song,
William N. N. Hung,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
Andrew A. Kennings,
Alan J. Coppola:
Board-level multiterminal net assignment for the partial cross-bar architecture.
IEEE Trans. VLSI Syst. 11(3): 511-514 (2003) |
2002 |
5 | EE | Xiaoyu Song,
William N. N. Hung,
Alan Mishchenko,
Malgorzata Chrzanowska-Jeske,
Alan J. Coppola,
Andrew A. Kennings:
Board-level multiterminal net assignment.
ACM Great Lakes Symposium on VLSI 2002: 130-135 |
4 | EE | William N. N. Hung,
Xiaoyu Song,
Alan J. Coppola,
Andrew A. Kennings:
On segmented channel routability.
ISCAS (1) 2002: 169-172 |
3 | EE | William N. N. Hung,
Xiaoyu Song:
On data address computation for embedded DSP systems.
ISCAS (4) 2002: 532-535 |
2 | EE | William N. N. Hung,
Xiaoyu Song,
El Mostapha Aboulhamid,
Michael A. Driscoll:
BDD minimization by scatter search.
IEEE Trans. on CAD of Integrated Circuits and Systems 21(8): 974-979 (2002) |
2001 |
1 | | William N. N. Hung,
Xiaoyu Song:
BDD Variable Ordering by Scatter Search.
ICCD 2001: 368-373 |