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

abstract: better present changes done

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-02-10 16:36:41 +01:00
parent 3dd697fc8a
commit 28c768e7b8
1 changed files with 5 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

13
passes/cmds/abstract.cc
View file

@ -240,23 +240,20 @@ struct AbstractPass : public Pass {
Wire *enable_wire = mod->wire("\\" + enable_name); Wire *enable_wire = mod->wire("\\" + enable_name);
if (!enable_wire) if (!enable_wire)
log_cmd_error("Enable wire %s not found in module %s\n", enable_name.c_str(), mod->name.c_str()); log_cmd_error("Enable wire %s not found in module %s\n", enable_name.c_str(), mod->name.c_str());
if (mode == State) { if (mode == State)
// for (auto cell : mod->selected_cells())
// if (ct.cell_types.count(cell->type))
changed += abstract_state(mod, {enable_wire, enable_pol}); changed += abstract_state(mod, {enable_wire, enable_pol});
} else { else
changed += abstract_value(mod, {enable_wire, enable_pol}); changed += abstract_value(mod, {enable_wire, enable_pol});
}
} }
if (mode == State) if (mode == State)
log("Abstracted %d cells.\n", changed); log("Abstracted %d stateful cells.\n", changed);
else else
log("Abstracted %d values.\n", changed); log("Abstracted %d driver ports.\n", changed);
} else if (mode == Initial) { } else if (mode == Initial) {
for (auto mod : design->selected_modules()) { for (auto mod : design->selected_modules()) {
changed += abstract_init(mod); changed += abstract_init(mod);
} }
log("Abstracted %d bits.\n", changed); log("Abstracted %d init bits.\n", changed);
} else { } else {
log_cmd_error("No mode selected, see help message\n"); log_cmd_error("No mode selected, see help message\n");
} }