Formal Verification of Hardware Components in Critical Systems

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg5"><tr><td>(1)</td><td>Definition circuit <svg height="5.81497pt" id="M35" style="vertical-align:-0.2063899pt" version="1.1" viewbox="-0.0498162 -5.60858 10.7344 5.81497" width="10.7344pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><g transform="matrix(.013,0,0,-0.013,0,0)"><path d="M116 412C83 412 59 388 59 355C59 321 83 297 115 297S170 321 170 355C170 388 147 412 116 412ZM114 -12C147 -12 171 11 171 46C171 78 147 103 115 103C84 103 60 78 60 46C60 11 84 -12 114 -12Z"></path></g><g transform="matrix(.013,0,0,-0.013,2.964,0)"><path d="M535 323V373H52V323H535ZM535 138V188H52V138H535Z"></path></g></svg> list bool.</td></tr></table></td></tr></table>

<div> Definition of <span class="monospace">circuit</span>.</div>

Wireless Communications and Mobile Computing

alg5

Listing 5

Listing 5: Formal Verification of Hardware Components in Critical Systems 