How to run Verilog on a Mac with Open Source Tools