Functional verification of dynamically reconfigurable fpga-based systems
Auteur :
Gong, Lingkan / Diessel, Oliver
Éditeur :
Springer International Publishing AG
ISBN :
9783319068374
Date de publication :
27 oct. 2014
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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;