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 Adaptive Semantics Visualization by Lingkan Gong, Oliver Diessel
Cover of the book Dynamic Behavior of Materials, Volume 1 by Lingkan Gong, Oliver Diessel
Cover of the book Disparity and Discrimination in Labour Market Outcomes in India by Lingkan Gong, Oliver Diessel
Cover of the book Regional Upgrading in Southern Europe by Lingkan Gong, Oliver Diessel
Cover of the book The Physics of Living Systems by Lingkan Gong, Oliver Diessel
Cover of the book Social and Ecological System Dynamics by Lingkan Gong, Oliver Diessel
Cover of the book Life Cycle and Sustainability of Abrasive Tools by Lingkan Gong, Oliver Diessel
Cover of the book On-Chip Electro-Static Discharge (ESD) Protection for Radio-Frequency Integrated Circuits by Lingkan Gong, Oliver Diessel
Cover of the book Oxide Thin Films, Multilayers, and Nanocomposites by Lingkan Gong, Oliver Diessel
Cover of the book Non-identifier Based Adaptive Control in Mechatronics by Lingkan Gong, Oliver Diessel
Cover of the book Recent Trends in Nanotechnology and Materials Science by Lingkan Gong, Oliver Diessel
Cover of the book Automated Reasoning by Lingkan Gong, Oliver Diessel
Cover of the book Style and Creativity in Design by Lingkan Gong, Oliver Diessel
Cover of the book Customer Value, Shareholder Wealth, Community Wellbeing by Lingkan Gong, Oliver Diessel
Cover of the book Thinking about Contradictions 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