mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 19:36:21 +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 4d2a6f2b7a
commit 68bb5c6b94
12 changed files with 35 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/cmds/abstract.cc
View file

@ -462,6 +462,8 @@ struct AbstractPass : public Pass {
}
extra_args(args, argidx, design);
// TODO Disabled signorm because swap_names breaks fanout logic
design->sigNormalize(false);
if (enable != Enable::Always) {
if (mode == Mode::Initial)
log_cmd_error("Conditional initial value abstraction is not supported\n");

3
passes/cmds/chformal.cc
View file

@ -218,6 +218,9 @@ struct ChformalPass : public Pass {
}
extra_args(args, argidx, design);
// TODO Disabled signorm because swap_names breaks fanout logic
design->sigNormalize(false);
if (constr_types.empty()) {
constr_types.insert(ID($assert));
constr_types.insert(ID($assume));