File size: 575 Bytes
fe683c0 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
<h3 id='___compare'>compare</h3>
<pre>Logic equivalence check on output port and register input pins
<b>Usage:</b> my $no_eq_num = compare(@nets, @options);
@options:
-help: Print this info
$no_eq_num: Return back non-equivalent number
<b>Examples:</b>
#1. Check if output port 'state_out' is equivalent in IMP/REF netlists
compare("state_out");
#2. Check two points at the same time.
Check if 'state_reg_0_/D' is equivalent in IMP/REF netlists
And check if 'state_reg_1_/D' are equivalent in IMP/REF netlists
compare("state_reg_0_/D", "state_reg_1_/D");
</pre> |