Test generation for hardware-software covalidation using non-linear programming.
Fei XinIan G. HarrisPublished in: HLDVT (2002)
Keyphrases
- test generation
- hardware software
- hardware and software
- test cases
- hw sw
- embedded systems
- design methodology
- static analysis
- software testing
- high performance computing
- hardware design
- quality assurance
- multi core processors
- low cost
- database
- field programmable gate array
- image processing
- case study
- software development
- computer vision
- software engineering
- artificial intelligence
- object oriented