mirror of https://github.com/YosysHQ/yosys.git
533 lines
18 KiB
C++
533 lines
18 KiB
C++
/*
|
|
* yosys -- Yosys Open SYnthesis Suite
|
|
*
|
|
* Copyright (C) 2012 Clifford Wolf <clifford@clifford.at>
|
|
*
|
|
* Permission to use, copy, modify, and/or distribute this software for any
|
|
* purpose with or without fee is hereby granted, provided that the above
|
|
* copyright notice and this permission notice appear in all copies.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
* ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
* OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
*
|
|
*/
|
|
|
|
#include "kernel/register.h"
|
|
#include "kernel/log.h"
|
|
#include <stdlib.h>
|
|
#include <stdio.h>
|
|
#include <fnmatch.h>
|
|
#include <set>
|
|
#include <unistd.h>
|
|
|
|
USING_YOSYS_NAMESPACE
|
|
PRIVATE_NAMESPACE_BEGIN
|
|
|
|
struct generate_port_decl_t {
|
|
bool input, output;
|
|
RTLIL::IdString portname;
|
|
int index;
|
|
};
|
|
|
|
void generate(RTLIL::Design *design, const std::vector<std::string> &celltypes, const std::vector<generate_port_decl_t> &portdecls)
|
|
{
|
|
std::set<RTLIL::IdString> found_celltypes;
|
|
|
|
for (auto i1 : design->modules_)
|
|
for (auto i2 : i1.second->cells_)
|
|
{
|
|
RTLIL::Cell *cell = i2.second;
|
|
if (design->has(cell->type))
|
|
continue;
|
|
if (cell->type.substr(0, 1) == "$" && cell->type.substr(0, 3) != "$__")
|
|
continue;
|
|
for (auto &pattern : celltypes)
|
|
if (!fnmatch(pattern.c_str(), RTLIL::unescape_id(cell->type).c_str(), FNM_NOESCAPE))
|
|
found_celltypes.insert(cell->type);
|
|
}
|
|
|
|
for (auto &celltype : found_celltypes)
|
|
{
|
|
std::set<RTLIL::IdString> portnames;
|
|
std::set<RTLIL::IdString> parameters;
|
|
std::map<RTLIL::IdString, int> portwidths;
|
|
log("Generate module for cell type %s:\n", celltype.c_str());
|
|
|
|
for (auto i1 : design->modules_)
|
|
for (auto i2 : i1.second->cells_)
|
|
if (i2.second->type == celltype) {
|
|
for (auto &conn : i2.second->connections()) {
|
|
if (conn.first[0] != '$')
|
|
portnames.insert(conn.first);
|
|
portwidths[conn.first] = std::max(portwidths[conn.first], conn.second.size());
|
|
}
|
|
for (auto ¶ : i2.second->parameters)
|
|
parameters.insert(para.first);
|
|
}
|
|
|
|
for (auto &decl : portdecls)
|
|
if (decl.index > 0)
|
|
portnames.insert(decl.portname);
|
|
|
|
std::set<int> indices;
|
|
for (int i = 0; i < int(portnames.size()); i++)
|
|
indices.insert(i+1);
|
|
|
|
std::vector<generate_port_decl_t> ports(portnames.size());
|
|
|
|
for (auto &decl : portdecls)
|
|
if (decl.index > 0) {
|
|
portwidths[decl.portname] = std::max(portwidths[decl.portname], 1);
|
|
portwidths[decl.portname] = std::max(portwidths[decl.portname], portwidths[stringf("$%d", decl.index)]);
|
|
log(" port %d: %s [%d:0] %s\n", decl.index, decl.input ? decl.output ? "inout" : "input" : "output", portwidths[decl.portname]-1, RTLIL::id2cstr(decl.portname));
|
|
if (indices.count(decl.index) > ports.size())
|
|
log_error("Port index (%d) exceeds number of found ports (%d).\n", decl.index, int(ports.size()));
|
|
if (indices.count(decl.index) == 0)
|
|
log_error("Conflict on port index %d.\n", decl.index);
|
|
indices.erase(decl.index);
|
|
portnames.erase(decl.portname);
|
|
ports[decl.index-1] = decl;
|
|
}
|
|
|
|
while (portnames.size() > 0) {
|
|
RTLIL::IdString portname = *portnames.begin();
|
|
for (auto &decl : portdecls)
|
|
if (decl.index == 0 && !fnmatch(decl.portname.c_str(), RTLIL::unescape_id(portname).c_str(), FNM_NOESCAPE)) {
|
|
generate_port_decl_t d = decl;
|
|
d.portname = portname;
|
|
d.index = *indices.begin();
|
|
log_assert(!indices.empty());
|
|
indices.erase(d.index);
|
|
ports[d.index-1] = d;
|
|
portwidths[d.portname] = std::max(portwidths[d.portname], 1);
|
|
log(" port %d: %s [%d:0] %s\n", d.index, d.input ? d.output ? "inout" : "input" : "output", portwidths[d.portname]-1, RTLIL::id2cstr(d.portname));
|
|
goto found_matching_decl;
|
|
}
|
|
log_error("Can't match port %s.\n", RTLIL::id2cstr(portname));
|
|
found_matching_decl:;
|
|
portnames.erase(portname);
|
|
}
|
|
|
|
log_assert(indices.empty());
|
|
|
|
RTLIL::Module *mod = new RTLIL::Module;
|
|
mod->name = celltype;
|
|
mod->attributes["\\blackbox"] = RTLIL::Const(1);
|
|
design->add(mod);
|
|
|
|
for (auto &decl : ports) {
|
|
RTLIL::Wire *wire = mod->addWire(decl.portname, portwidths.at(decl.portname));
|
|
wire->port_id = decl.index;
|
|
wire->port_input = decl.input;
|
|
wire->port_output = decl.output;
|
|
}
|
|
|
|
mod->fixup_ports();
|
|
|
|
for (auto ¶ : parameters)
|
|
log(" ignoring parameter %s.\n", RTLIL::id2cstr(para));
|
|
|
|
log(" module %s created.\n", RTLIL::id2cstr(mod->name));
|
|
}
|
|
}
|
|
|
|
bool expand_module(RTLIL::Design *design, RTLIL::Module *module, bool flag_check, std::vector<std::string> &libdirs)
|
|
{
|
|
bool did_something = false;
|
|
std::map<RTLIL::Cell*, std::pair<int, int>> array_cells;
|
|
std::string filename;
|
|
|
|
for (auto &cell_it : module->cells_)
|
|
{
|
|
RTLIL::Cell *cell = cell_it.second;
|
|
|
|
if (cell->type.substr(0, 7) == "$array:") {
|
|
int pos_idx = cell->type.str().find_first_of(':');
|
|
int pos_num = cell->type.str().find_first_of(':', pos_idx + 1);
|
|
int pos_type = cell->type.str().find_first_of(':', pos_num + 1);
|
|
int idx = atoi(cell->type.str().substr(pos_idx + 1, pos_num).c_str());
|
|
int num = atoi(cell->type.str().substr(pos_num + 1, pos_type).c_str());
|
|
array_cells[cell] = std::pair<int, int>(idx, num);
|
|
cell->type = cell->type.str().substr(pos_type + 1);
|
|
}
|
|
|
|
if (design->modules_.count(cell->type) == 0)
|
|
{
|
|
if (design->modules_.count("$abstract" + cell->type.str()))
|
|
{
|
|
cell->type = design->modules_.at("$abstract" + cell->type.str())->derive(design, cell->parameters);
|
|
cell->parameters.clear();
|
|
did_something = true;
|
|
continue;
|
|
}
|
|
|
|
if (cell->type[0] == '$')
|
|
continue;
|
|
|
|
for (auto &dir : libdirs)
|
|
{
|
|
filename = dir + "/" + RTLIL::unescape_id(cell->type) + ".v";
|
|
if (access(filename.c_str(), F_OK) == 0) {
|
|
std::vector<std::string> args;
|
|
args.push_back(filename);
|
|
Frontend::frontend_call(design, NULL, filename, "verilog");
|
|
goto loaded_module;
|
|
}
|
|
|
|
filename = dir + "/" + RTLIL::unescape_id(cell->type) + ".il";
|
|
if (access(filename.c_str(), F_OK) == 0) {
|
|
std::vector<std::string> args;
|
|
args.push_back(filename);
|
|
Frontend::frontend_call(design, NULL, filename, "ilang");
|
|
goto loaded_module;
|
|
}
|
|
}
|
|
|
|
if (flag_check && cell->type[0] != '$')
|
|
log_error("Module `%s' referenced in module `%s' in cell `%s' is not part of the design.\n",
|
|
cell->type.c_str(), module->name.c_str(), cell->name.c_str());
|
|
continue;
|
|
|
|
loaded_module:
|
|
if (design->modules_.count(cell->type) == 0)
|
|
log_error("File `%s' from libdir does not declare module `%s'.\n", filename.c_str(), cell->type.c_str());
|
|
did_something = true;
|
|
}
|
|
|
|
if (cell->parameters.size() == 0)
|
|
continue;
|
|
|
|
if (design->modules_.at(cell->type)->get_bool_attribute("\\blackbox"))
|
|
continue;
|
|
|
|
RTLIL::Module *mod = design->modules_[cell->type];
|
|
cell->type = mod->derive(design, cell->parameters);
|
|
cell->parameters.clear();
|
|
did_something = true;
|
|
}
|
|
|
|
for (auto &it : array_cells)
|
|
{
|
|
RTLIL::Cell *cell = it.first;
|
|
int idx = it.second.first, num = it.second.second;
|
|
|
|
if (design->modules_.count(cell->type) == 0)
|
|
log_error("Array cell `%s.%s' of unknown type `%s'.\n", RTLIL::id2cstr(module->name), RTLIL::id2cstr(cell->name), RTLIL::id2cstr(cell->type));
|
|
|
|
RTLIL::Module *mod = design->modules_[cell->type];
|
|
|
|
for (auto &conn : cell->connections_) {
|
|
int conn_size = conn.second.size();
|
|
RTLIL::IdString portname = conn.first;
|
|
if (portname.substr(0, 1) == "$") {
|
|
int port_id = atoi(portname.substr(1).c_str());
|
|
for (auto &wire_it : mod->wires_)
|
|
if (wire_it.second->port_id == port_id) {
|
|
portname = wire_it.first;
|
|
break;
|
|
}
|
|
}
|
|
if (mod->wires_.count(portname) == 0)
|
|
log_error("Array cell `%s.%s' connects to unknown port `%s'.\n", RTLIL::id2cstr(module->name), RTLIL::id2cstr(cell->name), RTLIL::id2cstr(conn.first));
|
|
int port_size = mod->wires_.at(portname)->width;
|
|
if (conn_size == port_size)
|
|
continue;
|
|
if (conn_size != port_size*num)
|
|
log_error("Array cell `%s.%s' has invalid port vs. signal size for port `%s'.\n", RTLIL::id2cstr(module->name), RTLIL::id2cstr(cell->name), RTLIL::id2cstr(conn.first));
|
|
conn.second = conn.second.extract(port_size*idx, port_size);
|
|
}
|
|
}
|
|
|
|
return did_something;
|
|
}
|
|
|
|
void hierarchy_worker(RTLIL::Design *design, std::set<RTLIL::Module*> &used, RTLIL::Module *mod, int indent)
|
|
{
|
|
if (used.count(mod) > 0)
|
|
return;
|
|
|
|
if (indent == 0)
|
|
log("Top module: %s\n", mod->name.c_str());
|
|
else
|
|
log("Used module: %*s%s\n", indent, "", mod->name.c_str());
|
|
used.insert(mod);
|
|
|
|
for (auto &it : mod->cells_) {
|
|
if (design->modules_.count(it.second->type) > 0)
|
|
hierarchy_worker(design, used, design->modules_[it.second->type], indent+4);
|
|
}
|
|
}
|
|
|
|
void hierarchy(RTLIL::Design *design, RTLIL::Module *top, bool purge_lib, bool first_pass)
|
|
{
|
|
std::set<RTLIL::Module*> used;
|
|
hierarchy_worker(design, used, top, 0);
|
|
|
|
std::vector<RTLIL::Module*> del_modules;
|
|
for (auto &it : design->modules_)
|
|
if (used.count(it.second) == 0)
|
|
del_modules.push_back(it.second);
|
|
|
|
for (auto mod : del_modules) {
|
|
if (first_pass && mod->name.substr(0, 9) == "$abstract")
|
|
continue;
|
|
if (!purge_lib && mod->get_bool_attribute("\\blackbox"))
|
|
continue;
|
|
log("Removing unused module `%s'.\n", mod->name.c_str());
|
|
design->modules_.erase(mod->name);
|
|
delete mod;
|
|
}
|
|
|
|
log("Removed %zd unused modules.\n", del_modules.size());
|
|
}
|
|
|
|
struct HierarchyPass : public Pass {
|
|
HierarchyPass() : Pass("hierarchy", "check, expand and clean up design hierarchy") { }
|
|
virtual void help()
|
|
{
|
|
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
|
|
log("\n");
|
|
log(" hierarchy [-check] [-top <module>]\n");
|
|
log(" hierarchy -generate <cell-types> <port-decls>\n");
|
|
log("\n");
|
|
log("In parametric designs, a module might exists in several variations with\n");
|
|
log("different parameter values. This pass looks at all modules in the current\n");
|
|
log("design an re-runs the language frontends for the parametric modules as\n");
|
|
log("needed.\n");
|
|
log("\n");
|
|
log(" -check\n");
|
|
log(" also check the design hierarchy. this generates an error when\n");
|
|
log(" an unknown module is used as cell type.\n");
|
|
log("\n");
|
|
log(" -purge_lib\n");
|
|
log(" by default the hierarchy command will not remove library (blackbox)\n");
|
|
log(" module. use this options to also remove unused blackbox modules.\n");
|
|
log("\n");
|
|
log(" -libdir <directory>\n");
|
|
log(" search for files named <module_name>.v in the specified directory\n");
|
|
log(" for unknown modules and automatically run read_verilog for each\n");
|
|
log(" unknown module.\n");
|
|
log("\n");
|
|
log(" -keep_positionals\n");
|
|
log(" per default this pass also converts positional arguments in cells\n");
|
|
log(" to arguments using port names. this option disables this behavior.\n");
|
|
log("\n");
|
|
log(" -top <module>\n");
|
|
log(" use the specified top module to built a design hierarchy. modules\n");
|
|
log(" outside this tree (unused modules) are removed.\n");
|
|
log("\n");
|
|
log(" when the -top option is used, the 'top' attribute will be set on the\n");
|
|
log(" specified top module. otherwise a module with the 'top' attribute set\n");
|
|
log(" will implicitly be used as top module, if such a module exists.\n");
|
|
log("\n");
|
|
log("In -generate mode this pass generates blackbox modules for the given cell\n");
|
|
log("types (wildcards supported). For this the design is searched for cells that\n");
|
|
log("match the given types and then the given port declarations are used to\n");
|
|
log("determine the direction of the ports. The syntax for a port declaration is:\n");
|
|
log("\n");
|
|
log(" {i|o|io}[@<num>]:<portname>\n");
|
|
log("\n");
|
|
log("Input ports are specified with the 'i' prefix, output ports with the 'o'\n");
|
|
log("prefix and inout ports with the 'io' prefix. The optional <num> specifies\n");
|
|
log("the position of the port in the parameter list (needed when instanciated\n");
|
|
log("using positional arguments). When <num> is not specified, the <portname> can\n");
|
|
log("also contain wildcard characters.\n");
|
|
log("\n");
|
|
log("This pass ignores the current selection and always operates on all modules\n");
|
|
log("in the current design.\n");
|
|
log("\n");
|
|
}
|
|
virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
|
|
{
|
|
log_header("Executing HIERARCHY pass (managing design hierarchy).\n");
|
|
|
|
bool flag_check = false;
|
|
bool purge_lib = false;
|
|
RTLIL::Module *top_mod = NULL;
|
|
std::vector<std::string> libdirs;
|
|
|
|
bool generate_mode = false;
|
|
bool keep_positionals = false;
|
|
std::vector<std::string> generate_cells;
|
|
std::vector<generate_port_decl_t> generate_ports;
|
|
|
|
size_t argidx;
|
|
for (argidx = 1; argidx < args.size(); argidx++)
|
|
{
|
|
if (args[argidx] == "-generate" && !flag_check && !top_mod) {
|
|
generate_mode = true;
|
|
log("Entering generate mode.\n");
|
|
while (++argidx < args.size()) {
|
|
const char *p = args[argidx].c_str();
|
|
generate_port_decl_t decl;
|
|
if (p[0] == 'i' && p[1] == 'o')
|
|
decl.input = true, decl.output = true, p += 2;
|
|
else if (*p == 'i')
|
|
decl.input = true, decl.output = false, p++;
|
|
else if (*p == 'o')
|
|
decl.input = false, decl.output = true, p++;
|
|
else
|
|
goto is_celltype;
|
|
if (*p == '@') {
|
|
char *endptr;
|
|
decl.index = strtol(++p, &endptr, 10);
|
|
if (decl.index < 1)
|
|
goto is_celltype;
|
|
p = endptr;
|
|
} else
|
|
decl.index = 0;
|
|
if (*(p++) != ':')
|
|
goto is_celltype;
|
|
if (*p == 0)
|
|
goto is_celltype;
|
|
decl.portname = p;
|
|
log("Port declaration: %s", decl.input ? decl.output ? "inout" : "input" : "output");
|
|
if (decl.index >= 1)
|
|
log(" [at position %d]", decl.index);
|
|
log(" %s\n", decl.portname.c_str());
|
|
generate_ports.push_back(decl);
|
|
continue;
|
|
is_celltype:
|
|
log("Celltype: %s\n", args[argidx].c_str());
|
|
generate_cells.push_back(RTLIL::unescape_id(args[argidx]));
|
|
}
|
|
continue;
|
|
}
|
|
if (args[argidx] == "-check") {
|
|
flag_check = true;
|
|
continue;
|
|
}
|
|
if (args[argidx] == "-purge_lib") {
|
|
purge_lib = true;
|
|
continue;
|
|
}
|
|
if (args[argidx] == "-keep_positionals") {
|
|
keep_positionals = true;
|
|
continue;
|
|
}
|
|
if (args[argidx] == "-libdir" && argidx+1 < args.size()) {
|
|
libdirs.push_back(args[++argidx]);
|
|
continue;
|
|
}
|
|
if (args[argidx] == "-top") {
|
|
if (++argidx >= args.size())
|
|
log_cmd_error("Option -top requires an additional argument!\n");
|
|
top_mod = design->modules_.count(RTLIL::escape_id(args[argidx])) ? design->modules_.at(RTLIL::escape_id(args[argidx])) : NULL;
|
|
if (top_mod == NULL && design->modules_.count("$abstract" + RTLIL::escape_id(args[argidx]))) {
|
|
std::map<RTLIL::IdString, RTLIL::Const> empty_parameters;
|
|
design->modules_.at("$abstract" + RTLIL::escape_id(args[argidx]))->derive(design, empty_parameters);
|
|
top_mod = design->modules_.count(RTLIL::escape_id(args[argidx])) ? design->modules_.at(RTLIL::escape_id(args[argidx])) : NULL;
|
|
}
|
|
if (top_mod == NULL)
|
|
log_cmd_error("Module `%s' not found!\n", args[argidx].c_str());
|
|
continue;
|
|
}
|
|
break;
|
|
}
|
|
extra_args(args, argidx, design, false);
|
|
|
|
if (generate_mode) {
|
|
generate(design, generate_cells, generate_ports);
|
|
return;
|
|
}
|
|
|
|
log_push();
|
|
|
|
if (top_mod == NULL)
|
|
for (auto &mod_it : design->modules_)
|
|
if (mod_it.second->get_bool_attribute("\\top"))
|
|
top_mod = mod_it.second;
|
|
|
|
if (top_mod != NULL)
|
|
hierarchy(design, top_mod, purge_lib, true);
|
|
|
|
bool did_something = true;
|
|
bool did_something_once = false;
|
|
while (did_something) {
|
|
did_something = false;
|
|
std::vector<RTLIL::IdString> modnames;
|
|
modnames.reserve(design->modules_.size());
|
|
for (auto &mod_it : design->modules_)
|
|
modnames.push_back(mod_it.first);
|
|
for (auto &modname : modnames) {
|
|
if (design->modules_.count(modname) == 0)
|
|
continue;
|
|
if (expand_module(design, design->modules_[modname], flag_check, libdirs))
|
|
did_something = true;
|
|
}
|
|
if (did_something)
|
|
did_something_once = true;
|
|
}
|
|
|
|
if (top_mod != NULL && did_something_once) {
|
|
log_header("Re-running hierarchy analysis..\n");
|
|
hierarchy(design, top_mod, purge_lib, false);
|
|
}
|
|
|
|
if (top_mod != NULL) {
|
|
for (auto &mod_it : design->modules_)
|
|
if (mod_it.second == top_mod)
|
|
mod_it.second->attributes["\\top"] = RTLIL::Const(1);
|
|
else
|
|
mod_it.second->attributes.erase("\\top");
|
|
}
|
|
|
|
if (!keep_positionals)
|
|
{
|
|
std::set<RTLIL::Module*> pos_mods;
|
|
std::map<std::pair<RTLIL::Module*,int>, RTLIL::IdString> pos_map;
|
|
std::vector<std::pair<RTLIL::Module*,RTLIL::Cell*>> pos_work;
|
|
|
|
for (auto &mod_it : design->modules_)
|
|
for (auto &cell_it : mod_it.second->cells_) {
|
|
RTLIL::Cell *cell = cell_it.second;
|
|
if (design->modules_.count(cell->type) == 0)
|
|
continue;
|
|
for (auto &conn : cell->connections())
|
|
if (conn.first[0] == '$' && '0' <= conn.first[1] && conn.first[1] <= '9') {
|
|
pos_mods.insert(design->modules_.at(cell->type));
|
|
pos_work.push_back(std::pair<RTLIL::Module*,RTLIL::Cell*>(mod_it.second, cell));
|
|
break;
|
|
}
|
|
}
|
|
|
|
for (auto module : pos_mods)
|
|
for (auto &wire_it : module->wires_) {
|
|
RTLIL::Wire *wire = wire_it.second;
|
|
if (wire->port_id > 0)
|
|
pos_map[std::pair<RTLIL::Module*,int>(module, wire->port_id)] = wire->name;
|
|
}
|
|
|
|
for (auto &work : pos_work) {
|
|
RTLIL::Module *module = work.first;
|
|
RTLIL::Cell *cell = work.second;
|
|
log("Mapping positional arguments of cell %s.%s (%s).\n",
|
|
RTLIL::id2cstr(module->name), RTLIL::id2cstr(cell->name), RTLIL::id2cstr(cell->type));
|
|
std::map<RTLIL::IdString, RTLIL::SigSpec> new_connections;
|
|
for (auto &conn : cell->connections())
|
|
if (conn.first[0] == '$' && '0' <= conn.first[1] && conn.first[1] <= '9') {
|
|
int id = atoi(conn.first.c_str()+1);
|
|
std::pair<RTLIL::Module*,int> key(design->modules_.at(cell->type), id);
|
|
if (pos_map.count(key) == 0) {
|
|
log(" Failed to map positional argument %d of cell %s.%s (%s).\n",
|
|
id, RTLIL::id2cstr(module->name), RTLIL::id2cstr(cell->name), RTLIL::id2cstr(cell->type));
|
|
new_connections[conn.first] = conn.second;
|
|
} else
|
|
new_connections[pos_map.at(key)] = conn.second;
|
|
} else
|
|
new_connections[conn.first] = conn.second;
|
|
cell->connections_ = new_connections;
|
|
}
|
|
}
|
|
|
|
log_pop();
|
|
}
|
|
} HierarchyPass;
|
|
|
|
PRIVATE_NAMESPACE_END
|