Architecture Validation for Processors.

Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill

Browse the full ISCA paper archive.