International Journal of Reconfigurable Computing

Research Article

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

Figure 13

The simulation model of the RTR coprocessor.