yosys -import

synth_ice40 -nocarry

# opt_expr -undriven makes sure all nets are driven, if only by the $undef
# net.
opt_expr -undriven
opt_clean

setundef -zero -params
write_json $::env(OUT_JSON)
write_verilog $::env(OUT_SYNTH_V)

yosys -import

synth_ice40 -nocarry

# opt_expr -undriven makes sure all nets are driven, if only by the $undef
# net.
opt_expr -undriven
opt_clean

# TODO: remove this as soon as new VTR master+wip is pushed: https://github.com/SymbiFlow/vtr-verilog-to-routing/pull/525
attrmap -remove hdlname

setundef -zero -params
write_json $::env(OUT_JSON)
write_verilog $::env(OUT_SYNTH_V)

Remove hdlname from ice40 until VPR with blifparser updated is created.
Remove hdlname from ice40 until VPR with blifparser updated is created.

Signed-off-by: Keith Rothman <1bc19627a439baf17510dc2d0b2d250c96d445a5@users.noreply.github.com>
