Functional Verification of Dynamically Reconfigurable FPGA-based Systems
Seiten
2016
|
1. Softcover reprint of the original 1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-38086-5 (ISBN)
Springer International Publishing (Verlag)
978-3-319-38086-5 (ISBN)
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.
Introduction.- Verification Challenges.- Modeling Reconfiguration.- Getting Started with Verification.- Case Studies.- References Designs.- Conclusions.- Appendix A: Bugs Detected in Case Studies.- Appendix B: Inside the ReSim Library.- References.
Erscheinungsdatum | 29.08.2016 |
---|---|
Zusatzinfo | XXI, 216 p. 72 illus., 48 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Circuits and Systems • Computer architecture and logic design • Dynamically Reconfigurable Systems • Electronic Circuits and Devices • Electronic devices and materials • Electronics: circuits and components • Engineering • FPGAs • FPGA Verification • Functional verification • partial reconfiguration • Processor Architectures • reconfigurable computing |
ISBN-10 | 3-319-38086-9 / 3319380869 |
ISBN-13 | 978-3-319-38086-5 / 9783319380865 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
34,99 €
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
25,00 €