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.
