A Mechanically Verified AIG-to-BDD Conversion Algorithm

DOI10.1007/978-3-642-14052-5_30zbMath1266.68165OpenAlexW1534871961MaRDI QIDQ5747668

Warren A. jun. Hunt, Sol Swords

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

Uses Software

• ACL2

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