Modeling Dynamically Reconfigurable Systems for Simulation-Based Functional Verification | IEEE Conference Publication | IEEE Xplore