High Level Test Generation for Custom Hardware: An Industrial Perspective.
Indradeep GhoshPublished in: Asian Test Symposium (2005)
Keyphrases
- test generation
- high level
- low level
- low cost
- test cases
- test sequences
- symbolic execution
- design automation
- real time
- software testing
- domain specific
- static analysis
- quality assurance
- high level programming
- mutation testing
- programming language
- code coverage
- integrity constraints
- hardware implementation
- visual information
- circuit design
- semantic information
- source code
- regression testing