From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 17 Oct 2016 12:56:58 +0000 (+0200)
Subject: Bugfix in "miter -assert" handling of assumptions
X-Git-Tag: yosys-0.7~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=15fb56697a7ecf5378ffbb0e6ea8716ceddb1809;p=yosys.git

Bugfix in "miter -assert" handling of assumptions
---

diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index 341a6bac8..9e150b60c 100644
--- a/passes/sat/miter.cc
+++ b/passes/sat/miter.cc
@@ -338,12 +338,12 @@ void create_miter_assert(struct Pass *that, std::vector<std::string> args, RTLIL
 	else
 	{
 		Wire *assume_q = module->addWire(NEW_ID);
-		assume_q->attributes["\\init"] = State::S1;
+		assume_q->attributes["\\init"] = State::S0;
 		assume_signals.append(assume_q);
 
 		SigSpec assume_nok = module->ReduceOr(NEW_ID, assume_signals);
 		SigSpec assume_ok = module->Not(NEW_ID, assume_nok);
-		module->addFf(NEW_ID, assume_ok, assume_q);
+		module->addFf(NEW_ID, assume_nok, assume_q);
 
 		SigSpec assert_fail = module->ReduceOr(NEW_ID, assert_signals);
 		module->addAnd(NEW_ID, assert_fail, assume_ok, trigger);