EAN: 9783319068374

FUNCTIONAL VERIFICATION OF DYNAMICALLY RECONFIG...

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.

Aktuelle Preise zur EAN 9783319068374

Produktinformationen zur 9783319068374