I'm looking for an open source verilog synthesizer. I am using Icarus Verilog as a verilog simulator. Originally I was going to use it for both simulation and synthesis, but found out the tool no longer supports synthesis. I have found the gEDA website and I have looked around there, but was not able to find a replacement synthesizer.
I am doing this because I have a Papilio FPGA dev board and want to start to use verilog with it.
Also, if you could shed some light on the process from going from Verilog to FPGA that would be great. I feel as though there are more steps in the process from going from Verilog to FPGA than just simulation and then synthesis.