Searching for authors named "Guowu Yang" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Maximal Models of Assertion Graph in GSTE
- …Maximal Models of Assertion Graph in GSTE Guowu Yang 1 ,JinYang 2 ,XiaoyuSong 3 ,andFeiXie 1 1…
- Add To MetaCart
-
Compositional reasoning for hardware/software co-verification
- …Compositional Reasoning for Hardware/Software Co-Verification ⋆ Fei Xie 1 , Guowu Yang 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Algorithms + Data Structures = Programs
- …Congestion Estimation for 3D Routing Lerong Cheng, William N. N. Hung, Guowu Yang and Xiaoyu Song…
- Cited by 1 (1 self) – Add To MetaCart
-
Majority-based reversible logic gate
- …Majority-Based Reversible Logic Gate Guowu Yang, William N. N. Hung * , Xiaoyu Song and Marek…
- Cited by 7 (6 self) – Add To MetaCart
-
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis
- … by Symbolic Reachability Analysis William N. N. Hung, Xiaoyu Song, Guowu Yang, Jin Yang, and Marek Perkowski…
- Cited by 5 (2 self) – Add To MetaCart
-
Group theory based synthesis of binary reversible circuits
- …Group Theory Based Synthesis of Binary Reversible Circuits Guowu Yang 1 ,XiaoyuSong 2 , William N…
- Cited by 1 (0 self) – Add To MetaCart
-
Congestion estimation for 3-D circuit architectures
- … Congestion Estimation for 3-D Circuit Architectures Lerong Cheng, William N. N. Hung, Guowu Yang, and Xiaoyu…
- Cited by 3 (1 self) – Add To MetaCart
-
A.: ‘Exact synthesis of 3-qubit quantum circuits from non-binary quantum gates using multiple-valued logic and group
- …-Valued Logic and Group Theory Guowu Yang, William N. N. Hung, Xiaoyu Song and Marek Perkowski Department of ECE…
- Cited by 1 (0 self) – Add To MetaCart
-
A Constructive Algorithm for Reversible Logic Synthesis
- …A Constructive Algorithm for Reversible Logic Synthesis Guowu Yang 1 ,FeiXie 1 , Xiaoyu Song 2…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 9.
