diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-14 17:37:46 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-14 17:37:46 +0100 |
commit | 32dce4a870e8f556897096a0c252b2e43f5622e5 (patch) | |
tree | bfb826b81909f6e91b4e44c85326ac334569a2be /backends | |
parent | f7cf60b45c04bcefd60cca3f56b648ddadd242ac (diff) | |
download | yosys-32dce4a870e8f556897096a0c252b2e43f5622e5.tar.gz yosys-32dce4a870e8f556897096a0c252b2e43f5622e5.tar.bz2 yosys-32dce4a870e8f556897096a0c252b2e43f5622e5.zip |
Added "blif -unbuf" feature
Diffstat (limited to 'backends')
-rw-r--r-- | backends/blif/blif.cc | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc index 216e59fb5..18f76f7e4 100644 --- a/backends/blif/blif.cc +++ b/backends/blif/blif.cc @@ -40,6 +40,7 @@ struct BlifDumperConfig bool param_mode; std::string buf_type, buf_in, buf_out; + std::map<RTLIL::IdString, std::pair<RTLIL::IdString, RTLIL::IdString>> unbuf_types; std::string true_type, true_out, false_type, false_out; BlifDumperConfig() : icells_mode(false), conn_mode(false), impltf_mode(false), gates_mode(false), param_mode(false) { } @@ -146,6 +147,13 @@ struct BlifDumper { RTLIL::Cell *cell = cell_it.second; + if (config->unbuf_types.count(cell->type)) { + auto portnames = config->unbuf_types.at(cell->type); + f << stringf(".names %s %s\n1 1\n", + cstr(cell->getPort(portnames.first)), cstr(cell->getPort(portnames.second))); + continue; + } + if (!config->icells_mode && cell->type == "$_NOT_") { f << stringf(".names %s %s\n0 1\n", cstr(cell->getPort("\\A")), cstr(cell->getPort("\\Y"))); @@ -279,6 +287,10 @@ struct BlifBackend : public Backend { log(" -buf <cell-type> <in-port> <out-port>\n"); log(" use cells of type <cell-type> with the specified port names for buffers\n"); log("\n"); + log(" -unbuf <cell-type> <in-port> <out-port>\n"); + log(" replace buffer cells with the specified name and port names with\n"); + log(" a .names statement that models a buffer\n"); + log("\n"); log(" -true <cell-type> <out-port>\n"); log(" -false <cell-type> <out-port>\n"); log(" use the specified cell types to drive nets that are constant 1 or 0\n"); @@ -329,6 +341,13 @@ struct BlifBackend : public Backend { config.buf_out = args[++argidx]; continue; } + if (args[argidx] == "-unbuf" && argidx+3 < args.size()) { + RTLIL::IdString unbuf_type = RTLIL::escape_id(args[++argidx]); + RTLIL::IdString unbuf_in = RTLIL::escape_id(args[++argidx]); + RTLIL::IdString unbuf_out = RTLIL::escape_id(args[++argidx]); + config.unbuf_types[unbuf_type] = std::pair<RTLIL::IdString, RTLIL::IdString>(unbuf_in, unbuf_out); + continue; + } if (args[argidx] == "-true" && argidx+2 < args.size()) { config.true_type = args[++argidx]; config.true_out = args[++argidx]; |