aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
authorMarcelina Koƛcielnicka <mwk@0x04.net>2020-02-03 14:57:17 +0100
committerGitHub <noreply@github.com>2020-02-03 14:57:17 +0100
commit34d2fbd2f96a8789aa7eb655318308e11949eb7a (patch)
tree246fac88cc076f041cb9194bf6e4f954d50fd78c /techlibs/xilinx/synth_xilinx.cc
parent7033503cd9e40e16c11fe6c805a436b0e23989dd (diff)
downloadyosys-34d2fbd2f96a8789aa7eb655318308e11949eb7a.tar.gz
yosys-34d2fbd2f96a8789aa7eb655318308e11949eb7a.tar.bz2
yosys-34d2fbd2f96a8789aa7eb655318308e11949eb7a.zip
Add opt_lut_ins pass. (#1673)
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 8119d307c..5a28bb139 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -597,6 +597,7 @@ struct SynthXilinxPass : public ScriptPass
techmap_args += stringf(" -map %s", ff_map_file.c_str());
run("techmap " + techmap_args);
run("xilinx_dffopt");
+ run("opt_lut_ins -tech xilinx");
}
if (check_label("finalize")) {