Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien EPUB
by Vladimir Herdt, Daniel Groe, Rolf Drechsler
EPUB
- Information
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 zugehorige 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 verfugbaren Informationen zu nutzen. Alle Ansatze werden ausfuhrlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivitat bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Daruber 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
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:01/01/2023
- Category:
- ISBN:9783031181740
Information
-
Download Now
- Format:EPUB
- Publisher:Springer International Publishing
- Publication Date:01/01/2023
- Category:
- ISBN:9783031181740