diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:07:08 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:07:08 -0700 |
| commit | f81a0ed92e900604e77be01e92f1150c6c5cbde3 (patch) | |
| tree | ec4340838bfa3f53b3925cd15c861b6df56f1bf8 /techlibs/xilinx | |
| parent | b6e59741ae6e4ec57affb9ab168a9d08cdb6d04f (diff) | |
| parent | 1217e47e83d099561fed933208621d0402cf0972 (diff) | |
| download | yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.tar.gz yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.tar.bz2 yosys-f81a0ed92e900604e77be01e92f1150c6c5cbde3.zip | |
Merge remote-tracking branch 'origin/master' into xc7mux
Diffstat (limited to 'techlibs/xilinx')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 97464ffe4..e316c268e 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -277,7 +277,11 @@ struct SynthXilinxPass : public ScriptPass if (!nomux || help_mode) run("techmap -map +/xilinx/cells_map.v"); - run("techmap"); + if (!vpr || help_mode) + run("techmap -map +/techmap.v -map +/xilinx/arith_map.v"); + else + run("techmap -map +/techmap.v +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); + run("opt -fast"); } |