From cb12b7c4d8153896b1f798994aed2aa97a41f011 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Fri, 28 Jan 2022 14:20:16 +0100 Subject: ignore not found private signals --- passes/sat/sim.cc | 3 +++ 1 file changed, 3 insertions(+) (limited to 'passes') diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 0b9a282e1..65f952915 100644 --- 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) -- cgit v1.2.3