Probabilistic verification of Boolean functions

This publication has 18 references indexed in Scilit:

• Evaluation and improvement of Boolean comparison method based on binary decision diagrams
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Tautology checking using cross-controllability and cross-observability relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Sequential circuit verification using symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1990
• Formal verification of hardware correctness: introduction and survey of current research
  Computer, 1988
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Equivalence of free boolean graphs can be decided probabilistically in polynomial time
  Information Processing Letters, 1980
• Binary Decision Diagrams
  IEEE Transactions on Computers, 1978
• Representation of Switching Circuits by Binary-Decision Programs
  Bell System Technical Journal, 1959