Author:
Aagaard Mark D.,Jones Robert B.,Serger Carl-Johan H.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Polynomial Formal Verification of Floating Point Adders;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
2. Verification of Arithmetic and Datapath Circuits with Symbolic Simulation;Handbook of Computer Architecture;2022
3. Bit-Blasting ACL2 Theorems;Electronic Proceedings in Theoretical Computer Science;2011-10-20
4. A Mechanically Verified AIG-to-BDD Conversion Algorithm;Interactive Theorem Proving;2010
5. Centaur Technology Media Unit Verification;Computer Aided Verification;2009