Mutation-based validation of high-level microprocessor implementations.
Jorge CamposHussain Al-AsaadPublished 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