A Mechanically Verified AIG-to-BDD Conversion Algorithm

DOI10.1007/978-3-642-14052-5_30MaRDI QIDQ5747668zbMATH OpenOpenAlexFDO

Authors Sol Swords, Warren A. jun. Hunt

Publication date 14 September 2010

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14052-5_30

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1670787
• Mechanical verification of an ideal incremental ABR conformance algorithm
• A machine-checked implementation of Buchberger's algorithm
• A BDD-based verification method for large synthesized circuits
• Formal design and verification of operational transformation algorithms for copies convergence
• scientific article; zbMATH DE number 2080213
• An algebraic treatment of procedure refinement to support mechanical verification
• A verification method for a commitment strategy of the BDI architecture

Cited in

(1)

• Verified AIG algorithms in ACL2

Describes a project that uses

Uses Software

• ACL2

This page was built for publication: A Mechanically Verified AIG-to-BDD Conversion Algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747668)