diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 19:36:09 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 19:36:09 -0700 |
commit | 0ad50332d94dfd4e08dcb8e862ccdd91b4262eb2 (patch) | |
tree | e2fae37cf80f1bddf22b6c99c0311f4601653435 /techlibs/xilinx/synth_xilinx.cc | |
parent | 36120fcc3064d0be20d5b9871a804b226471ceae (diff) | |
download | yosys-0ad50332d94dfd4e08dcb8e862ccdd91b4262eb2.tar.gz yosys-0ad50332d94dfd4e08dcb8e862ccdd91b4262eb2.tar.bz2 yosys-0ad50332d94dfd4e08dcb8e862ccdd91b4262eb2.zip |
Execute techmap and arith_map simultaneously
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index c20cac09b..a569c20f4 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -229,11 +229,6 @@ struct SynthXilinxPass : public ScriptPass run("dff2dffe"); run("opt -full"); - if (!vpr || help_mode) - run("techmap -map +/xilinx/arith_map.v"); - else - run("techmap -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); - if (!nosrl || help_mode) { // shregmap operates on bit-level flops, not word-level, // so break those down here @@ -242,7 +237,12 @@ struct SynthXilinxPass : public ScriptPass run("shregmap -tech xilinx -minlen 3", "(skip if '-nosrl')"); } - 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"); } |