Hardware-software covalidation: fault models and test generation.
Ian G. HarrisPublished in: HLDVT (2001)
Keyphrases
- hardware software
- test generation
- fault models
- model based diagnosis
- hardware and software
- test cases
- fault management
- embedded systems
- fault model
- horn clauses
- design methodology
- static analysis
- multi core processors
- conflict resolution
- quality assurance
- hardware design
- high performance computing
- software testing
- network management
- case study
- field programmable gate array
- load balancing
- knowledge based systems
- computer systems