past_ad initial value setting

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 3fb49bbf773f5c7afffc93f748239411f11ef1bc..ca4aab5669b1082eea610255201e593fb5ed3120 100644 (file)
--- 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);
                                }
                        }