gn Formal Verification</h2>
<h4 id="verification-results">Verification Results</h4>
<img src="docs/screenshots/formal_verification/post-physical_design.PNG">
<p>There exist 3 don't compare points which are the 3 output pins of the SO port, they are not verified because they doesn't exist in the golden RTL files (i.e. their logic was automatically inserted by the DFT tool).</p>
<hr>
<h2 id="future-work">Future Work</h2>
<p>Gate-level simulation using:</p>
<ol>
    <li>SDF file generated from the physical des