From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 6 Nov 2013 21:42:07 +0000 (+0100)
Subject: Added handling of unconnected/unspecified signals to eval -vloghammer_report
X-Git-Tag: yosys-0.2.0~398
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f485962c5e0866d84e56c7c95ded2cb9c5cba190;p=yosys.git

Added handling of unconnected/unspecified signals to eval -vloghammer_report
---

diff --git a/passes/sat/eval.cc b/passes/sat/eval.cc
index 26b571e29..d805b3c84 100644
--- a/passes/sat/eval.cc
+++ b/passes/sat/eval.cc
@@ -177,8 +177,12 @@ struct VlogHammerReporter
 				RTLIL::SigSpec sig(module->wires.at("\\y"));
 				RTLIL::SigSpec undef;
 
-				if (!ce.eval(sig, undef))
-					log_error("Evaluation of y in module %s failed: sig=%s, undef=%s\n", RTLIL::id2cstr(module->name), log_signal(sig), log_signal(undef));
+				while (!ce.eval(sig, undef)) {
+					// log_error("Evaluation of y in module %s failed: sig=%s, undef=%s\n", RTLIL::id2cstr(module->name), log_signal(sig), log_signal(undef));
+					log("Warning: Setting signal %s in module %s to undef.\n", log_signal(undef), RTLIL::id2cstr(module->name));
+					ce.set(undef, RTLIL::Const(RTLIL::State::Sx, undef.width));
+				}
+
 				log("++VAL++ %d %s %s #\n", idx, module_name.c_str(), sig.as_const().as_string().c_str());
 
 				if (module_name == "rtl") {