HLS: Combining statistical and symbolic simulation to guide microprocessor designs (2000)

by M Oskin, F T Chong, M Farrens
Venue:In 27th Annual International Symposium on Computer Architecture