Automatic generation of validation stimuli for application-specific processors | IEEE Conference Publication | IEEE Xplore