Enabling certification for dynamic partial reconfiguration using a minimal flow | IEEE Conference Publication | IEEE Xplore