diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-07-27 09:54:58 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-07-27 09:54:58 +0200 |
commit | 4d0ba9b3b27d507ba032bdc1a4bcbf63e2581336 (patch) | |
tree | 66e0f65de2346cb2e0f164d5df615d8865306713 /passes/cmds/check.cc | |
parent | 2a613b1b662956e681cab4259ff495c33b39a393 (diff) | |
download | yosys-4d0ba9b3b27d507ba032bdc1a4bcbf63e2581336.tar.gz yosys-4d0ba9b3b27d507ba032bdc1a4bcbf63e2581336.tar.bz2 yosys-4d0ba9b3b27d507ba032bdc1a4bcbf63e2581336.zip |
Fixed "check" command for inout ports
Diffstat (limited to 'passes/cmds/check.cc')
-rw-r--r-- | passes/cmds/check.cc | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 057812430..fe74408d4 100644 --- a/passes/cmds/check.cc +++ b/passes/cmds/check.cc @@ -79,6 +79,7 @@ struct CheckPass : public Pass { SigMap sigmap(module); dict<SigBit, vector<string>> wire_drivers; + dict<SigBit, int> wire_drivers_count; pool<SigBit> used_wires; TopoSort<string> topo; @@ -99,9 +100,13 @@ struct CheckPass : public Pass { if (logic_cell) topo.edge(stringf("cell %s (%s)", log_id(cell), log_id(cell->type)), stringf("wire %s", log_signal(sig[i]))); - wire_drivers[sig[i]].push_back(stringf("port %s[%d] of cell %s (%s)", - log_id(conn.first), i, log_id(cell), log_id(cell->type))); + if (sig[i].wire) + wire_drivers[sig[i]].push_back(stringf("port %s[%d] of cell %s (%s)", + log_id(conn.first), i, log_id(cell), log_id(cell->type))); } + if (!cell->input(conn.first) && cell->output(conn.first)) + for (auto bit : sig) + if (bit.wire) wire_drivers_count[bit]++; } for (auto wire : module->wires()) { @@ -113,6 +118,9 @@ struct CheckPass : public Pass { if (wire->port_output) for (auto bit : sigmap(wire)) if (bit.wire) used_wires.insert(bit); + if (wire->port_input && !wire->port_output) + for (auto bit : sigmap(wire)) + if (bit.wire) wire_drivers_count[bit]++; if (noinit && wire->attributes.count("\\init")) { log_warning("Wire %s.%s has an unprocessed 'init' attribute.\n", log_id(module), log_id(wire)); counter++; @@ -120,7 +128,7 @@ struct CheckPass : public Pass { } for (auto it : wire_drivers) - if (GetSize(it.second) > 1) { + if (wire_drivers_count[it.first] > 1) { string message = stringf("multiple conflicting drivers for %s.%s:\n", log_id(module), log_signal(it.first)); for (auto str : it.second) message += stringf(" %s\n", str.c_str()); |