From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 15 Feb 2015 12:25:15 +0000 (+0100)
Subject: Added "stat" to "synth" and "synth_xilinx"
X-Git-Tag: yosys-0.6~428
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d34d031f9c0b62cc4f669114c60ecdfdc555274;p=yosys.git

Added "stat" to "synth" and "synth_xilinx"
---

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index 56ab6eaff..c3e7288db 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -96,6 +96,7 @@ struct SynthPass : public Pass {
 		log("\n");
 		log("    check:\n");
 		log("        hierarchy -check\n");
+		log("        stat\n");
 		log("        check\n");
 		log("\n");
 	}
@@ -186,6 +187,7 @@ struct SynthPass : public Pass {
 		if (check_label(active, run_from, run_to, "check"))
 		{
 			Pass::call(design, "hierarchy -check");
+			Pass::call(design, "stat");
 			Pass::call(design, "check");
 		}
 
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 02207593a..836ba9add 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -100,6 +100,7 @@ struct SynthXilinxPass : public Pass {
 		log("\n");
 		log("    check:\n");
 		log("        hierarchy -check\n");
+		log("        stat\n");
 		log("        check -noinit\n");
 		log("\n");
 		log("    edif:\n");
@@ -202,6 +203,7 @@ struct SynthXilinxPass : public Pass {
 		if (check_label(active, run_from, run_to, "check"))
 		{
 			Pass::call(design, "hierarchy -check");
+			Pass::call(design, "stat");
 			Pass::call(design, "check -noinit");
 		}