Is there a way to develop some Verilog designs on mac?
You might try verilator if icarus verilog doesnt work for you. Or perhaps even if it does.
Going with what @Sergio Campama and @jpc mentioned, consider virtualization. If you wish to avoid Windows, various vendors including Model Sim support Linux. RHEL 5 is the most commonly supported one.