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

Research Article

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)

You are browsing a BETA version of Click here to switch back to the original design.