Logic Equivalence Check Engine
LEC for Two Netlists
The built-in Logic Equivalence Check Engine checks the equivalence of two netlists. The speed and memory usage are similar to Conformal LEC and Formality.
Figure 1: GOF LEC Engine
Two netlists can be checked if they are equivalent by run_lec API.
# LEC script, run_example_lec.pl
); # Read in standard library
); # Read in the Reference Netlist, prelayout netlist
); # Read in the Implementation Netlist, postlayout netlist
); # Set the top module
my $non_equal = run_lec
; # Run logic equivalence check on the two netlists
("LEC failed with $non_equal non-equivalent points"
Equivalent Nets Searching
In ECO process, GOF searches for equivalent nets in Implementation Netlist to optimize the patch circuit. The searching process is global.
Figure 2: Equivalent Nets Searching
Any two nets in the Reference and Implementation Netlists can be checked if they are equivalent. The API 'comare_nets' can be used to compare any two nets in Reference Netlist and Implementation Netlist.
Check equivalence of two nets in the reference and implementation netlist
Usage: my $result = compare_nets
$net0: The net in Reference Netlist.
$net1: The net in Implementation Netlist.
$result: If 1, they are equal, if 0, they are not equal.
# Compare reg1/D in the reference and reg1/D in Implementation Netlist
| NanDigits.cn China
© 2021 NanDigits Design Automation. All rights reserved.