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

Figure 32

An example run of the proposed partitioning algorithm.

(a)

(b)

(c)

(d)

(e)

(f)

(g)