read_verilog ../../picorv32.v
synth_xilinx -top picorv32