System-level Test and Validation of Hardware Software SystemsChapter 2
Validation of Speculative and Out of Order Execution Microarchitecture