Reasoning about pipelines with structural hazards

This publication has 10 references indexed in Scilit:

• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• Implementing a methodology for formally verifying RISC processors in HOL
  Published by Springer Nature ,1994
• From processor timing specifications to static instruction scheduling
  Published by Springer Nature ,1994
• Implementational issues for verifying RISC-pipeline conflicts in HOL
  Published by Springer Nature ,1994
• Performance features of the PA7100 microprocessor
  IEEE Micro, 1993
• Architecture of the Pentium microprocessor
  IEEE Micro, 1993
• The Alpha AXP architecture and 21064 processor
  IEEE Micro, 1993
• Using Transformations and Verification in Circuit Design
  Published by Springer Nature ,1993
• Formal verification of a pipelined microprocessor
  IEEE Software, 1990
• A pipelined 50-MHz CMOS 64-bit floating-point arithmetic processor
  IEEE Journal of Solid-State Circuits, 1989