Mutation-based validation of high-level microprocessor implementations.

Jorge Campos Hussain Al-Asaad

Published in: HLDVT (2004)

Keyphrases

high level
low level
genetic algorithm
evolutionary algorithm
programming language
high speed

low level features
higher level
population size
efficient implementation
differential evolution

database
model validation
functional verification
special purpose hardware
physical design

operating system
genetic operators
design methodology
clustering algorithm
neural network