Microarchitecture Verification by Compositional Model Checking

This publication has 8 references indexed in Scilit:

• A methodology for hardware verification using compositional model checking
  Science of Computer Programming, 2000
• Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction
  Published by Association for Computing Machinery (ACM) ,2000
• Verifying Advanced Microarchitectures that Support Speculation and Exceptions
  Published by Springer Nature ,2000
• Verifying Tomasulo's algorithm by refinement
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1999
• Processor verification with precise exceptions and speculative execution
  Published by Springer Nature ,1998
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• An Efficient Algorithm for Exploiting Multiple Arithmetic Units
  IBM Journal of Research and Development, 1967