CHARME
2001
Springer
13 years 10 months ago
2001
Springer
Abstract Most verifications of out-of-order microprocessors compare state-machine-based implementations and specifications, where the specification is based on the instruction-s...