株式会社極東書店トップ ＞ 商品一覧 ＞ Erweiterte virtuelle Prototypen fuer heterogene Systeme. 2024 ed.
商品詳細
Erweiterte virtuelle Prototypen fuer heterogene Systeme. 2024 ed.
・ISBN 978-3-031-53151-4 hard EUR 79.43
￥21,231.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Hassan, Muhammad / Grosse, Daniel / Drechsler, Rolf, |
|---|---|
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2024 |
| ページ数 | 182 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-68924＞ |
解説
Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss fuer heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte ueber verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darueber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewaehrleistung seiner Sicherheit.
- Bietet eine umfassende Einfuehrung in den modernen VP-basierten Verifikationsablauf fuer heterogene SOCs;
- Stellt eine neuartige metamorphe Testtechnik fuer heterogene SOCs vor, die keine Referenzmodelle erfordert;
- Enthaelt automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;
- Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstaerkern.