synth_xilinx's map_cells stage to techmap ff_map.v

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 2455c2885c84056920bcbb121e0392cb7917244c..45be9a318a3b8edd5dd42f04ec1f9d00775ca0c8 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -361,6 +361,8 @@ struct SynthXilinxPass : public ScriptPass
                        std::string techmap_args = "-map +/techmap.v -D _ABC -map +/xilinx/cells_map.v";
                        if (widemux > 0)
                                techmap_args += stringf(" -D MIN_MUX_INPUTS=%d", widemux);
+                       if (abc9)
+                               techmap_args += " -map +/xilinx/ff_map.v";
                        run("techmap " + techmap_args);
                        run("clean");
                }