read_verilog test.v
synth_ice40 -json test.json