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

<div>Implementation of <span class="monospace">property1</span>.</div>

International Journal of Reconfigurable Computing

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