Stimulus generation for constrained random simulation | IEEE Conference Publication | IEEE Xplore