read_verilog ../../picorv32.v
synth_ice40 -top picorv32