The Green Mountain VHDL Compiler, Professional Edition for Linux was designed to handle both behavioral and post-route VHDL simulation. The compiler includes full support for VITAL models and SDF backannotation for post-route timing simulation. The X11 based simulation environment important debugging features such as waveform display and source-level debugging with single stepping and breakpoints. Simulation performance is enhanced by native 32 bit native compilation and automatic optimization of VITAL components for post-route simulations.
Take a look at the product literature for details.