Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
119.12 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10423283
Beschreibung
Introduction.- Preliminaries.- An Open-Source RISC-V Evaluation Platform.- Formal Verification of SystemC-based Designs using Symbolic Simulation.- Coverage-guided Testing for Scalable Virtual Prototype Verification.- Verification of Embedded Software Binaries using Virtual Prototypes.- Validation of Firmware-Based Power Management using Virtual Prototypes.- Register-Transfer Level Correspondence Analysis.- Conclusion.- Index
Eigenschaften
Breite: | 162 |
Gewicht: | 526 g |
Höhe: | 20 |
Länge: | 237 |
Seiten: | 350 |
Sprachen: | Englisch |
Autor: | Daniel Große, Rolf Drechsler, Vladimir Herdt |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen