Enhanced Virtual Prototyping
| Autor: | Drechsler, Rolf Große, Daniel Herdt, Vladimir |
|---|---|
| EAN: | 9783030548278 |
| Auflage: | 001 |
| Sachgruppe: | Technik |
| Sprache: | Englisch |
| Seitenzahl: | 272 |
| Produktart: | Gebunden |
| Veröffentlichungsdatum: | 15.10.2020 |
| Untertitel: | Featuring RISC-V Case Studies |
128,39 €*
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 set of techniques to enhance all key aspects of a Virtual Prototype (VP)-based design flowIncludes automated formal verification methods and advanced coverage-guided testing techniques, tailored for SystemC-based VPsDescribes efficient, coverage-guided test generation methods for VP-based functional and non-functional software (SW) analysis and verificationIncludes correspondence analyses to utilize information between different abstraction levels in the design flowUses several VP and SW verification case-studies that target the modern RISC-V ISA
Verwandte Artikel
Weitere Produkte vom selben Autor
Download
PDF