An Abstraction Algorithm for the Verification of Generalized C-Slow Designs

This publication has 7 references indexed in Scilit:

• Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists
  Published by Springer Nature ,1999
• Efficient equivalence checking of multi-phase designs using phase abstraction and retiming
  ACM Transactions on Design Automation of Electronic Systems, 1998
• Input Elimination and Abstraction in Model Checking
  Published by Springer Nature ,1998
• RuleBase
  Published by Association for Computing Machinery (ACM) ,1996
• Model checking and modular verification
  ACM Transactions on Programming Languages and Systems, 1994
• New techniques for efficient verification with implicitly conjoined BDDs
  Published by Association for Computing Machinery (ACM) ,1994
• Retiming synchronous circuitry
  Algorithmica, 1991