ModelSim-Altera vs. ModelSim DE Plus: Help choosing a simulator

Pete,

Hi, thank you very much for your comments. In our small qroup we basically use Altera FPGA's and simple simulations. I've read Spear's book, "SystemVerilog for Verification" and was excited about improving my verfication and testing skills and wanted to learn and use Assertions. But, the cost of the tool to support Assertions is beyond our budget. I would like to move beyond just looking at my waveforms during my verification/ testing phase but I guess I'm stuck with Modelsim-ASE or Modelsim-AE. Quick question, do you know if ModelSim-Altera has Code Coverage?

Thanks,

joe