Mentor Graphics has announced the latest member of the ModelSim family - ModelSim DE. DE offers full PE functionality plus PSL & System Verilog assertions, Code Coverage, Enhanced Dataflow, Waveform Compare, and support for Xilinx SecureIP as standard.
ModelSim DE is available for both Windows and Linux platforms. Full details