Oliver Diessel

• Functional Verification of Dynamically Reconfigurable FPGA-Based Systems