projects
/
yosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Harmonize BRAM/LUTRAM descriptions across all of Yosys.
[yosys.git]
/
techlibs
/
efinix
/
synth_efinix.cc
diff --git
a/techlibs/efinix/synth_efinix.cc
b/techlibs/efinix/synth_efinix.cc
index 26a8d4edac05258562837eedc431b5b183825d37..3e52743855afc02f05d4299bc714563ded5af5b8 100644
(file)
--- a/
techlibs/efinix/synth_efinix.cc
+++ b/
techlibs/efinix/synth_efinix.cc
@@
-60,6
+60,9
@@
struct SynthEfinixPass : public ScriptPass
log(" -retime\n");
log(" run 'abc' with -dff option\n");
log("\n");
log(" -retime\n");
log(" run 'abc' with -dff option\n");
log("\n");
+ log(" -nobram\n");
+ log(" do not use EFX_RAM_5K cells in output netlist\n");
+ log("\n");
log("\n");
log("The following commands are executed by this synthesis command:\n");
help_script();
log("\n");
log("The following commands are executed by this synthesis command:\n");
help_script();
@@
-67,7
+70,7
@@
struct SynthEfinixPass : public ScriptPass
}
string top_opt, edif_file, json_file;
}
string top_opt, edif_file, json_file;
- bool flatten, retime;
+ bool flatten, retime
, nobram
;
void clear_flags() YS_OVERRIDE
{
void clear_flags() YS_OVERRIDE
{
@@
-76,6
+79,7
@@
struct SynthEfinixPass : public ScriptPass
json_file = "";
flatten = true;
retime = false;
json_file = "";
flatten = true;
retime = false;
+ nobram = false;
}
void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
}
void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
@@
-114,6
+118,10
@@
struct SynthEfinixPass : public ScriptPass
retime = true;
continue;
}
retime = true;
continue;
}
+ if (args[argidx] == "-nobram") {
+ nobram = true;
+ continue;
+ }
break;
}
extra_args(args, argidx, design);
break;
}
extra_args(args, argidx, design);
@@
-150,18
+158,22
@@
struct SynthEfinixPass : public ScriptPass
run("synth -run coarse");
}
run("synth -run coarse");
}
- if (check_label("map_bram", "(skip if -nobram)"))
+ if (
!nobram ||
check_label("map_bram", "(skip if -nobram)"))
{
{
- run("memory_bram -rules +/efinix/bram.txt");
+ run("memory_bram -rules +/efinix/bram
s
.txt");
run("techmap -map +/efinix/brams_map.v");
run("setundef -zero -params t:EFX_RAM_5K");
}
run("techmap -map +/efinix/brams_map.v");
run("setundef -zero -params t:EFX_RAM_5K");
}
- if (check_label("
fine
"))
+ if (check_label("
map_ffram
"))
{
run("opt -fast -mux_undef -undriven -fine");
run("memory_map");
run("opt -undriven -fine");
{
run("opt -fast -mux_undef -undriven -fine");
run("memory_map");
run("opt -undriven -fine");
+ }
+
+ if (check_label("map_gates"))
+ {
run("techmap -map +/techmap.v -map +/efinix/arith_map.v");
if (retime || help_mode)
run("abc -dff", "(only if -retime)");
run("techmap -map +/techmap.v -map +/efinix/arith_map.v");
if (retime || help_mode)
run("abc -dff", "(only if -retime)");
@@
-194,7
+206,7
@@
struct SynthEfinixPass : public ScriptPass
run("efinix_fixcarry");
run("clean");
}
run("efinix_fixcarry");
run("clean");
}
-
+
if (check_label("check"))
{
run("hierarchy -check");
if (check_label("check"))
{
run("hierarchy -check");