diff --git a/passes/equiv/equiv_make.cc b/passes/equiv/equiv_make.cc index bae7452f7..9acd7cb23 100644 --- a/passes/equiv/equiv_make.cc +++ b/passes/equiv/equiv_make.cc @@ -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;