mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-12 14:11:00 +00:00
Code Activity

abc9: tolerate ABC nonzero exit code if output.aig; write before &mfs

Browse source 
Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs
result
This commit is contained in:
Eddie Hung 2020-04-20 11:26:11 -07:00
parent a998a4155d
commit 3d7b983351
3 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
techlibs/xilinx/synth_xilinx.cc
View file

@ -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";