diff options
| -rw-r--r-- | passes/sat/formalff.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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()) |