Efficient implementation of a BDD package

This publication has 10 references indexed in Scilit:

• Proving circuit correctness using formal comparison between expected and extracted behaviour
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Logic verification using binary decision diagrams in a logic synthesis environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Evaluation and improvement of Boolean comparison method based on binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Efficient algorithms for computing the longest viable path in a combinational network
  Published by Association for Computing Machinery (ACM) ,1989
• The transduction method-design of logic networks based on permissible functions
  IEEE Transactions on Computers, 1989
• Fast Methods for Switch-Level Verification of MOS Circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Logic Minimization Algorithms for VLSI Synthesis
  Published by Springer Nature ,1984
• Diagnosis & Reliable Design of Digital Systems
  Published by Springer Nature ,1976
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959