Research Article

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)