Yosys

Framework for Verilog RTL synthesis. Available on Homebrew and apt.