Dynamic Exerciser Template Weighting in x86 Processor Verification | IEEE Conference Publication | IEEE Xplore