Compare commits

...
6 Commits
Author SHA1 Message Date
Tim Edwards cbb2f78ee9 Merge branch 'master' into work 2016-05-19 16:46:33 -04:00
Tim Edwards 99c942eb2b Update at Thu May 19 16:46:32 EDT 2016 by tim 2016-05-19 16:46:32 -04:00
Tim Edwards 4306562a1a 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.
2016-05-19 16:45:27 -04:00
Tim Edwards 2f8d50159f Merge branch 'master' into work 2016-05-17 09:05:10 -04:00
Tim Edwards bbc9110431 Update at Tue May 17 09:05:09 EDT 2016 by tim 2016-05-17 09:05:09 -04:00
Tim Edwards f9c4fc86a0 Prevented error messages about undefined properties for devices. 2016-05-17 09:03:18 -04:00
3 changed files with 12 additions and 7 deletions
+1 -1
View File
@@ -1 +1 @@
1.5.52
1.5.54
+8 -3
View File
@@ -1977,9 +1977,14 @@ struct objlist *LinkProperties(char *model, struct keyvalue *topptr)
kl = (struct property *)HashLookup(newkv->key, cell->proptab, OBJHASHSIZE);
if (kl == NULL) {
Fprintf(stderr, "Warning: Property %s passed to cell %s which "
"does not define a default.\n",
newkv->key, cell->name);
/* Ideally, for devices, one should check against all */
/* known standard properties. That's a pain, so */
/* instead just assume that the property is correct. */
if (cell->class == CLASS_SUBCKT)
Fprintf(stderr, "Warning: Property %s passed to cell %s which "
"does not define a default.\n",
newkv->key, cell->name);
kl = NewProperty();
kl->key = strsave(newkv->key);
kl->idx = 0;
+3 -3
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] != {}} {