aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2020-01-10 12:34:21 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2020-01-10 12:34:21 +0100
commit992b507537d6c0e5804859100e05a7a78adb21eb (patch)
tree064371eab4deb59850eb71424fd56ce40dfb6056 /techlibs/xilinx/synth_xilinx.cc
parent2bcd55f1aec8ff2108db835f96e8abd4e89e4be6 (diff)
downloadyosys-992b507537d6c0e5804859100e05a7a78adb21eb.tar.gz
yosys-992b507537d6c0e5804859100e05a7a78adb21eb.tar.bz2
yosys-992b507537d6c0e5804859100e05a7a78adb21eb.zip
Use CARRY4 for abc1 as well, preventing issues with Vivado
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 51d2cbbd2..7ff09a437 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -515,7 +515,7 @@ struct SynthXilinxPass : public ScriptPass
techmap_args += " -map +/xilinx/arith_map.v";
if (vpr)
techmap_args += " -D _EXPLICIT_CARRY";
- else if (abc9)
+ else
techmap_args += " -D _CLB_CARRY";
}
run("techmap " + techmap_args);