MA2TG: A Functional Test Program Generator for Microprocessor Verification.
Tun LiDan ZhuYang GuoGongJie LiuSikun LiPublished in: DSD (2005)
Keyphrases
- functional verification
- test generation
- test cases
- symbolic execution
- high speed
- neural network
- set of test cases
- data generator
- formal verification
- static analysis
- test suite
- model checking
- computer programs
- design methodology
- test data
- program execution
- test data generation
- statistically significant
- information systems
- learning algorithm
- real time