diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-02 10:59:15 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-02 19:13:15 +0200 |
| commit | 6020ba67ac0b493109ee1d0ef598f7f1de965d4d (patch) | |
| tree | cde3528d35f3bd74e2739ab4d8a579d760c4f0e0 /passes/sat | |
| parent | 2c96ecc5f7d88cfd8dbddc3e5f45fb0a2a9bb6d3 (diff) | |
| download | yosys-6020ba67ac0b493109ee1d0ef598f7f1de965d4d.tar.gz yosys-6020ba67ac0b493109ee1d0ef598f7f1de965d4d.tar.bz2 yosys-6020ba67ac0b493109ee1d0ef598f7f1de965d4d.zip | |
past_ad initial value setting
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sim.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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); } } |