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, ...
Read More
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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Contains: Illustrations, black & white, Illustrations, color. XXIV, 262 S. 93 Abb., 65 Abb. in Farbe. Intended for professional and scholarly audience.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Contains: Illustrations, black & white, Illustrations, color. XXIV, 262 S. 93 Abb., 65 Abb. in Farbe. Intended for professional and scholarly audience.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Contains: Illustrations, black & white, Illustrations, color. XXIV, 262 S. 93 Abb., 65 Abb. in Farbe. Intended for professional and scholarly audience.
