DIVA: A Dynamic Approach to Microprocessor Verification (2000)

by Todd Austin
Venue:Journal of Instruction-Level Parallelism
Citations:26 - 3 self