mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

setInitState can be only one altering values

Browse source
This commit is contained in:
Miodrag Milanovic 2022-04-02 10:34:11 +02:00
parent b54aecd80a
commit 2c96ecc5f7
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
passes/sat/sim.cc
View file

@ -778,8 +778,9 @@ struct SimInstance
child.second->register_output_step_values(data); child.second->register_output_step_values(data);
} }
void setInitState() bool setInitState()
{ {
bool did_something = false;
for (auto &it : ff_database) for (auto &it : ff_database)
{ {
ff_state_t &ff = it.second; ff_state_t &ff = it.second;
@ -792,12 +793,13 @@ struct SimInstance
if (id!=0) { if (id!=0) {
Const fst_val = Const::from_string(shared->fst->valueOf(id)); Const fst_val = Const::from_string(shared->fst->valueOf(id));
ff.past_d = fst_val; ff.past_d = fst_val;
set_state(qsig, fst_val); did_something = set_state(qsig, fst_val);
} }
} }
} }
for (auto child : children) for (auto child : children)
child.second->setInitState(); did_something |= child.second->setInitState();
return did_something;
} }
void setState(dict<int, std::pair<SigBit,bool>> bits, std::string values) void setState(dict<int, std::pair<SigBit,bool>> bits, std::string values)
@ -1112,7 +1114,7 @@ struct SimWorker : SimShared
} }
if (initial) { if (initial) {
top->setInitState(); did_something |= top->setInitState();
initial = false; initial = false;
} }
if (did_something) if (did_something)