DIVA: a dynamic approach to microprocessor verification,” (2000)

by T M Austin
Venue:Journal of Instruction-Level Parallelism,