Describir: Functional Verification of Dynamically Reconfigurable FPGA-based Systems