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

Added support for sat -show @<sel_name>

This commit is contained in:
Clifford Wolf 2014-02-06 17:32:51 +01:00
parent b1a12c5f37
commit d4b0f28881
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
passes/sat/sat.cc
View File

@ -733,6 +733,10 @@ struct SatPass : public Pass {
log(" show the model for the specified signal. if no -show option is\n"); log(" show the model for the specified signal. if no -show option is\n");
log(" passed then a set of signals to be shown is automatically selected.\n"); log(" passed then a set of signals to be shown is automatically selected.\n");
log("\n"); log("\n");
log(" -show @<sel_name>\n");
log(" add all wires from the specified selection (see help select) to\n");
log(" the list of signals to be shown.\n");
log("\n");
log(" -show-inputs, -show-outputs\n"); log(" -show-inputs, -show-outputs\n");
log(" add all module input (output) ports to the list of shown signals\n"); log(" add all module input (output) ports to the list of shown signals\n");
log("\n"); log("\n");
@ -1022,6 +1026,19 @@ struct SatPass : public Pass {
sets_def.push_back(it.second->name); sets_def.push_back(it.second->name);
} }
for (auto &str : shows) {
if (str.empty() || str[0] != '@')
continue;
str = RTLIL::escape_id(str.substr(1));
if (design->selection_vars.count(str) == 0)
log_cmd_error("Selection %s is not defined!\n", RTLIL::id2cstr(str));
RTLIL::Selection &sel = design->selection_vars.at(str);
str.clear();
for (auto &it : module->wires)
if (sel.selected_member(module->name, it.first))
str += (str.empty() ? "" : ",") + it.first;
}
if (show_inputs) { if (show_inputs) {
for (auto &it : module->wires) for (auto &it : module->wires)
if (it.second->port_input) if (it.second->port_input)