From abf81c76396d674833d1dce3f3f75a43f76e2a1f Mon Sep 17 00:00:00 2001 From: David Shah Date: Tue, 21 Apr 2020 08:58:52 +0100 Subject: sim: Fix handling of constant-connected cell inputs at startup Signed-off-by: David Shah --- passes/sat/sim.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'passes') diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 59bf5a712..03ca42cf3 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -128,8 +128,12 @@ struct SimInstance for (auto &port : cell->connections()) { if (cell->input(port.first)) - for (auto bit : sigmap(port.second)) + for (auto bit : sigmap(port.second)) { upd_cells[bit].insert(cell); + // Make sure cell inputs connected to constants are updated in the first cycle + if (bit.wire == nullptr) + dirty_bits.insert(bit); + } } if (cell->type.in(ID($dff))) { -- cgit v1.2.3