Simulation-Based Hardware Verification with a Graph-Based Specification

<table class="fixed-width table-group" id="tab1"><tr><td><table class="table"><colgroup><col style="width:4.11em"/><col style="width:3.13em"/><col style="width:3.18em"/><col style="width:4.04em"/><col style="width:5.13em"/></colgroup><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr class="thead"><td class="align_left" rowspan="2">Design</td><td class="align_center" colspan="4">Characteristics of design</td></tr><tr class="thead"><td class="align_center">LoC</td><td class="align_center">PI</td><td class="align_center">Gates</td><td class="align_center">Flip-flops</td></tr><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr><td class="align_left">FPU</td><td class="align_center">1496</td><td class="align_center">134</td><td class="align_center">105909</td><td class="align_center">2870</td></tr><tr><td class="align_left">MAC</td><td class="align_center">1628</td><td class="align_center">198</td><td class="align_center">137125</td><td class="align_center">3105</td></tr><tr><td class="align_left">DMA</td><td class="align_center">9523</td><td class="align_center">3422</td><td class="align_center">327931</td><td class="align_center">4950</td></tr><tr><td class="align_left">XMC</td><td class="align_center">8187</td><td class="align_center">3285</td><td class="align_center">512987</td><td class="align_center">6921</td></tr><tr class="table-tr"><td colspan="5"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

Mathematical Problems in Engineering

tab1

Table 1

Table 1: Simulation-Based Hardware Verification with a Graph-Based Specification 