Stimulus generation using the test pattern development language | IEEE Conference Publication | IEEE Xplore