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

Research Article

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

Figure 11

Representation of the IIR filter (a), (b) and the Coprocessor (c) in CaSH.
(a)
(b)
(c)