Modular verification of multipliers

This publication has 19 references indexed in Scilit:

• Verification of large synthesized designs
  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
• Verification of arithmetic circuits with binary moment diagrams
  Published by Association for Computing Machinery (ACM) ,1995
• Algebraic decision diagrams and their applications
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
• Spectral transforms for large boolean functions with applications to technology mapping
  Published by Association for Computing Machinery (ACM) ,1993
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
  IEEE Transactions on Computers, 1991
• Using BDDs to verify multipliers
  Published by Association for Computing Machinery (ACM) ,1991
• Efficient implementation of a BDD package
  Published by Association for Computing Machinery (ACM) ,1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986