diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 11:22:49 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 11:22:49 -0700 |
commit | 1237a4c11679685808a677593e261e21b950749a (patch) | |
tree | c2378a9890952e5a9ac6f3fda70609a577802df4 /techlibs | |
parent | 469f98b6bdd11696d4457f4bc4940d9a730e1f2b (diff) | |
download | yosys-1237a4c11679685808a677593e261e21b950749a.tar.gz yosys-1237a4c11679685808a677593e261e21b950749a.tar.bz2 yosys-1237a4c11679685808a677593e261e21b950749a.zip |
Add warning if synth_xilinx -abc9 with family != xc7
Diffstat (limited to 'techlibs')
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index fab070882..7dbd98055 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -302,6 +302,8 @@ struct SynthXilinxPass : public ScriptPass if (help_mode) run("abc -luts 2:2,3,6:5[,10,20] [-dff]", "(skip if 'nowidelut', only for '-retime')"); else if (abc9) { + if (family != "xc7") + log_warning("'synth_xilinx -abc9' currently supports '-family xc7' only.\n"); if (nowidelut) run("abc9 -lut +/xilinx/abc_xc7_nowide.lut -box +/xilinx/abc_xc7.box -W " + std::string(XC7_WIRE_DELAY) + string(retime ? " -dff" : "")); else |