HLS: combining statistical and symbolic simulation to guide microprocessor designs.

Mark Oskin, Frederic T. Chong, Matthew K. Farrens

Browse the full ISCA paper archive.