High-Level Functional Test Generation for Microprocessor Modules.
Adeboye Stephen OyeniranRaimund UbarPublished in: MIXDES (2019)
Keyphrases
- test generation
- high level
- functional verification
- test cases
- low level
- test sequences
- symbolic execution
- quality assurance
- design automation
- static analysis
- high speed
- programming language
- software testing
- floating point
- computer vision
- design methodology
- source code
- object oriented
- database systems
- building blocks
- software engineering