HLS: combining statistical and symbolic simulation to guide microprocessor designs | IEEE Conference Publication | IEEE Xplore