株式会社極東書店トップ ＞ 商品一覧 ＞ Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien. 1. Aufl. 2022
商品詳細
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien. 1. Aufl. 2022
・ISBN 978-3-031-18173-3 hard EUR 84.10
￥22,479.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Herdt, Vladimir / Grosse, Daniel / Drechsler, Rolf, |
|---|---|
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2023 |
| ページ数 | 262 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-32054＞ |
解説
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 zugehoerige 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 verfuegbaren Informationen zu nutzen. Alle Ansaetze werden ausfuehrlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivitaet bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Darueber 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.