mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-30 05:46:32 +00:00
Code Activity

signorm: disable in passes that use swap_names

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-03-16 22:45:29 +01:00
parent 51331a3ffd
commit 74610ae0ee
12 changed files with 35 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/cutpoint.cc
View file

@ -79,6 +79,9 @@ struct CutpointPass : public Pass {
}
extra_args(args, argidx, design);
// TODO Disabled signorm because swap_names breaks fanout logic
design->sigNormalize(false);
if (flag_blackbox) {
if (!design->full_selection())
log_cmd_error("This command only operates on fully selected designs!\n");