Evolutionary Test Program Induction for Microprocessor Design Verification.
Fulvio CornoGianluca CumaniMatteo Sonza ReordaGiovanni SquilleroPublished in: Asian Test Symposium (2002)
Keyphrases
- functional verification
- design methodology
- machine learning
- user interface
- test cases
- automatic programming
- design process
- control program
- experimental design
- hardware designs
- program synthesis
- physical design
- genetic algorithm
- data sets
- engineering design
- case study
- static analysis
- face verification
- software architecture