HLS: combining statistical and symbolic simulation to guide microprocessor designs | Synapse