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

<table class="figure-group"><tr class="fig-image" id="a"><td><object data="https://static.hindawi.com/articles/ijrc/volume-2018/3276159/figures/3276159.fig.0031a.svgz" name="3276159.fig.0031a" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(a) </b>Assertions described in Haskell</td></tr><tr class="fig-image" id="b"><td><object data="https://static.hindawi.com/articles/ijrc/volume-2018/3276159/figures/3276159.fig.0031b.svgz" name="3276159.fig.0031b" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(b) </b>Input Dependency Graph (IDG)</td></tr><tr class="fig-image" id="c"><td><object data="https://static.hindawi.com/articles/ijrc/volume-2018/3276159/figures/3276159.fig.0031c.svgz" name="3276159.fig.0031c" type="image/svg+xml"></object></td></tr><tr class="fig-caption"><td><b>(c) </b>Assertion Dependency Graph (ADG)</td></tr></table>

<div>Dependency graphs for the example assertions.</div>

International Journal of Reconfigurable Computing

fig31

Figure 31

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