Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Author | : Lingkan Gong |
Publisher | : Springer |
Total Pages | : 232 |
Release | : 2014-10-08 |
ISBN-10 | : 9783319068381 |
ISBN-13 | : 3319068385 |
Rating | : 4/5 (81 Downloads) |
Download or read book Functional Verification of Dynamically Reconfigurable FPGA-based Systems written by Lingkan Gong and published by Springer. This book was released on 2014-10-08 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.