Verilog on Mac