2 citations · 4 across the 5 of their papers we have counts for
5 papers
A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature
Juling Zhang, Guowu Yang, William N. N. Hung +1
This paper presents a new compact canonical-based algorithm to solve the problem of single-output completely specified NPN Boolean matching. We propose a new signature vector Boole…
An Efficient NPN Boolean Matching Algorithm Based on Structural Signature and Shannon Expansion
Juling Zhang, Guowu Yang, William N. N. Hung +1
An efficient pairwise Boolean matching algorithm to solve the problem of matching single-output specified Boolean functions under input negation and/or input permutation and/or out…
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong, Fei He, Xiaoyu Song +2
A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the…
Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory
Guowu Yang, William N. N. Hung, Xiaoyu Song +1
We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces t…
Defect-Tolerant CMOL Cell Assignment via Satisfiability
William N. N. Hung, Changjian Gao, Xiaoyu Song +1
We present a CAD framework for CMOL, a hybrid CMOS/ molecular circuit architecture. Our framework first transforms any logically synthesized circuit based on AND/OR/NOT gates to a…