Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien Hardback
by Vladimir Herdt, Daniel Grosse, Rolf Drechsler
Hardback
Description
Dieses 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.
Information
-
Out of stock
- Format:Hardback
- Pages:262 pages, 65 Illustrations, color; 28 Illustrations, black and white; XXIV, 262 S. 93 Abb., 65 Abb.
- Publisher:Springer Fachmedien Wiesbaden
- Publication Date:02/01/2023
- Category:
- ISBN:9783031181733
Information
-
Out of stock
- Format:Hardback
- Pages:262 pages, 65 Illustrations, color; 28 Illustrations, black and white; XXIV, 262 S. 93 Abb., 65 Abb.
- Publisher:Springer Fachmedien Wiesbaden
- Publication Date:02/01/2023
- Category:
- ISBN:9783031181733