Functional verification of dynamically reconfigurable FPGA-based systems - Gong, Lingkan; Diessel, Oliver (Springer International Publishing, 2015)