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

<div>A parametric property in Haskell.</div>

International Journal of Reconfigurable Computing

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