| <h3>2.2.17 Debug non-equivalence in large ECO</h3> | |
| <p>It happens that an ECO doesn't pass logic equivalence checker, especially for a large ECO. GOF can run individual logic equivalence checking for flop pairs, output port pairs or any two nets. Check <a href='gof_manual.php#-counterexample-backannotated-to-schematic'>annotating to schematic</a> for more detail.</p> | |