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 Economy, Finance and Business in Southeastern and Central Europe by Lingkan Gong, Oliver Diessel
Cover of the book Scheduling with Time-Changing Effects and Rate-Modifying Activities by Lingkan Gong, Oliver Diessel
Cover of the book Global Visions of Olof Palme, Bruno Kreisky and Willy Brandt by Lingkan Gong, Oliver Diessel
Cover of the book Production Yield of Muon-Induced Neutrons in Lead by Lingkan Gong, Oliver Diessel
Cover of the book Advanced Information Networking and Applications by Lingkan Gong, Oliver Diessel
Cover of the book Egyptian Coastal Lakes and Wetlands: Part I by Lingkan Gong, Oliver Diessel
Cover of the book Accountability, Transparency and Democracy in the Functioning of Bretton Woods Institutions by Lingkan Gong, Oliver Diessel
Cover of the book Monitoring and Evaluation of Production Processes by Lingkan Gong, Oliver Diessel
Cover of the book Pricing Urban Water by Lingkan Gong, Oliver Diessel
Cover of the book Motivation and Action by Lingkan Gong, Oliver Diessel
Cover of the book Next Stop Mars by Lingkan Gong, Oliver Diessel
Cover of the book Direct and Large-Eddy Simulation IX by Lingkan Gong, Oliver Diessel
Cover of the book Human Impact on the Environment by Lingkan Gong, Oliver Diessel
Cover of the book High Jet Multiplicity Physics at the LHC by Lingkan Gong, Oliver Diessel
Cover of the book How Ireland Voted 2016 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