mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

formalff: Fix crash with _NOT_ gates in -hierarchy mode

Browse source
This commit is contained in:
Jannis Harder 2023-01-25 12:55:29 +01:00
parent 755b753e1a
commit afac3f2c76
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/formalff.cc
View file

@ -369,7 +369,7 @@ struct PropagateWorker
if (cell->type.in(ID($not), ID($_NOT_))) { if (cell->type.in(ID($not), ID($_NOT_))) {
auto sig_a = cell->getPort(ID::A); auto sig_a = cell->getPort(ID::A);
auto &sig_y = cell->getPort(ID::Y); 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++) for (int i = 0; i < GetSize(sig_a); i++)
if (sig_a[i].is_wire()) if (sig_a[i].is_wire())