Functional Verification of Dynamically Reconfigurable FPGA-based Systems - Gong, Lingkan (Springer, 2015)