| 書目名稱 | Functional Verification of Dynamically Reconfigurable FPGA-based Systems |
| 編輯 | Lingkan Gong,Oliver Diessel |
| 視頻video | http://file.papertrans.cn/350/349837/349837.mp4 |
| 概述 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-19 14:21
發(fā)表于 2025-3-21 17:33:38
