Author:
Qi Zhu ,Kitchen N.,Kuehlmann A.,Sangiovanni-Vincentelli A.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Revisit Reconvergence Issue in Simulation-based Observability and Testability, and its Rectification;2024 2nd International Symposium of Electronics Design Automation (ISEDA);2024-05-10
2. Certifying Phase Abstraction;Lecture Notes in Computer Science;2024
3. Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
4. Chapter 9. Preprocessing in SAT Solving;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. Majority Logic Circuit Minimization Using Node Addition and Removal;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021