Mitch Bailey

03/11/2022, 4:14 PM
I get the same results. Interestingly, if I rearrange the order of the extracted netlist to match the other, I get
There were property errors.
sky130_fd_pr__pfet_01v8:6 vs. sky130_fd_pr__pfet_01v8:3:
 w circuit1: 0.42   circuit2: 0.84   (delta=66.7%, cutoff=7%)
sky130_fd_pr__nfet_01v8:1 vs. sky130_fd_pr__nfet_01v8:2:
 w circuit1: 0.84   circuit2: 0.42   (delta=66.7%, cutoff=7%)
Result: Circuits match uniquely.
Property errors were found.
The following cells had property errors:
Looks like the n/pmos w sizes on the inverter with QB input are swapped. If I fix the swap the sizes so that both the inverters are the same size, I get
Circuits match correctly.
Result: Circuits match uniquely.
Logging to file "comp.out" disabled
LVS Done.
Also, just fixing the size in the original netlist yields a match.