diff options
Diffstat (limited to 'techlibs/xilinx')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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"); } |