Simplified stimuli generation for scenario and assertion based verification | IEEE Conference Publication | IEEE Xplore