Simplified stimuli generation for scenario and assertion based verification