summaryrefslogtreecommitdiff
path: root/backends
diff options
context:
space:
mode:
Diffstat (limited to 'backends')
-rw-r--r--backends/blif/blif.cc42
1 files changed, 40 insertions, 2 deletions
diff --git a/backends/blif/blif.cc b/backends/blif/blif.cc
index 0fd03389..f8788061 100644
--- a/backends/blif/blif.cc
+++ b/backends/blif/blif.cc
@@ -35,6 +35,9 @@ struct BlifDumperConfig
bool conn_mode;
bool impltf_mode;
+ std::string buf_type, buf_in, buf_out;
+ std::string true_type, true_out, false_type, false_out;
+
BlifDumperConfig() : subckt_mode(false), conn_mode(false), impltf_mode(false) { }
};
@@ -115,8 +118,14 @@ struct BlifDumper
fprintf(f, "\n");
if (!config->impltf_mode) {
- fprintf(f, ".names $false\n");
- fprintf(f, ".names $true\n1\n");
+ if (!config->false_type.empty())
+ fprintf(f, ".subckt %s %s=$false\n", config->false_type.c_str(), config->false_out.c_str());
+ else
+ fprintf(f, ".names $false\n");
+ if (!config->true_type.empty())
+ fprintf(f, ".subckt %s %s=$true\n", config->true_type.c_str(), config->true_out.c_str());
+ else
+ fprintf(f, ".names $true\n1\n");
}
for (auto &cell_it : module->cells)
@@ -182,9 +191,13 @@ struct BlifDumper
for (int i = 0; i < conn.first.width; i++)
if (config->conn_mode)
fprintf(f, ".conn %s %s\n", cstr(conn.second.extract(i, 1)), cstr(conn.first.extract(i, 1)));
+ else if (!config->buf_type.empty())
+ fprintf(f, ".subckt %s %s=%s %s=%s\n", config->buf_type.c_str(), config->buf_in.c_str(), cstr(conn.second.extract(i, 1)),
+ config->buf_out.c_str(), cstr(conn.first.extract(i, 1)));
else
fprintf(f, ".names %s %s\n1 1\n", cstr(conn.second.extract(i, 1)), cstr(conn.first.extract(i, 1)));
+
fprintf(f, ".end\n");
}
@@ -208,6 +221,12 @@ struct BlifBackend : public Backend {
log(" -top top_module\n");
log(" set the specified module as design top module\n");
log("\n");
+ 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(" -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");
log("\n");
log("The following options can be usefull when the generated file is not going to be\n");
log("read by a BLIF parser but a custom tool. It is recommended to not name the output\n");
@@ -228,6 +247,9 @@ struct BlifBackend : public Backend {
virtual void execute(FILE *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design)
{
std::string top_module_name;
+ std::string buf_type, buf_in, buf_out;
+ std::string true_type, true_out;
+ std::string false_type, false_out;
BlifDumperConfig config;
log_header("Executing BLIF backend.\n");
@@ -239,6 +261,22 @@ struct BlifBackend : public Backend {
top_module_name = args[++argidx];
continue;
}
+ if (args[argidx] == "-buf" && argidx+3 < args.size()) {
+ config.buf_type = args[++argidx];
+ config.buf_in = args[++argidx];
+ config.buf_out = args[++argidx];
+ continue;
+ }
+ if (args[argidx] == "-true" && argidx+2 < args.size()) {
+ config.true_type = args[++argidx];
+ config.true_out = args[++argidx];
+ continue;
+ }
+ if (args[argidx] == "-false" && argidx+2 < args.size()) {
+ config.false_type = args[++argidx];
+ config.false_out = args[++argidx];
+ continue;
+ }
if (args[argidx] == "-subckt") {
config.subckt_mode = true;
continue;