luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

equiv_make: don't copy $input_port

This commit is contained in:
Emil J. Tywoniak 2026-04-08 11:40:19 +02:00
parent 8ab4e03244
commit 98c7078984
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
passes/equiv/equiv_make.cc
View File

@ -114,6 +114,8 @@ struct EquivMakeWorker
if ((it->name.isPublic() || inames) && blacklist_names.count(it->name) == 0)
cell_names.insert(it->name);
gold_clone->rename(it, it->name.str() + "_gold");
if (it->type == ID($input_port))
gold_clone->remove(it);
}
for (auto it : gate_clone->wires().to_vector()) {
@ -126,6 +128,8 @@ struct EquivMakeWorker
if ((it->name.isPublic() || inames) && blacklist_names.count(it->name) == 0)
cell_names.insert(it->name);
gate_clone->rename(it, it->name.str() + "_gate");
if (it->type == ID($input_port))
gate_clone->remove(it);
}
gold_clone->cloneInto(equiv_mod);
@ -513,6 +517,7 @@ struct EquivMakePass : public Pass {
worker.equiv_mod = design->addModule(RTLIL::escape_id(args[argidx+2]));
worker.run();
Pass::call(design, "dump");
}
} EquivMakePass;