Mitch Bailey
03/11/2022, 4:14 PMThere 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:
cell_1rw
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.