Functional Verification of Dynamically Reconfigurable FPGA-based Systems - Gong, Lingkan; Diessel, Oliver (Springer International Publishing : Imprint: Springer, 2015)