aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/ecp5/synth_ecp5.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-07-10 12:47:48 -0700
committerEddie Hung <eddie@fpgeh.com>2019-07-10 12:47:48 -0700
commit6bbd286e033ed25bb49684316a86d6227dec4cd7 (patch)
treed4355edb77f527d11eaef20b7e6e00c0c56a50e4 /techlibs/ecp5/synth_ecp5.cc
parent27b27b8781ab8d57aa85a432aba7e914570feffb (diff)
downloadyosys-6bbd286e033ed25bb49684316a86d6227dec4cd7.tar.gz
yosys-6bbd286e033ed25bb49684316a86d6227dec4cd7.tar.bz2
yosys-6bbd286e033ed25bb49684316a86d6227dec4cd7.zip
Error out if -abc9 and -retime specified
Diffstat (limited to 'techlibs/ecp5/synth_ecp5.cc')
-rw-r--r--techlibs/ecp5/synth_ecp5.cc3
1 files changed, 3 insertions, 0 deletions
diff --git a/techlibs/ecp5/synth_ecp5.cc b/techlibs/ecp5/synth_ecp5.cc
index 3b0c2ea9e..9f409ca51 100644
--- a/techlibs/ecp5/synth_ecp5.cc
+++ b/techlibs/ecp5/synth_ecp5.cc
@@ -199,6 +199,9 @@ struct SynthEcp5Pass : public ScriptPass
if (!design->full_selection())
log_cmd_error("This command only operates on fully selected designs!\n");
+ if (abc9 && retime)
+ log_cmd_error("-retime option not currently compatible with -abc9!\n");
+
log_header(design, "Executing SYNTH_ECP5 pass.\n");
log_push();