Functional Verification of Dynamically Reconfigurable FPGA-based Systems

• Κύριοι συγγραφείς: Gong, Lingkan (Συγγραφέας), Diessel, Oliver (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Θέματα: Engineering.; Microprocessors.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Electronic Circuits and Devices.

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 characteri...

Πίνακας περιεχομένων:

• 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.