| 书目名称 | Enhanced Virtual Prototyping for Heterogeneous Systems |
| 编辑 | Muhammad Hassan,Daniel Große,Rolf Drechsler |
| 视频video | |
| 概述 | Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs.Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require refere |
| 图书封面 |  |
| 描述 | .This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security..Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs;.Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models;.Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs;.Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers.. |
| 出版日期 | Book 2023 |
| 关键词 | Virtual Prototypes at the Electronic System Level; SystemC/AMS-based Virtual Prototypes; Formal verifi |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-05574-4 |
| isbn_softcover | 978-3-031-05576-8 |
| isbn_ebook | 978-3-031-05574-4 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:49:58
