From 61752b255f139b00c98fb86d6c2aeea9aeef6bc8 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Thu, 17 Feb 2022 17:18:36 +0100 Subject: [PATCH] Review cleanup --- passes/sat/sim.cc | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 47f48e67d..9437542da 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -77,7 +77,6 @@ struct SimShared double stop_time = -1; SimulationMode sim_mode = SimulationMode::sim; bool cycles_set = false; - const pool ff_types = RTLIL::builtin_ff_cell_types(); }; void zinit(State &v) @@ -117,9 +116,9 @@ struct SimInstance { Const past_d; Const past_ad; - SigSpec past_clk; - SigSpec past_ce; - SigSpec past_srst; + State past_clk; + State past_ce; + State past_srst; 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); ff_state_t ff; ff.past_d = Const(State::Sx, ff_data.width); @@ -478,7 +477,7 @@ struct SimInstance for (auto &it : ff_database) { ff_state_t &ff = it.second; - FfData ff_data = ff.data; + FfData &ff_data = ff.data; if (ff_data.has_clk) { // flip-flops -- 2.30.2