CHARME
2001
Springer
14 years 4 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...