From 4306562a1a715ab2d3ead96bbaf93e15781911dc Mon Sep 17 00:00:00 2001 From: Tim Edwards Date: Thu, 19 May 2016 16:45:27 -0400 Subject: [PATCH] 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. --- tcltk/netgen.tcl.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tcltk/netgen.tcl.in b/tcltk/netgen.tcl.in index f718d80..b019150 100644 --- a/tcltk/netgen.tcl.in +++ b/tcltk/netgen.tcl.in @@ -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] != {}} {