System-Level Validation
| Autor: | Chen, Mingsong Koo, Heon-Mo Mishra, Prabhat Qin, Xiaoke |
|---|---|
| EAN: | 9781489986290 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 272 |
| Produktart: | Kartoniert / Broschiert |
| Veröffentlichungsdatum: | 20.09.2014 |
| Untertitel: | High-Level Modeling and Directed Test Generation Techniques |
109,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
Provides a comprehensive introduction to system-level validation Describes high-level modeling using SystemC, UML and transaction-level models Includes coverage of high-level modeling and directed test generation techniques as well efficient validation methodology using directed tests and assertions Shows how to assure consistency between models with test/assertion refinement and reuse techniques across different levels of abstraction Includes supplementary material: sn.pub/extras
Verwandte Artikel
Weitere Produkte vom selben Autor
