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

by M Oskin, F T Chong, M Farrens
Venue:in Proceedings of the 27th Annual International Symposium on Computer Architecture (ISCA