Corrected a previously-working output of a list of cells with property

errors at the end of LVS.  The result of "verify matching" got
overwritten by the result from matching pins, erasing the information
about a cell having property errors.
This commit is contained in:
Tim Edwards 2016-05-19 16:45:27 -04:00
parent 2f8d50159f
commit 4306562a1a
1 changed files with 3 additions and 3 deletions

View File

@ -145,8 +145,8 @@ proc netgen::lvs { name1 name2 {setupfile setup.tcl} {logfile comp.out}} {
if {[verify equivalent]} {
# Resolve automorphisms by pin and property
netgen::run resolve
set result [verify unique]
if {$result == 0} {
set uresult [verify unique]
if {$uresult == 0} {
netgen::log put " Networks match locally but not globally.\n"
netgen::log put " Probably connections are swapped.\n"
netgen::log put " Check the end of logfile ${logfile} for implicated nodes.\n"
@ -169,7 +169,7 @@ proc netgen::lvs { name1 name2 {setupfile setup.tcl} {logfile comp.out}} {
}
netgen::log echo on
}
if {$result == 2} {lappend properr [lindex $endval 0]}
if {$uresult == 2} {lappend properr [lindex $endval 0]}
} else {
# Flatten the non-matching subcircuit (but not the top-level cells)
if {[netgen::print queue] != {}} {