| 書目名稱 | Verbessertes virtuelles Prototyping |
| 副標題 | Mit RISC-V-Fallstudi |
| 編輯 | Vladimir Herdt,Daniel Gro?e,Rolf Drechsler |
| 視頻video | http://file.papertrans.cn/982/981118/981118.mp4 |
| 概述 | Erm?glicht die Verbesserung und Test aller wichtigen Aspekte eines Virtual Prototype.Enth?lt Korrespondenzanalysen zur Nutzung von Informationen zwischen verschiedenen Abstraktionsebenen.Verwendet meh |
| 圖書封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2022 |
| 關鍵詞 | Virtuelle Prototypen auf der Ebene elektronischer Systeme; SystemC-basierte virtuelle Prototypen; Form |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-18174-0 |
| isbn_ebook | 978-3-031-18174-0 |
| copyright | Der/die Herausgeber bzw. der/die Autor(en), exklusiv lizenziert an Springer Nature Switzerland AG 20 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 09:59
發(fā)表于 2025-3-21 19:32:25
