Dynamic Exerciser Template Weighting in x86 Processor Verification.

Ahmed Wahba Justin Hohnerlein Farhan Rahman Li-C. Wang

Published in: MTV (2017)

Keyphrases

template matching
dynamic environments
model checking
functional verification
real time
neural network
formal verification
data sets
genetic algorithm
website
database systems
general purpose
low cost
matching algorithm
weighting scheme