From da32f21b5908972430e687d805bb84635f2e9b43 Mon Sep 17 00:00:00 2001
From: TaoBi22 <beahealy22@gmail.com>
Date: Tue, 27 Sep 2022 17:33:28 +0100
Subject: [PATCH] Add plib flag to specify custom primitive library path
---
techlibs/fabulous/synth_fabulous.cc | 16 ++++++++++++++--
1 file changed, 14 insertions(+), 2 deletions(-)
diff --git a/techlibs/fabulous/synth_fabulous.cc b/techlibs/fabulous/synth_fabulous.cc
index bd373c410..478569555 100644
--- a/techlibs/fabulous/synth_fabulous.cc
+++ b/techlibs/fabulous/synth_fabulous.cc
@@ -47,6 +47,9 @@ struct SynthPass : public ScriptPass
log(" -lut <k>\n");
log(" perform synthesis for a k-LUT architecture (default 4).\n");
log("\n");
+ log(" -plib <primitive_library.v>\n");
+ log(" use the specified Verilog file as a primitive library.\n");
+ log("\n");
log(" -run <from_label>[:<to_label>]\n");
log(" only run the commands between the labels (see below). an empty\n");
log(" from label is synonymous to 'begin', and empty to label is\n");
@@ -58,13 +61,14 @@ struct SynthPass : public ScriptPass
log("\n");
}
- string top_module;
+ string top_module, plib;
bool autotop, forvpr;
int lut;
void clear_flags() override
{
top_module.clear();
+ plib.clear();
autotop = false;
lut = 4;
forvpr = false;
@@ -106,6 +110,10 @@ struct SynthPass : public ScriptPass
lut = atoi(args[++argidx].c_str());
continue;
}
+ if (args[argidx] == "-plib" && argidx+1 < args.size()) {
+ plib = args[++argidx];
+ continue;
+ }
break;
}
extra_args(args, argidx, design);
@@ -131,6 +139,10 @@ struct SynthPass : public ScriptPass
} else
run(stringf("hierarchy -check -top %s", top_module.c_str()));
+ if (plib.empty())
+ run("read_verilog -lib +/fabulous/prims.v");
+ else
+ run("read_verilog -lib " + plib);
run("proc");
run("tribuf -logic");
run("deminout");
@@ -144,7 +156,7 @@ struct SynthPass : public ScriptPass
run("abc -lut $LUT_K -dress");
run("clean");
if (forvpr)
- run("yosys techmap -D LUT_K=$LUT_K -map +/fabulous/cells_map.v");
+ run("techmap -D LUT_K=$LUT_K -map +/fabulous/cells_map.v");
run("clean");
run("hierarchy -check");
run("stat");