From afac3f2c7639f3edaf36b8a42e2e1000b14786e6 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Wed, 25 Jan 2023 12:55:29 +0100 Subject: [PATCH] formalff: Fix crash with _NOT_ gates in -hierarchy mode --- passes/sat/formalff.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/passes/sat/formalff.cc b/passes/sat/formalff.cc index 099df4be9..264a9fb3b 100644 --- a/passes/sat/formalff.cc +++ b/passes/sat/formalff.cc @@ -369,7 +369,7 @@ struct PropagateWorker if (cell->type.in(ID($not), ID($_NOT_))) { auto sig_a = cell->getPort(ID::A); auto &sig_y = cell->getPort(ID::Y); - sig_a.extend_u0(GetSize(sig_y), cell->parameters.at(ID::A_SIGNED).as_bool()); + sig_a.extend_u0(GetSize(sig_y), cell->hasParam(ID::A_SIGNED) && cell->parameters.at(ID::A_SIGNED).as_bool()); for (int i = 0; i < GetSize(sig_a); i++) if (sig_a[i].is_wire())