From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 2 Apr 2022 08:59:15 +0000 (+0200)
Subject: past_ad initial value setting
X-Git-Tag: yosys-0.16~4^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6020ba67ac0b493109ee1d0ef598f7f1de965d4d;p=yosys.git

past_ad initial value setting
---

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 3fb49bbf7..ca4aab566 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -256,6 +256,7 @@ struct SimInstance
 			{
 				ff_state_t &ff = it.second;
 				zinit(ff.past_d);
+				zinit(ff.past_ad);
 
 				SigSpec qsig = it.second.data.sig_q;
 				Const qdata = get_state(qsig);
@@ -793,6 +794,8 @@ struct SimInstance
 				if (id!=0) {
 					Const fst_val = Const::from_string(shared->fst->valueOf(id));
 					ff.past_d = fst_val;
+					if (ff.data.has_aload)
+						ff.past_ad = fst_val;
 					did_something = set_state(qsig, fst_val);
 				}
 			}