From f485962c5e0866d84e56c7c95ded2cb9c5cba190 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 6 Nov 2013 22:42:07 +0100 Subject: [PATCH] Added handling of unconnected/unspecified signals to eval -vloghammer_report --- passes/sat/eval.cc | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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") { -- 2.30.2