Indexed BDDs: algorithmic advances in techniques to represent and verify Boolean functions

This publication has 11 references indexed in Scilit:

• IBDDs: an efficient functional representation for digital circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Extended BDD's: trading off canonicity for structure in verification algorithms
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Boolean satisfiability and equivalence checking using general binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hybrid decision diagrams. Overcoming the limitations of MTBDDs and BMDs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the computational power of binary decision diagram with redundant variables
  Formal Methods in System Design, 1996
• Spectral transforms for large boolean functions with applications to technology mapping
  Published by Association for Computing Machinery (ACM) ,1993
• Probabilistic verification of Boolean functions
  Formal Methods in System Design, 1992
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The complexity of equivalence and containment for free single variable program schemes
  Published by Springer Nature ,1978