A Framework for Microprocessor Correctness Statements

CHARME, pp. 433-448, 2001.

Cited by: 43|Bibtex|Views3|
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com
Keywords:
out of orderinstruction set architecture

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments