Improving Coverage of Simulation-Based Verification by Dedicated Stimuli Generation | IEEE Conference Publication | IEEE Xplore