I strongly recommend Veritak:

www.sugawara-systems.com

it works for me for 100K+ designs and the GUI is friendly and very
stable.

Veritak is $50 and right now it is 1/2 the speed of ModelSim PE (their
entry-level paid version). You can try Veritak for free for two weeks
and after that you need to buy the license.