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

Figure 31

Dependency graphs for the example assertions.

(a) Assertions described in Haskell

(b) Input Dependency Graph (IDG)

(c) Assertion Dependency Graph (ADG)