Research Article

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

Figure 6

(a) High-level abstraction of a reconfigurable region. (b) Modelling a reconfigurable region with CaSH.
(a)
(b)