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

Adde "write_verilog -renameprefix -v"

This commit is contained in:
Clifford Wolf 2016-11-01 11:30:27 +01:00
parent 1e3c2bff72
commit caa2fc62ef
1 changed files with 23 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
backends/verilog/verilog_backend.cc
View File

@ -33,10 +33,11 @@
USING_YOSYS_NAMESPACE USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN
bool norename, noattr, attr2comment, noexpr, nodec, nostr, defparam; bool verbose, norename, noattr, attr2comment, noexpr, nodec, nostr, defparam;
int auto_name_counter, auto_name_offset, auto_name_digits; int auto_name_counter, auto_name_offset, auto_name_digits;
std::map<RTLIL::IdString, int> auto_name_map; std::map<RTLIL::IdString, int> auto_name_map;
std::set<RTLIL::IdString> reg_wires, reg_ct; std::set<RTLIL::IdString> reg_wires, reg_ct;
std::string auto_prefix;
RTLIL::Module *active_module; RTLIL::Module *active_module;
@ -85,13 +86,14 @@ void reset_auto_counter(RTLIL::Module *module)
for (size_t i = 10; i < auto_name_offset + auto_name_map.size(); i = i*10) for (size_t i = 10; i < auto_name_offset + auto_name_map.size(); i = i*10)
auto_name_digits++; auto_name_digits++;
for (auto it = auto_name_map.begin(); it != auto_name_map.end(); ++it) if (verbose)
log(" renaming `%s' to `_%0*d_'.\n", it->first.c_str(), auto_name_digits, auto_name_offset + it->second); for (auto it = auto_name_map.begin(); it != auto_name_map.end(); ++it)
log(" renaming `%s' to `%s_%0*d_'.\n", it->first.c_str(), auto_prefix.c_str(), auto_name_digits, auto_name_offset + it->second);
} }
std::string next_auto_id() std::string next_auto_id()
{ {
return stringf("_%0*d_", auto_name_digits, auto_name_offset + auto_name_counter++); return stringf("%s_%0*d_", auto_prefix.c_str(), auto_name_digits, auto_name_offset + auto_name_counter++);
} }
std::string id(RTLIL::IdString internal_id, bool may_rename = true) std::string id(RTLIL::IdString internal_id, bool may_rename = true)
@ -100,7 +102,7 @@ std::string id(RTLIL::IdString internal_id, bool may_rename = true)
bool do_escape = false; bool do_escape = false;
if (may_rename && auto_name_map.count(internal_id) != 0) if (may_rename && auto_name_map.count(internal_id) != 0)
return stringf("_%0*d_", auto_name_digits, auto_name_offset + auto_name_map[internal_id]); return stringf("%s_%0*d_", auto_prefix.c_str(), auto_name_digits, auto_name_offset + auto_name_map[internal_id]);
if (*str == '\\') if (*str == '\\')
str++; str++;
@ -1342,6 +1344,9 @@ struct VerilogBackend : public Backend {
log(" instead of a backslash prefix) are changed to short names in the\n"); log(" instead of a backslash prefix) are changed to short names in the\n");
log(" format '_<number>_'.\n"); log(" format '_<number>_'.\n");
log("\n"); log("\n");
log(" -renameprefix <prefix>\n");
log(" insert this prefix in front of auto-generated instance names\n");
log("\n");
log(" -noattr\n"); log(" -noattr\n");
log(" with this option no attributes are included in the output\n"); log(" with this option no attributes are included in the output\n");
log("\n"); log("\n");
@ -1376,6 +1381,9 @@ struct VerilogBackend : public Backend {
log(" only write selected modules. modules must be selected entirely or\n"); log(" only write selected modules. modules must be selected entirely or\n");
log(" not at all.\n"); log(" not at all.\n");
log("\n"); log("\n");
log(" -v\n");
log(" verbose output (print new names of all renamed wires and cells)\n");
log("\n");
log("Note that RTLIL processes can't always be mapped directly to Verilog\n"); log("Note that RTLIL processes can't always be mapped directly to Verilog\n");
log("always blocks. This frontend should only be used to export an RTLIL\n"); log("always blocks. This frontend should only be used to export an RTLIL\n");
log("netlist, i.e. after the \"proc\" pass has been used to convert all\n"); log("netlist, i.e. after the \"proc\" pass has been used to convert all\n");
@ -1387,6 +1395,7 @@ struct VerilogBackend : public Backend {
{ {
log_header(design, "Executing Verilog backend.\n"); log_header(design, "Executing Verilog backend.\n");
verbose = false;
norename = false; norename = false;
noattr = false; noattr = false;
attr2comment = false; attr2comment = false;
@ -1394,6 +1403,7 @@ struct VerilogBackend : public Backend {
nodec = false; nodec = false;
nostr = false; nostr = false;
defparam = false; defparam = false;
auto_prefix = "";
bool blackboxes = false; bool blackboxes = false;
bool selected = false; bool selected = false;
@ -1431,6 +1441,10 @@ struct VerilogBackend : public Backend {
norename = true; norename = true;
continue; continue;
} }
if (arg == "-renameprefix" && argidx+1 < args.size()) {
auto_prefix = args[++argidx];
continue;
}
if (arg == "-noattr") { if (arg == "-noattr") {
noattr = true; noattr = true;
continue; continue;
@ -1463,6 +1477,10 @@ struct VerilogBackend : public Backend {
selected = true; selected = true;
continue; continue;
} }
if (arg == "-v") {
verbose = true;
continue;
}
break; break;
} }
extra_args(f, filename, args, argidx); extra_args(f, filename, args, argidx);