diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-20 11:26:11 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-04-20 11:26:11 -0700 |
| commit | 3d7b98335150bc5ffe58e312ea4433311af8b111 (patch) | |
| tree | 952505f663a563e9f35651081558a9e551723ad6 /techlibs/xilinx | |
| parent | a998a4155d0e8a109bae80c3be24ed8465378b46 (diff) | |
| download | yosys-3d7b98335150bc5ffe58e312ea4433311af8b111.tar.gz yosys-3d7b98335150bc5ffe58e312ea4433311af8b111.tar.bz2 yosys-3d7b98335150bc5ffe58e312ea4433311af8b111.zip | |
abc9: tolerate ABC nonzero exit code if output.aig; write before &mfs
Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs
result
Diffstat (limited to 'techlibs/xilinx')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index eb9fa1e82..1c190d37e 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -613,8 +613,6 @@ struct SynthXilinxPass : public ScriptPass if (family != "xc7") log_warning("'synth_xilinx -abc9' not currently supported for the '%s' family, " "will use timing for 'xc7' instead.\n", family.c_str()); - if (!help_mode && !active_design->scratchpad.count("abc9.nomfs")) - active_design->scratchpad_set_bool("abc9.nomfs", true); std::string techmap_args = "-map +/xilinx/abc9_map.v -max_iter 1"; if (dff_mode) techmap_args += " -D DFF_MODE"; |