Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation

This publication has 12 references indexed in Scilit:

• Verifying pipelined hardware using symbolic logic simulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Extraction of gate level models from transistor circuits by four-valued symbolic analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Trace table based approach for pipelined microprocessor verification
  Published by Springer Nature ,1997
• Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation
  Published by Springer Nature ,1997
• Self-consistency checking
  Published by Springer Nature ,1996
• Techniques for verifying superscalar microprocessors
  Published by Association for Computing Machinery (ACM) ,1996
• Formal verification by symbolic evaluation of partially-ordered trajectories
  Formal Methods in System Design, 1995
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992
• Proof of correctness of data representations
  Acta Informatica, 1972