diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-02-15 13:25:15 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-02-15 13:25:15 +0100 |
commit | 4d34d031f9c0b62cc4f669114c60ecdfdc555274 (patch) | |
tree | fce9f46285295d5245ee08c90292c8c7e8654320 | |
parent | 881dcd8af988664b92a85daa5d82e90b1df29b51 (diff) | |
download | yosys-4d34d031f9c0b62cc4f669114c60ecdfdc555274.tar.gz yosys-4d34d031f9c0b62cc4f669114c60ecdfdc555274.tar.bz2 yosys-4d34d031f9c0b62cc4f669114c60ecdfdc555274.zip |
Added "stat" to "synth" and "synth_xilinx"
-rw-r--r-- | techlibs/common/synth.cc | 2 | ||||
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
2 files changed, 4 insertions, 0 deletions
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"); } |