Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Functional Verification of Dynamically Reconfigurable FPGA-based Systems by Lingkan Gong, Oliver Diessel, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Lingkan Gong, Oliver Diessel ISBN: 9783319068381
Publisher: Springer International Publishing Publication: October 8, 2014
Imprint: Springer Language: English
Author: Lingkan Gong, Oliver Diessel
ISBN: 9783319068381
Publisher: Springer International Publishing
Publication: October 8, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Entire Slice Regular Functions by Lingkan Gong, Oliver Diessel
Cover of the book Forest Context and Policies in Portugal by Lingkan Gong, Oliver Diessel
Cover of the book Modeling Dynamic Biological Systems by Lingkan Gong, Oliver Diessel
Cover of the book Surgical Correction of Astigmatism by Lingkan Gong, Oliver Diessel
Cover of the book Introduction to Annotated Logics by Lingkan Gong, Oliver Diessel
Cover of the book Teaching Reflective Learning in Higher Education by Lingkan Gong, Oliver Diessel
Cover of the book History of Human Genetics by Lingkan Gong, Oliver Diessel
Cover of the book Recurrent Respiratory Papillomatosis by Lingkan Gong, Oliver Diessel
Cover of the book Compact Representations for the Design of Quantum Logic by Lingkan Gong, Oliver Diessel
Cover of the book Friedrich Nietzsche by Lingkan Gong, Oliver Diessel
Cover of the book Integrity in the Business Panorama by Lingkan Gong, Oliver Diessel
Cover of the book Theoretical Physics 7 by Lingkan Gong, Oliver Diessel
Cover of the book Foundations of Augmented Cognition: Neuroergonomics and Operational Neuroscience by Lingkan Gong, Oliver Diessel
Cover of the book Carbon Nanoparticles and Nanostructures by Lingkan Gong, Oliver Diessel
Cover of the book Problematic Wildlife by Lingkan Gong, Oliver Diessel
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy