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

Figure 26

(a) An example property with sequences. (b) Overlapped runs and enable-windows in consequent mode.

(a)

(b)