Techniques for verifying superscalar microprocessors

This publication has 9 references indexed in Scilit:

• Verification of large synthesized designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The use of observability and external don't cares for the simplification of multi-level networks
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Observability don't care sets and Boolean relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Applying formal verification to a commercial microprocessor
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient validity checking for processor verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• State enumeration with abstract descriptions of state machines
  Published by Springer Nature ,1995
• Formal modeling and verification of microprocessors
  IEEE Transactions on Computers, 1995
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• A Proof of Correctness of the Viper Microprocessor: The First Level
  Published by Springer Nature ,1988