Research Article

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)