Wildebeest
Wildebeest is a high performance open source synthesis tool. Synthesizng RTL with Wildebeest is fast and easy:
plugin -i wildebeest
read_verilog picorv32.v
hierarchy -check -top picorv32
synth_fpga -partname z1010
You can learn more about Wildebeest and download the software via githhub.