Name
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 correctness statements about safety that is independent of implementation representation and verification approach. We characterize the relationships between the different statements and illustrate how existing and classical approaches fit within this framework. |
Year | DOI | Venue |
|---|---|---|
2001 | 10.1007/3-540-44798-9_33 | CHARME |
Keywords | Field | DocType |
out of order,instruction set architecture | Architecture,Programming language,Computer science,Correctness,Microprocessor,Circuit design,Implementation,Distributed computing | Conference |
ISBN | Citations | PageRank |
3-540-42541-1 | 17 | 0.85 |
References | Authors | |
30 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mark Aagaard | 1 | 292 | 34.39 |
| Byron Cook | 2 | 125 | 13.25 |
| Nancy A. Day | 3 | 243 | 21.26 |
| Robert B. Jones | 4 | 434 | 39.17 |