mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

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

Browse source
This commit is contained in:
Clifford Wolf 2015-02-15 13:25:15 +01:00
parent 881dcd8af9
commit 4d34d031f9
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
techlibs/common/synth.cc
View file

@ -96,6 +96,7 @@ struct SynthPass : public Pass {
log("\n"); log("\n");
log(" check:\n"); log(" check:\n");
log(" hierarchy -check\n"); log(" hierarchy -check\n");
log(" stat\n");
log(" check\n"); log(" check\n");
log("\n"); log("\n");
} }
@ -186,6 +187,7 @@ struct SynthPass : public Pass {
if (check_label(active, run_from, run_to, "check")) if (check_label(active, run_from, run_to, "check"))
{ {
Pass::call(design, "hierarchy -check"); Pass::call(design, "hierarchy -check");
Pass::call(design, "stat");
Pass::call(design, "check"); Pass::call(design, "check");
} }

2
techlibs/xilinx/synth_xilinx.cc
View file

@ -100,6 +100,7 @@ struct SynthXilinxPass : public Pass {
log("\n"); log("\n");
log(" check:\n"); log(" check:\n");
log(" hierarchy -check\n"); log(" hierarchy -check\n");
log(" stat\n");
log(" check -noinit\n"); log(" check -noinit\n");
log("\n"); log("\n");
log(" edif:\n"); log(" edif:\n");
@ -202,6 +203,7 @@ struct SynthXilinxPass : public Pass {
if (check_label(active, run_from, run_to, "check")) if (check_label(active, run_from, run_to, "check"))
{ {
Pass::call(design, "hierarchy -check"); Pass::call(design, "hierarchy -check");
Pass::call(design, "stat");
Pass::call(design, "check -noinit"); Pass::call(design, "check -noinit");
} }