Self-consistency checking

This publication has 5 references indexed in Scilit:

• Techniques for verifying superscalar microprocessors
  Published by Association for Computing Machinery (ACM) ,1996
• Formal modeling and verification of microprocessors
  IEEE Transactions on Computers, 1995
• Automatic verification of pipelined microprocessors
  Published by Association for Computing Machinery (ACM) ,1994
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• Formal hardware verification methods: A survey
  Formal Methods in System Design, 1992