Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions

Figure 5

A portal connecting dynamic and static parts, adapted from [9].