summaryrefslogtreecommitdiff
path: root/techlibs/common/synth.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-02-13 14:34:51 +0100
committerClifford Wolf <clifford@clifford.at>2015-02-13 14:34:51 +0100
commit04cb947d6a35b3773e694651971f28cbf83952e9 (patch)
tree368761c1738878d40cb171a024f065f768b89b13 /techlibs/common/synth.cc
parentcd919abdf1177ddd5148fbf236201ce5e649ead0 (diff)
Added "check" command
Diffstat (limited to 'techlibs/common/synth.cc')
-rw-r--r--techlibs/common/synth.cc4
1 files changed, 4 insertions, 0 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index 69ef5bc5..a50db53e 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -71,6 +71,8 @@ struct SynthPass : public Pass {
log("\n");
log(" coarse:\n");
log(" proc\n");
+ log(" opt_clean\n");
+ log(" check\n");
log(" opt\n");
log(" wreduce\n");
log(" alumacc\n");
@@ -150,6 +152,8 @@ struct SynthPass : public Pass {
if (check_label(active, run_from, run_to, "coarse"))
{
Pass::call(design, "proc");
+ Pass::call(design, "opt_clean");
+ Pass::call(design, "check");
Pass::call(design, "opt");
Pass::call(design, "wreduce");
Pass::call(design, "alumacc");