Spar
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.
- Undertittel
- High-Level Modeling and Directed Test Generation Techniques
- Forfatter
- Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra
- ISBN
- 9781489986290
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.9.2014
- Antall sider
- 250
