On-the-Fly Reduction of Stimuli for Functional Verification | IEEE Conference Publication | IEEE Xplore