WIP: reworked log enabling in LVS, added 'no_lvs_hints' feature, updated tests

This commit is contained in:
Matthias Koefferlein
2022-08-13 18:30:02 +02:00
parent fd008b3810
commit 90df9451b6
35 changed files with 186 additions and 67 deletions
+4
View File
@@ -645,6 +645,10 @@ xref(
)
)
circuit(RINGO RINGO nomatch
log(
entry(error description('Net $I22 is not matching any net from reference netlist'))
entry(error description('Net FB is not matching any net from reference netlist'))
)
xref(
net(8 () mismatch)
net(7 7 match)
+4
View File
@@ -645,6 +645,10 @@ xref(
)
)
circuit(RINGO RINGO nomatch
log(
entry(error description('Net $I22 is not matching any net from reference netlist'))
entry(error description('Net FB is not matching any net from reference netlist'))
)
xref(
net(8 () mismatch)
net(7 7 match)
+4
View File
@@ -645,6 +645,10 @@ xref(
)
)
circuit(RINGO RINGO nomatch
log(
entry(error description('Net $I22 is not matching any net from reference netlist'))
entry(error description('Net FB is not matching any net from reference netlist'))
)
xref(
net(8 () mismatch)
net(7 7 match)
+4
View File
@@ -645,6 +645,10 @@ xref(
)
)
circuit(RINGO RINGO nomatch
log(
entry(error description('Net $I22 is not matching any net from reference netlist'))
entry(error description('Net FB is not matching any net from reference netlist'))
)
xref(
net(8 () mismatch)
net(7 7 match)
+3
View File
@@ -447,6 +447,9 @@ xref(
)
)
circuit(testall TESTALL nomatch
log(
entry(error description('Net $5 is not matching any net from reference netlist'))
)
xref(
net(() 7 mismatch)
net(2 2 match)
+3
View File
@@ -293,6 +293,9 @@ xref(
)
)
circuit(BWBTEST BWBTEST nomatch
log(
entry(error description('No equivalent pin A from reference netlist found in netlist.\nThis is an indication that a physical connection is not made to the subcircuit.'))
)
xref(
pin(() 0 mismatch)
pin(0 1 match)
+3
View File
@@ -288,6 +288,9 @@ xref(
)
)
circuit(BWBTEST BWBTEST nomatch
log(
entry(error description('No equivalent pin A from reference netlist found in netlist.\nThis is an indication that a physical connection is not made to the subcircuit.'))
)
xref(
pin(() 0 mismatch)
pin(() 1 match)
+5
View File
@@ -450,6 +450,11 @@ xref(
)
)
circuit(testall TESTALL nomatch
log(
entry(error description('Net $10 is not matching any net from reference netlist'))
entry(error description('Net $5 is not matching any net from reference netlist'))
entry(info description('Connecting nets $10 and $5 is making a better match to net D1 from reference netlist (fuzziness 0 nodes)'))
)
xref(
net(5 () mismatch)
net(2 2 match)
+5
View File
@@ -326,6 +326,11 @@ xref(
)
)
circuit(testall TESTALL nomatch
log(
entry(error description('Net $10 is not matching any net from reference netlist'))
entry(error description('Net $5 is not matching any net from reference netlist'))
entry(info description('Connecting nets $10 and $5 is making a better match to net D1 from reference netlist (fuzziness 0 nodes)'))
)
xref(
net(5 () mismatch)
net(2 2 match)
+3
View File
@@ -446,6 +446,9 @@ xref(
)
)
circuit(testall TESTALL nomatch
log(
entry(error description('Net $2 is not matching any net from reference netlist'))
)
xref(
net(() 6 mismatch)
net(3 2 match)
+3
View File
@@ -322,6 +322,9 @@ xref(
)
)
circuit(testall TESTALL nomatch
log(
entry(error description('Net $2 is not matching any net from reference netlist'))
)
xref(
net(() 6 mismatch)
net(3 2 match)
+4
View File
@@ -181,6 +181,10 @@ xref(
)
)
circuit(TOP TOP nomatch
log(
entry(error description('Nets 3 are paired explicitly, but are not identical topologically'))
entry(error description('Nets 4 are paired explicitly, but are not identical topologically'))
)
xref(
net(4 1 match)
net(3 2 match)
+3
View File
@@ -184,6 +184,9 @@ xref(
)
)
circuit(TOP TOP nomatch
log(
entry(error description('Nets $1 vs. (not connected) are paired explicitly, but are not identical topologically'))
)
xref(
net(() 7 mismatch)
net(1 () mismatch)
+5
View File
@@ -180,6 +180,11 @@ xref(
)
)
circuit(TOP TOP nomatch
log(
entry(error description('Nets (not connected) vs. 5 are paired explicitly, but are not identical topologically'))
entry(error description('Nets 5,7 vs. (not connected) are paired explicitly, but are not identical topologically'))
entry(error description('Nets (not connected) vs. 7 are paired explicitly, but are not identical topologically'))
)
xref(
net(() 5 mismatch)
net(() 7 mismatch)
+6
View File
@@ -183,6 +183,12 @@ xref(
)
)
circuit(TOP TOP nomatch
log(
entry(error description('Nets $1 vs. (not connected) are paired explicitly, but are not identical topologically'))
entry(error description('Nets (not connected) vs. 5 are paired explicitly, but are not identical topologically'))
entry(error description('Nets 5,7 vs. (not connected) are paired explicitly, but are not identical topologically'))
entry(error description('Nets (not connected) vs. 7 are paired explicitly, but are not identical topologically'))
)
xref(
net(() 5 mismatch)
net(() 7 mismatch)
+4
View File
@@ -100,6 +100,10 @@ reference(
# Cross reference
xref(
circuit(TOP TOP match
log(
entry(warning description('Matching nets $13 vs. R1 from an ambiguous group of nets'))
entry(warning description('Matching nets $14 vs. R2 from an ambiguous group of nets'))
)
xref(
net(1 1 warning)
net(2 2 warning)
+6
View File
@@ -290,6 +290,12 @@ Z(
)
)
X(INV2 INV2 1
L(
M(W B('Matching nets Q1 from an ambiguous group of nets'))
M(W B('Matching nets Q2 from an ambiguous group of nets'))
M(I B('Matching nets A1 following an ambiguous match'))
M(I B('Matching nets A2 following an ambiguous match'))
)
Z(
N(1 3 1)
N(2 5 1)
+6
View File
@@ -290,6 +290,12 @@ Z(
)
)
X(INV2 INV2 1
L(
M(W B('Matching nets Q1 from an ambiguous group of nets'))
M(W B('Matching nets Q2 from an ambiguous group of nets'))
M(I B('Matching nets A1 following an ambiguous match'))
M(I B('Matching nets A2 following an ambiguous match'))
)
Z(
N(1 3 1)
N(2 5 1)
+4
View File
@@ -107,6 +107,10 @@ reference(
# Cross reference
xref(
circuit(Rre RRE nomatch
log(
entry(error description('Net gnd! is not matching any net from reference netlist'))
entry(error description('Net vdd! is not matching any net from reference netlist'))
)
xref(
net(() 2 mismatch)
net(() 1 mismatch)
+6
View File
@@ -377,6 +377,12 @@ reference(
# Cross reference
xref(
circuit(DINV DINV match
log(
entry(warning description('Matching nets B<1> from an ambiguous group of nets'))
entry(warning description('Matching nets B<2> from an ambiguous group of nets'))
entry(info description('Matching nets A<1> following an ambiguous match'))
entry(info description('Matching nets A<2> following an ambiguous match'))
)
xref(
net(1 1 match)
net(2 2 match)
+14
View File
@@ -417,6 +417,12 @@ Z(
)
)
X(INV2 INV2 1
L(
M(W B('Matching nets $I8 vs. 4 from an ambiguous group of nets'))
M(W B('Matching nets $I7 vs. 6 from an ambiguous group of nets'))
M(I B('Matching nets $I6 vs. 3 following an ambiguous match'))
M(I B('Matching nets $I5 vs. 5 following an ambiguous match'))
)
Z(
N(5 1 1)
N(6 2 1)
@@ -435,6 +441,14 @@ Z(
)
)
X(INV3 INV3 1
L(
M(W B('Matching nets 4 from an ambiguous group of nets'))
M(W B('Matching nets 6 from an ambiguous group of nets'))
M(W B('Matching nets 8 from an ambiguous group of nets'))
M(I B('Matching nets 3 following an ambiguous match'))
M(I B('Matching nets 5 following an ambiguous match'))
M(I B('Matching nets 7 following an ambiguous match'))
)
Z(
N(7 1 1)
N(8 2 1)
+1
View File
@@ -94,4 +94,5 @@ schematic.simplify
# Netlist vs. netlist
align
netlist.simplify
no_lvs_hints
compare
+1
View File
@@ -93,4 +93,5 @@ schematic.simplify
# Netlist vs. netlist
align
netlist.simplify
no_lvs_hints
compare
+1
View File
@@ -88,4 +88,5 @@ schematic.simplify
# Netlist vs. netlist
align
netlist.simplify
no_lvs_hints
compare