Author:
Berman C.L.,Trevillyan L.H.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An efficient circuit-based SAT solver and its application in logic equivalence checking;Microelectronics Journal;2023-12
2. Compatible Equivalence Checking of X-Valued Circuits;2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD);2021-11-01
3. A General Equivalence Checking Framework for Multivalued Logic;Proceedings of the 26th Asia and South Pacific Design Automation Conference;2021-01-18
4. Program equivalence for assisted grading of functional programs;Proceedings of the ACM on Programming Languages;2020-11-13
5. Equivalence Checking;Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology;2016-04-14