Automatic verification of pipelined microprocessor control

This publication has 12 references indexed in Scilit:

• Occam in the specification and verification of microprocessors
  Philosophical Transactions A, 1992
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Representing circuits more efficiently in symbolic model checking
  Published by Association for Computing Machinery (ACM) ,1991
• Formal hardware verification by symbolic ternary trajectory evaluation
  Published by Association for Computing Machinery (ACM) ,1991
• Formal verification of a pipelined microprocessor
  IEEE Software, 1990
• 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
• Correctness Properties of the Viper Block Model: The Second Level
  Published by Springer Nature ,1989
• Simplification by Cooperating Decision Procedures
  ACM Transactions on Programming Languages and Systems, 1979
• A Practical Decision Procedure for Arithmetic with Function Symbols
  Journal of the ACM, 1979