read_verilog ../top.v
tee -o result.log synth_ice40 -top top
tee -o result.log write_blif test.blif