DIVA: A Dynamic Approach to Microprocessor Verification (0)

by T Austin
Venue:in Journal of Instruction-Level Parallelism