mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-08 01:50:57 +00:00
Code Activity

signorm: disable passes that use rewrite_sigspecs

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-03-17 17:35:57 +01:00
parent 28d9d206d4
commit 319b9e2a4f
6 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/freduce.cc
View file

@ -827,6 +827,8 @@ struct FreducePass : public Pass {
break;
}
extra_args(args, argidx, design);
// TODO disable signorm due to rewrite_sigspecs assert
design->sigNormalize(false);
int bitcount = 0;
for (auto module : design->selected_modules()) {