International Journal of Reconfigurable Computing / 2018 / Article / Fig 26

Research Article

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)