diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 16:25:48 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 16:25:48 -0700 |
| commit | 5f807a7a5b3f4c1eae7b75ad93d90f3d202e2b6c (patch) | |
| tree | dff2318895e93d80c6cb6c55f7d7260af3236f95 /techlibs/xilinx | |
| parent | 502054e0405bb9856c465ee096de9ec5c8caffbd (diff) | |
| download | yosys-5f807a7a5b3f4c1eae7b75ad93d90f3d202e2b6c.tar.gz yosys-5f807a7a5b3f4c1eae7b75ad93d90f3d202e2b6c.tar.bz2 yosys-5f807a7a5b3f4c1eae7b75ad93d90f3d202e2b6c.zip | |
Return to upstream synth_xilinx with opt -full and wreduce
Diffstat (limited to 'techlibs/xilinx')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 22 |
1 files changed, 3 insertions, 19 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 278098a58..c139fb3c4 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -241,26 +241,10 @@ struct SynthXilinxPass : public ScriptPass } if (check_label("coarse")) { - run("proc"); - if (flatten || help_mode) - run("flatten", "(with -flatten only)"); - run("opt_expr"); - run("opt_clean"); - run("check"); - run("opt"); if (help_mode) - run("wreduce [-keepdc]", "('-widemux' only)"); + run("synth -run coarse [-flatten]", "(with '-flatten')"); else - run("wreduce" + std::string(widemux > 0 ? " -keepdc" : "")); - run("peepopt"); - run("opt_clean"); - run("alumacc"); - run("share"); - run("opt"); - run("fsm"); - run("opt -fast"); - run("memory -nomap"); - run("opt_clean"); + run("synth -run coarse" + std::string(flatten ? "" : " -flatten"), "(with '-flatten')"); if (widemux > 0 || help_mode) run("muxpack", " ('-widemux' only)"); @@ -288,7 +272,7 @@ struct SynthXilinxPass : public ScriptPass } if (check_label("fine")) { - run("opt -fast"); + run("opt -fast -full"); run("memory_map"); run("dffsr2dff"); run("dff2dffe"); |