read_verilog ../top.v
tee -a result.log synth_ice40 -top inivalue