From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Tue, 19 Mar 2019 23:14:08 +0000 (-0700)
Subject: Restore original synth_xilinx commands
X-Git-Tag: yosys-0.9~171^2~46
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ae2a625d0507c9e7476497e0064ffa003aa761f1;p=yosys.git

Restore original synth_xilinx commands
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 61895e032..0eccb97f2 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -112,7 +112,7 @@ struct SynthXilinxPass : public Pass
 		log("        opt -full\n");
 		log("        simplemap t:$dff*\n");
 		log("        shregmap -tech xilinx\n");
-		log("        techmap -map +/techmap.v -map +/xilinx/arith_map.v +/xilinx/ff_map.v\n");
+		log("        techmap -map +/techmap.v -map +/xilinx/arith_map.v -map +/xilinx/ff_map.v\n");
 		log("        opt -fast\n");
 		log("\n");
 		log("    map_luts:\n");
@@ -266,6 +266,7 @@ struct SynthXilinxPass : public Pass
 				Pass::call(design, "techmap -map +/techmap.v -map +/xilinx/arith_map.v -map +/xilinx/ff_map.v");
 			}
 
+			Pass::call(design, "hierarchy -check");
 			Pass::call(design, "opt -fast");
 		}