International Journal of Reconfigurable Computing / 2018 / Article / Fig 25

Research Article

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

Figure 25

(a) Structure of an RBB in antecedent mode. (b) FSM of the [N:M] operator.
(a)
(b)