diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-08 19:21:53 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-08 19:21:53 -0700 |
| commit | 9ac078be6f4080efde1e701b05afd6a0c8478296 (patch) | |
| tree | fe279fe3d0901a20320a4c1f4cfd29f7f7370ca5 /techlibs/common | |
| parent | 3f86407cc32e20a8885c73f959082c5c0449bf9a (diff) | |
| parent | fccabd09436aae780875fae2d833f58549f38418 (diff) | |
| download | yosys-9ac078be6f4080efde1e701b05afd6a0c8478296.tar.gz yosys-9ac078be6f4080efde1e701b05afd6a0c8478296.tar.bz2 yosys-9ac078be6f4080efde1e701b05afd6a0c8478296.zip | |
Merge remote-tracking branch 'origin/eddie/synth_keepdc' into xc7mux
Diffstat (limited to 'techlibs/common')
| -rw-r--r-- | techlibs/common/synth.cc | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc index 555de9fba..af70cc498 100644 --- a/techlibs/common/synth.cc +++ b/techlibs/common/synth.cc @@ -78,6 +78,9 @@ struct SynthPass : public ScriptPass log(" -abc9\n"); log(" use new ABC9 flow (EXPERIMENTAL)\n"); log("\n"); + log(" -keepdc\n"); + log(" do not optimize explicit don't-care values on $mux cells.\n"); + log("\n"); log("\n"); log("The following commands are executed by this synthesis command:\n"); help_script(); @@ -85,7 +88,7 @@ struct SynthPass : public ScriptPass } string top_module, fsm_opts, memory_opts, abc; - bool autotop, flatten, noalumacc, nofsm, noabc, noshare; + bool autotop, flatten, noalumacc, nofsm, noabc, noshare, keepdc; int lut; void clear_flags() YS_OVERRIDE @@ -102,6 +105,7 @@ struct SynthPass : public ScriptPass noabc = false; noshare = false; abc = "abc"; + keepdc = false; } void execute(std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE @@ -167,6 +171,10 @@ struct SynthPass : public ScriptPass abc = "abc9"; continue; } + if (args[argidx] == "-keepdc") { + keepdc = true; + continue; + } break; } extra_args(args, argidx, design); @@ -211,7 +219,10 @@ struct SynthPass : public ScriptPass run("opt_clean"); run("check"); run("opt"); - run("wreduce"); + if (help_mode) + run("wreduce [-keepdc]"); + else + run("wreduce" + std::string(keepdc ? " -keepdc" : "")); run("peepopt"); run("opt_clean"); if (help_mode) |