read_verilog blinky.v
read_verilog -lib +/ice40/cells_sim.v
synth -top blinky
abc -lut 4
techmap -map blinky_map.v
splitnets
opt_clean
stat
write_json blinky.json