ModelSim by Altera Corporation is a well-known HDL simulation tool for VHDL, Verilog and SystemC languages. Unfortunately, there is no official version of ModelSim for Mac available on the market, so you will have to use other programs that can do this job. Here are a few alternatives to ModelSim for Mac.
Feel free to add any alternative to ModelSim for Mac that you know of.
Suggest Alternatives
Modelsim is NOT by Altera (which is now Intel) but by Siemens EDA (formerly Mentor Graphics) There however used to be a feature reduced Altera edition for simulating their FPGAs.