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

Figure 27

Building blocks in consequent mode.

(a)

(b)

(c)

(d)