read_verilog top.v
synth_ice40 -json top.json