aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-03 19:36:09 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-03 19:36:09 -0700
commit0ad50332d94dfd4e08dcb8e862ccdd91b4262eb2 (patch)
treee2fae37cf80f1bddf22b6c99c0311f4601653435 /techlibs/xilinx/synth_xilinx.cc
parent36120fcc3064d0be20d5b9871a804b226471ceae (diff)
downloadyosys-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.cc12
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");
}