author-photo

William N. N. Hung

Synopsys
Portland State University
Intel

107

Papers

1317

Citations

Citation Trend

Filter By

Papers (70) Sort By

Journal Conference Others

Temporal Coverage Analysis for Dynamic Verification

2018 IEEE Transactions on Circuits and Systems Ii-express Briefs
Show All
- Source
- Cite
- Save
Citations (3)
An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion

2018 Cluster Computing
Show All
- Source
- Cite
- Save
Citations (3)
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature

2018 Symmetry
Show All
- Source
- Cite
- Save
Citations (2)
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature

2017 IEEE Access
Show All
- Source
- Cite
- Save
Citations (2)
A Canonical-Based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature

2017 IEEE Access
Show All
- Source
- Cite
- Save
Citations (1)
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism

2016 IEEE Transactions on Computers
Show All
- Source
- Cite
- Save
Citations (15)
A multipartite entanglement measure based on coefficient matrices

2015 Quantum Information Processing
Show All
- Source
- Cite
- Save
Citations (10)
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq

2015 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Show All
- Source
- Cite
- Save
Citations (2)
Symbolic Analysis of Programmable Logic Controllers

2014 IEEE Transactions on Computers
Show All
- Source
- Cite
- Save
Citations (13)
Motion planning with Satisfiability Modulo Theories

2014 ICRA | International Conference on Robotics and Automation
Show All
- Source
- Cite
- Save
Citations (18)