Test Generation and Design for Test for a Large Multiprocessing DSP.
Graham HetheringtonGreg SuttonKenneth M. ButlerTheo J. PowellPublished in: ITC (1995)
Keyphrases
- test generation
- design automation
- test cases
- software testing
- test sequences
- case study
- signal processing
- design process
- database
- user interface
- data sets
- symbolic execution
- quality assurance
- static analysis
- building blocks
- digital signal processing
- test data generation
- decision trees
- real world
- mutation testing
- verilog hdl