diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-05-21 16:19:45 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-05-21 16:19:45 -0700 |
| commit | ee8435b820bbea4a4ceb2c46a81de9d03d4aa44c (patch) | |
| tree | 15c24a82884ffd0fabdd24ddfc48e2c16b08d583 /techlibs/xilinx/synth_xilinx.cc | |
| parent | 0f094fba08b69baa2329e749daf19f41a624a0a0 (diff) | |
| download | yosys-ee8435b820bbea4a4ceb2c46a81de9d03d4aa44c.tar.gz yosys-ee8435b820bbea4a4ceb2c46a81de9d03d4aa44c.tar.bz2 yosys-ee8435b820bbea4a4ceb2c46a81de9d03d4aa44c.zip | |
Instead of MUXCY/XORCY use CARRY4 (with timing)
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index e9a3b53a0..ec7768ffe 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -261,6 +261,8 @@ struct SynthXilinxPass : public ScriptPass if (vpr && !nocarry && !help_mode) run("techmap -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); + else if (abc == "abc9" && !nocarry && !help_mode) + run("techmap -map +/xilinx/arith_map.v -D _CLB_CARRY", "(skip if '-nocarry')"); else if (!nocarry || help_mode) run("techmap -map +/xilinx/arith_map.v", "(skip if '-nocarry')"); |