Bugfix in "miter -assert" handling of assumptions

diff --git a/passes/sat/miter.cc b/passes/sat/miter.cc
index 341a6bac87357746e6c0c7e9303ddcb2bfc5173a..9e150b60c3a1b8be7a4b23059a2b9822f7fdc2ec 100644 (file)
--- 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);