read_verilog -DCONST_ASSIGN top.v
synth_ice40 -json test3.json