From 4d34d031f9c0b62cc4f669114c60ecdfdc555274 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 15 Feb 2015 13:25:15 +0100 Subject: Added "stat" to "synth" and "synth_xilinx" --- techlibs/common/synth.cc | 2 ++ techlibs/xilinx/synth_xilinx.cc | 2 ++ 2 files changed, 4 insertions(+) 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"); } -- cgit v1.2.3