Automated Test Picker for Complex Microprocessor Verification Environment | IEEE Conference Publication | IEEE Xplore