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

Figure 4

(a) The original design. (b) Grouping RMs to a DRCF.

(a)

(b)