Synopsys Design Compiler Free [portable] Download Link
It supports Verilog-2005 and features a robust framework for logic optimization.
Here is a detailed breakdown of why searching for a free download is a bad idea and what your alternatives are. Synopsys Design Compiler Free Download
Design Compiler is driven by Tcl scripting. Learning Tcl ( set_attribute , compile_ultra , etc.) makes you immediately valuable to employers, even if you haven't used the tool recently. It supports Verilog-2005 and features a robust framework