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

Figure 16

Generating assertion-checker circuits with MBAC, adapted from [5].