Automatic Generation of Validation Stimuli for Application-Specific Processors