Removed -filter_non_trigger_outputs functionality

This commit is contained in:
AdvaySingh1 2026-03-31 10:12:21 -07:00
parent 8aebec79a8
commit aea16d3888
1 changed files with 0 additions and 23 deletions

View File

@ -150,7 +150,6 @@ struct AbcConfig
int abc_max_node_retention_origins = 5; // number of node retention origins (default 5)
std::string signal_map_file;
std::string cdc_file;
bool filter_non_trigger_outputs = false;
};
struct AbcSigVal {
@ -1215,24 +1214,11 @@ void RunAbcState::run(ConcurrentStack<AbcProcess> &process_pool)
fprintf(f, " dummy_input\n");
fprintf(f, "\n");
if (config.filter_non_trigger_outputs) {
for (auto &si : signal_list) {
if (!si.is_port || si.type == G(NONE))
continue;
if (si.type == G(FF) || si.type == G(FF0) || si.type == G(FF1))
continue;
if (si.bit_str.find("trigger") == std::string::npos)
si.is_port = false;
}
}
int count_output = 0;
fprintf(f, ".outputs");
for (auto &si : signal_list) {
if (!si.is_port || si.type == G(NONE))
continue;
if (config.filter_non_trigger_outputs && (si.type == G(FF) || si.type == G(FF0) || si.type == G(FF1)))
continue;
fprintf(f, " ys__n%d", si.id);
po_map[count_output++] = si.bit_str;
}
@ -2126,10 +2112,6 @@ struct AbcPass : public Pass {
log(" write a mapping of signals that cross clock domain boundaries.\n");
log(" each line lists a signal and the domain indices it bridges.\n");
log("\n");
log(" -filter_non_trigger_outputs\n");
log(" only keep output ports whose signal name contains 'trigger'.\n");
log(" intended for miter/equivalence-checking flows. off by default.\n");
log("\n");
log(" -reserved_cores <num>\n");
log(" number of CPU cores to reserve for the main thread and other work.\n");
log(" Default is 4. The actual number of worker threads used is:\n");
@ -2201,7 +2183,6 @@ struct AbcPass : public Pass {
config.reserved_cores = design->scratchpad_get_int("abc.reserved_cores", 4);
config.signal_map_file = design->scratchpad_get_string("abc.signal_map", "");
config.cdc_file = design->scratchpad_get_string("abc.cdc_map", "");
config.filter_non_trigger_outputs = design->scratchpad_get_bool("abc.filter_non_trigger_outputs", false);
if (config.cleanup)
config.global_tempdir_name = get_base_tmpdir() + "/";
@ -2353,10 +2334,6 @@ struct AbcPass : public Pass {
config.cdc_file = args[++argidx];
continue;
}
if (arg == "-filter_non_trigger_outputs") {
config.filter_non_trigger_outputs = true;
continue;
}
break;
}
extra_args(args, argidx, design);