f4pga/wrappers/tcl/ice40.nextpnr.f4pga.tcl - symbiflow-docs - Git at Google

 yosys -import

 synth_ice40 -nocarry

 opt_expr -undriven
 opt_clean

 attrmap -remove hdlname
 setundef -zero -params

 write_json $::env(OUT_JSON)
 #write_verilog $::env(OUT_SYNTH_V)
	yosys -import

	synth_ice40 -nocarry

	opt_expr -undriven
	opt_clean

	attrmap -remove hdlname
	setundef -zero -params

	write_json $::env(OUT_JSON)
	#write_verilog $::env(OUT_SYNTH_V)