Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc

This commit is contained in:
Eddie Hung 2019-06-20 16:45:09 -07:00
parent 9faab38e8d
commit d1dadfcec8
1 changed files with 1 additions and 0 deletions

View File

@ -299,6 +299,7 @@ struct SynthXilinxPass : public ScriptPass
}
if (check_label("map_luts")) {
run("opt_expr -mux_undef");
if (abc == "abc9")
run(abc + " -lut +/xilinx/abc_xc7.lut -box +/xilinx/abc_xc7.box -W " + XC7_WIRE_DELAY + string(retime ? " -dff" : ""));
else if (help_mode)