mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Review cleanup

Browse source
This commit is contained in:
Miodrag Milanovic 2022-02-17 17:18:36 +01:00
parent 21baf48e04
commit 61752b255f
1 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
passes/sat/sim.cc
View file

@ -77,7 +77,6 @@ struct SimShared
double stop_time = -1; double stop_time = -1;
SimulationMode sim_mode = SimulationMode::sim; SimulationMode sim_mode = SimulationMode::sim;
bool cycles_set = false; bool cycles_set = false;
const pool<IdString> ff_types = RTLIL::builtin_ff_cell_types();
}; };
void zinit(State &v) void zinit(State &v)
@ -117,9 +116,9 @@ struct SimInstance
{ {
Const past_d; Const past_d;
Const past_ad; Const past_ad;
SigSpec past_clk; State past_clk;
SigSpec past_ce; State past_ce;
SigSpec past_srst; State past_srst;
FfData data; FfData data;
}; };
@ -216,7 +215,7 @@ struct SimInstance
} }
} }
if (shared->ff_types.count(cell->type)) { if (RTLIL::builtin_ff_cell_types().count(cell->type)) {
FfData ff_data(nullptr, cell); FfData ff_data(nullptr, cell);
ff_state_t ff; ff_state_t ff;
ff.past_d = Const(State::Sx, ff_data.width); ff.past_d = Const(State::Sx, ff_data.width);
@ -478,7 +477,7 @@ struct SimInstance
for (auto &it : ff_database) for (auto &it : ff_database)
{ {
ff_state_t &ff = it.second; ff_state_t &ff = it.second;
FfData ff_data = ff.data; FfData &ff_data = ff.data;
if (ff_data.has_clk) { if (ff_data.has_clk) {
// flip-flops // flip-flops