Description |
1 online resource |
Contents |
Introduction -- Verification Challenges -- Modeling Reconfiguration -- Getting Started with Verification -- Case Studies -- References Designs -- Conclusions.- Appendix A: Bugs Detected in Case Studies -- Appendix B: Inside the ReSim Library -- References |
Summary |
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 ReChannel is a SystemC 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. Provides researchers with an in-depth understanding of the challenges in verifying dynamically reconfigurable systems and the state-of-the-art methods used to overcome them; Guides engineers with systematic approaches and tools to achieve verification closure in their dynamically reconfigurable projects; Includes a comprehensive set of case studies, with an analysis of real bugs detected in the designs described; Uses tools and techniques compatible with mainstream products (e.g. Xilinx/Altera tools, ModelSim simulator, Verilog/VHDL design language, etc. ...) |
Analysis |
engineering |
|
circuits |
|
stroomketens |
|
electric circuits |
|
procesarchitectuur |
|
process architecture |
|
Engineering (General) |
|
Techniek (algemeen) |
Bibliography |
Includes bibliographical references and index |
Notes |
Online resource; title from PDF title page (EBSCO, viewed October 16, 2014) |
Subject |
Field programmable gate arrays.
|
|
Computer architecture & logic design.
|
|
Circuits & components.
|
|
TECHNOLOGY & ENGINEERING -- Mechanical.
|
|
Field programmable gate arrays
|
|
Electrical & Computer Engineering.
|
|
Engineering & Applied Sciences.
|
|
Electrical Engineering.
|
Form |
Electronic book
|
Author |
Diessel, Oliver, author.
|
ISBN |
9783319068381 |
|
3319068385 |
|
3319068377 |
|
9783319068374 |
|