Functional Verification of Dynamic Partial Reconfiguration for Software-Defined Radio