Email Record: Functional verification of dynamically reconfigurable FPGA-based systems