diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-04-10 08:32:53 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-04-10 08:32:53 -0700 |
| commit | 9a6da9a79a22e984ee3eec02caa230b66f10e11a (patch) | |
| tree | 01180d7b91dedcbd5a06ae2a89fb9ad62ad55a13 /techlibs/xilinx/synth_xilinx.cc | |
| parent | 5f4024ffd2a59e3c0c7edce4057c47d3a005e18f (diff) | |
| download | yosys-9a6da9a79a22e984ee3eec02caa230b66f10e11a.tar.gz yosys-9a6da9a79a22e984ee3eec02caa230b66f10e11a.tar.bz2 yosys-9a6da9a79a22e984ee3eec02caa230b66f10e11a.zip | |
synth_* with -retime option now calls abc with -D 1 as well
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 397c83ac6..a462b9052 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -115,7 +115,7 @@ struct SynthXilinxPass : public Pass log("\n"); log(" map_luts:\n"); log(" techmap -map +/techmap.v -map +/xilinx/ff_map.v t:$_DFF_?N?\n"); - log(" abc -luts 2:2,3,6:5,10,20 [-dff]\n"); + log(" abc -luts 2:2,3,6:5,10,20 [-dff -D 1]\n"); log(" clean\n"); log(" techmap -map +/xilinx/lut_map.v -map +/xilinx/ff_map.v"); log("\n"); @@ -269,7 +269,7 @@ struct SynthXilinxPass : public Pass if (check_label(active, run_from, run_to, "map_luts")) { Pass::call(design, "techmap -map +/techmap.v -map +/xilinx/ff_map.v t:$_DFF_?N?"); - Pass::call(design, "abc -luts 2:2,3,6:5,10,20" + string(retime ? " -dff" : "")); + Pass::call(design, "abc -luts 2:2,3,6:5,10,20" + string(retime ? " -dff -D 1" : "")); Pass::call(design, "clean"); Pass::call(design, "techmap -map +/xilinx/lut_map.v -map +/xilinx/ff_map.v"); } |