ignore not found private signals

diff --git a/kernel/fstdata.cc b/kernel/fstdata.cc
index 70dcb88ce421c3474fcb1906019c32f9c59253f3..5d6d85ed8c5ee6f0cd92231a3026c9331e748502 100644 (file)
--- a/kernel/fstdata.cc
+++ b/kernel/fstdata.cc
@@ -42,8 +42,7 @@ fstHandle FstData::getHandle(std::string name) {
        if (name_to_handle.find(name) != name_to_handle.end())
                return name_to_handle[name];
        else 
-               log_warning("Unable to found wire %s in input file.\n", name.c_str());
-       return 0;       
+               return 0;
 };
 
 static std::string remove_spaces(std::string str)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 0b9a282e1bd2ba037fec94c7d56ec81230be81a3..65f9529152c1b87f9e2a552b519f4c18e011dfbc 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -161,6 +161,8 @@ struct SimInstance
 
                        if (shared->fst) {
                                fstHandle id = shared->fst->getHandle(scope + "." + RTLIL::unescape_id(wire->name));
+                               if (id==0 && wire->name.isPublic())
+                                       log_warning("Unable to found wire %s in input file.\n", (scope + "." + RTLIL::unescape_id(wire->name)).c_str());
                                fst_handles[wire] = id;
                        }
 
@@ -728,6 +730,7 @@ struct SimInstance
                                        retVal = true;
                                        log("signal: %s fst: %s  sim: %s\n", log_id(item.first), log_signal(fst_val), log_signal(sim_val));
                                }
+                               //log("signal: %s fst: %s  sim: %s\n", log_id(item.first), log_signal(fst_val), log_signal(sim_val));
                        }
                }
                for (auto child : children)