diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-13 14:34:51 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-13 14:34:51 +0100 |
| commit | 04cb947d6a35b3773e694651971f28cbf83952e9 (patch) | |
| tree | 368761c1738878d40cb171a024f065f768b89b13 /techlibs | |
| parent | cd919abdf1177ddd5148fbf236201ce5e649ead0 (diff) | |
| download | yosys-04cb947d6a35b3773e694651971f28cbf83952e9.tar.gz yosys-04cb947d6a35b3773e694651971f28cbf83952e9.tar.bz2 yosys-04cb947d6a35b3773e694651971f28cbf83952e9.zip | |
Added "check" command
Diffstat (limited to 'techlibs')
| -rw-r--r-- | techlibs/common/synth.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc index 69ef5bc55..a50db53ee 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"); |