Functional Verification of Dynamically Reconfigurable FPGA-based Systems
(Sprache: Englisch)
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...
Jetzt vorbestellen
versandkostenfrei
Buch (Gebunden)
Fr. 118.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Functional Verification of Dynamically Reconfigurable FPGA-based Systems “
Klappentext zu „Functional Verification of Dynamically Reconfigurable FPGA-based Systems “
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.Inhaltsverzeichnis zu „Functional Verification of Dynamically Reconfigurable FPGA-based Systems “
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.
Bibliographische Angaben
- Autoren: Lingkan Gong , Oliver Diessel
- 2014, 2015, XXI, 216 Seiten, 48 farbige Abbildungen, Masse: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3319068377
- ISBN-13: 9783319068374
- Erscheinungsdatum: 27.10.2014
Sprache:
Englisch
Kommentar zu "Functional Verification of Dynamically Reconfigurable FPGA-based Systems"
0 Gebrauchte Artikel zu „Functional Verification of Dynamically Reconfigurable FPGA-based Systems“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Functional Verification of Dynamically Reconfigurable FPGA-based Systems".
Kommentar verfassen