mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 10:55:51 +00:00
Code Activity

Merge pull request #3647 from jix/formalff-hierarchy-fix

Browse source 
formalff: Fix crash with _NOT_ gates in -hierarchy mode
This commit is contained in:
Miodrag Milanović 2023-01-25 13:37:44 +01:00 • committed by GitHub
commit b9155a574e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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_))) {
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())