Functional Verification of Dynamically Reconfigurable FPGA-based Systems - Gong, Lingkan a Diessel, Oliver

This book analyzes the challenges in verifying Dynamically Reconfigurable Systems (DRS) with respect to the user design and the physical implementation of such systems. 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;