![Cover-Bild Verbessertes virtuelles Prototyping](https://www.lesejury.de/media/images/product-huge/verbessertes-virtuelles-prototyping_9783031181740.jpg)
- Verlag: Springer International Publishing
- Genre: keine Angabe / keine Angabe
- Ersterscheinung: 01.01.2023
- ISBN: 9783031181740
Verbessertes virtuelles Prototyping
Mit RISC-V-FallstudienDieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verfügbaren Informationen zu nutzen. Alle Ansätze werden ausführlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivität bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Darüber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekteder Modellierung als auch der VP- und SW-Verifikation abdecken.
Weitere Formate
- Hardcover 89,99 €
Meinungen aus der Lesejury
Es sind noch keine Einträge vorhanden.