Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes: Better Early Than Never
暫譯: 使用虛擬原型的複雜系統設計過程的正式與實用技術：早做總比不做好
Pieper, Pascal, Drechsler, Rolf
- 出版商: Springer
- 出版日期: 2025-03-26
- 售價: $4,280
- 貴賓價: 9.5 折 $4,066
- 語言: 英文
- 頁數: 170
- 裝訂: Quality Paper - also called trade paper
- ISBN: 303151694X
- ISBN-13: 9783031516948
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of an open-source RISC-V SoC simulation.
In Particular, this book:
- Discusses modeling, simulation and verification for complex digital system design, based on RISC-V case-studies;
- Presents established and novel techniques to model and verify HW/SW designs with a Virtual Prototype-based design flow;
- Focuses on early and approachable design space exploration of complex SoC designs for accelerated, low-risk development.
商品描述(中文翻譯)
本書探討使用基於 SystemC 的虛擬原型進行複雜數位處理器硬體和軟體的早期快速建模與驗證的正式與實務方法。特別關注的是系統單晶片（System-on-Chip）及其連接的外部數位設備的指令級行為建模方法。所介紹的驗證方法基於模擬硬體設備的符號執行，或基於整個系統的經典離散執行，並進行動態數據流追蹤。這些方法伴隨著案例研究，這些案例研究基於開源的 RISC-V SoC 模擬進行開發和構建。
具體而言，本書：
- 討論基於 RISC-V 案例研究的複雜數位系統設計的建模、模擬和驗證；
- 提出建立的和新穎的技術，以虛擬原型為基礎的設計流程來建模和驗證硬體/軟體設計；
- 專注於複雜 SoC 設計的早期和可接近的設計空間探索，以加速低風險的開發。
作者簡介
Pascal Pieper received the M.Sc. in computer science from the University of Bremen, Germany, in 2018. He received the Dr.-Ing. Degree in 2023 as a Researcher within the Group of Computer Architecture, University of Bremen, Germany, and is working as an embedded software developer for the German Aerospace Center in the Institute of Space Systems since then. His research interests include modeling and verification of critical embedded systems, with a focus on system level virtual prototypes and user-friendly simulation based HW/SW co-design to improve the quality of software and hardware as a whole.
Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.
作者簡介(中文翻譯)
Pascal Pieper 於 2018 年獲得德國不來梅大學的計算機科學碩士學位。2023 年，他在不來梅大學計算機架構研究小組獲得 Dr.-Ing. 學位，並自此擔任德國航空航天中心太空系統研究所的嵌入式軟體開發人員。他的研究興趣包括關鍵嵌入式系統的建模與驗證，專注於系統級虛擬原型和用戶友好的基於模擬的硬體/軟體共同設計，以提高軟體和硬體整體的質量。
Rolf Drechsler 自 2011 年起擔任德國人工智慧研究中心 (DFKI) 的網路物理系統部門負責人。此外，自 2001 年以來，他也是不來梅大學計算機科學研究所的全職教授。在此之前，他曾在西門子股份公司 (Siemens AG) 的企業技術部門工作，並曾在德國弗賴堡/布萊斯高的阿爾伯特-路德維希大學計算機科學研究所任職。Rolf Drechsler 於 1992 年和 1995 年分別在德國法蘭克福的歌德大學獲得計算機科學的文憑和 Dr. Phil. Nat. 學位。Rolf Drechsler 在 DFKI 和他所領導的不來梅大學計算機科學研究所的計算機架構小組中，專注於數據結構和算法的開發與設計，特別強調電路和系統設計。
