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)