Spara
System-Level Validation
Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.
- Undertitel
- High-Level Modeling and Directed Test Generation Techniques
- Författare
- Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
- ISBN
- 9781489986290
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 20.9.2014
- Sidor
- 250
