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 Arthropod Borne Diseases by Lingkan Gong, Oliver Diessel
Cover of the book Long Term Evolution by Lingkan Gong, Oliver Diessel
Cover of the book The Skill of End-of-Life Communication for Clinicians by Lingkan Gong, Oliver Diessel
Cover of the book The Business of Geriatrics by Lingkan Gong, Oliver Diessel
Cover of the book Clinical Cases in Psoriasis by Lingkan Gong, Oliver Diessel
Cover of the book Risk-Based Maintenance for Electricity Network Organizations by Lingkan Gong, Oliver Diessel
Cover of the book Biology of Rove Beetles (Staphylinidae) by Lingkan Gong, Oliver Diessel
Cover of the book Natural Gas Hydrate - Arctic Ocean Deepwater Resource Potential by Lingkan Gong, Oliver Diessel
Cover of the book The Ancient Nasca World by Lingkan Gong, Oliver Diessel
Cover of the book Children’s Views on Their Lives and Well-being by Lingkan Gong, Oliver Diessel
Cover of the book Invention of Tradition and Syncretism in Contemporary Religions by Lingkan Gong, Oliver Diessel
Cover of the book Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things by Lingkan Gong, Oliver Diessel
Cover of the book Emergence and Modularity in Life Sciences by Lingkan Gong, Oliver Diessel
Cover of the book Pre-Hospital Anesthesia Handbook by Lingkan Gong, Oliver Diessel
Cover of the book Constructive Side-Channel Analysis and Secure Design 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