On the Functional Verification of Dynamic Partial Reconfiguration | IEEE Conference Publication | IEEE Xplore