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 Theory and Applications of Formal Argumentation by Lingkan Gong, Oliver Diessel
Cover of the book The Future of Law and eTechnologies by Lingkan Gong, Oliver Diessel
Cover of the book The Palgrave Handbook of Radical Theology by Lingkan Gong, Oliver Diessel
Cover of the book The Strategic Use of International Law by the United Nations Security Council by Lingkan Gong, Oliver Diessel
Cover of the book The Fundamentals of Human Factors Design for Volunteered Geographic Information by Lingkan Gong, Oliver Diessel
Cover of the book Analysis of Electrical Circuits with Variable Load Regime Parameters by Lingkan Gong, Oliver Diessel
Cover of the book Dynamics of Coupled Structures, Volume 4 by Lingkan Gong, Oliver Diessel
Cover of the book Low Earth Orbit Satellite Design by Lingkan Gong, Oliver Diessel
Cover of the book Numerical Simulation in Physics and Engineering by Lingkan Gong, Oliver Diessel
Cover of the book Dynamic Performance Management by Lingkan Gong, Oliver Diessel
Cover of the book Extraction of Quantifiable Information from Complex Systems by Lingkan Gong, Oliver Diessel
Cover of the book Schizophrenia and Common Sense by Lingkan Gong, Oliver Diessel
Cover of the book Homosexuality in the Jurisprudence of the Supreme Court of India by Lingkan Gong, Oliver Diessel
Cover of the book The Palgrave International Handbook of Football and Politics by Lingkan Gong, Oliver Diessel
Cover of the book Edge Computing – EDGE 2018 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