| 书目名称 | Functional Verification of Dynamically Reconfigurable FPGA-based Systems |
| 编辑 | Lingkan Gong,Oliver Diessel |
| 视频video | |
| 概述 | Provides researchers with an in-depth understanding of the challenges in verifying dynamically reconfigurable systems and the state-of-the-art methods used to overcome them.Guides engineers with syste |
| 图书封面 |  |
| 描述 | .This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. The authors describe the use of a simulation-only layer to emulate the behavior of target FPGAs and accurately model the characteristic features of reconfiguration. Readers are enabled with this simulation-only layer to maintain verification productivity by abstracting away the physical details of the FPGA fabric. Two implementations of the simulation-only layer are included: Extended Re Channel is a System C library that can be used to check DRS designs at a high level; ReSim is a library to support RTL simulation of a DRS reconfiguring both its logic and state. Through a number of case studies, the authors demonstrate how their approach integrates seamlessly with existing, mainstream DRS design flows and with well-established verification methodologies such as top-down modeling and coverage-driven verification.. |
| 出版日期 | Book 2015 |
| 关键词 | Dynamically Reconfigurable Systems; FPGA Verification; FPGAs; Functional Verification; Partial Reconfigu |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-06838-1 |
| isbn_softcover | 978-3-319-38086-5 |
| isbn_ebook | 978-3-319-06838-1 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 17:33:38
