12 results on '"WANG Chun-yao"'
Search Results
2. A Robust Approach to Detecting Non-Equivalent Quantum Circuits Using Specially Designed Stimuli
3. Approximate Logic Synthesis by Genetic Algorithm with an Error Rate Guarantee
4. Overview of 2022 CAD Contest at ICCAD
5. An Approach to Unlocking Cyclic Logic Locking
6. A General Equivalence Checking Framework for Multivalued Logic
7. An Efficient Approximate Node Merging with an Error Rate Guarantee
8. A Hybrid Approach to Equivalent Fault Identification for Verification Environment Qualification
9. Automated mapping for reconfigurable single-electron transistor arrays
10. Node addition and removal in the presence of don't cares
11. Fast detection of node mergers using logic implications
12. Enhancing SAT-based sequential depth computation by pruning search space
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.