diff options
| author | Jannis Harder <me@jix.one> | 2023-01-25 12:55:29 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-25 12:55:29 +0100 |
| commit | afac3f2c7639f3edaf36b8a42e2e1000b14786e6 (patch) | |
| tree | c81e22584096cb86a6212ddbb4913876c44075b3 /passes/sat | |
| parent | 755b753e1a09731eb3032335f05c613f5f78d6c6 (diff) | |
| download | yosys-afac3f2c7639f3edaf36b8a42e2e1000b14786e6.tar.gz yosys-afac3f2c7639f3edaf36b8a42e2e1000b14786e6.tar.bz2 yosys-afac3f2c7639f3edaf36b8a42e2e1000b14786e6.zip | |
formalff: Fix crash with _NOT_ gates in -hierarchy mode
Diffstat (limited to 'passes/sat')
| -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()) |