yosys 0.9 FPGA Verilog RTL synthesizer

Yosys synthesizes Verilog-2005.