A Framework for Microprocessor Correctness Statements
CHARME, pp. 433-448, 2001.
out of orderinstruction set architecture
Most verifications of out-of-order microprocessors compare state-machine-based implementations and specifications, where the specification is based on the instruction-set architecture. The different efforts use a variety of correctness statements, implementations, and verification approaches. We present a framework for classifying correct...More
Full Text (Upload PDF)
PPT (Upload PPT)