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

diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index 56ab6eaff679d209f0d613df929b337a0c373a3e..c3e7288db5c23193ab1bff9f171cba144f5de1b5 100644 (file)
--- 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 02207593a2b9d0e571d58c22c4c5c4a21e91694f..836ba9add826323cb2e1c7db4ee80b5b42c9adfe 100644 (file)
--- 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");
                }