summaryrefslogtreecommitdiff
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 02207593..836ba9ad 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");
}