What to use for VHDL/digital-logic simulation on Mac OS X

I suddenly realized that there is no Altera Quartus or Xilins ISE or ModelSim on Mac OS X.

What do people use to at least simulate VHDL and schematic designs on Macs?