aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/ecp5/synth_ecp5.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-07-10 14:38:13 -0700
committerGitHub <noreply@github.com>2019-07-10 14:38:13 -0700
commitbb2144ae733f1a2c5e629a8251bfbdcc15559aa4 (patch)
tree2ba1b5b6cc0df7d6dba956905ca39fcc7b22ea75 /techlibs/ecp5/synth_ecp5.cc
parent2f990a73192de15199c16c5c683228a97dc8ce2d (diff)
parent6bbd286e033ed25bb49684316a86d6227dec4cd7 (diff)
downloadyosys-bb2144ae733f1a2c5e629a8251bfbdcc15559aa4.tar.gz
yosys-bb2144ae733f1a2c5e629a8251bfbdcc15559aa4.tar.bz2
yosys-bb2144ae733f1a2c5e629a8251bfbdcc15559aa4.zip
Merge pull request #1180 from YosysHQ/eddie/no_abc9_retime
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();