ABC: System for Sequential Logic Synthesis and Formal Verification
Icarus Verilog
Yosys Open SYnthesis Suite