An efficient framework for accelerating functional verification of microprocessor | IEEE Conference Publication | IEEE Xplore