It follows the 1995 IEEE P1364 standard LRM with some features from Verilog 2000 P1364 standard.

Cver : Cver is an interpreted Verilog simulator.

All my tutorials are compiled on this compiler. Icarus is being used for real design work by companies now as a simulator, and is starting to be useful as a synthesizer for a Xilinx FPGA flow as well. Icarus continues to get better and better. This intermediate form is executed by the ``vvp'' command. For batch simulation, the compiler can generate an intermediate form called vvp assembly. It operates as a compiler, compiling source code written in Verilog (IEEE-1364) into some target format.

Icarus Verilog : This is best Free Verilog simulator out there, it is simulation and synthesis tool.

You can try Veritak for free for two weeks. If you are looking for fast verilog HDL simulator with very good GUI for professional use, while keeping extremely inexpensive price, this is it. It is integral environment including VHDL to Verilog translator, syntax highlight editor (Veripad), class hierarchy viewer ,multiple waveform viewer ,source analyzer,and more -available for Windows XP/2000.

Veritak : Verilog HDL Compiler/Simulator supporting major Verilog 2001 HDL features.

Silos : I don't know if anyone is using this, Use be fast and stable.

Smash : mixed signal (spice), Verilog, VHDL simulator.

Modelsim : This is most popular simulator, It has got very good debugger, it supports SystemC, Verilog, VHDL and SystemVerilog.A $100 version is available, but I wonder what good this can do to Students ? This is compiled simulator like VCS and NCVerilog, but slower then VCS and NCVerilog. Finsim : This is 100% compatible simulator with Verilog-XL, runs on Linux, Windows and Solaris.You can even use it to replace your existing Modelsim/VCS/NCverilog licenses. I could not verify the SV testbench support, other than that everything else looks same as Modelsim. Aldec : This simulator from Aldec supports VHDL, Verilog, SystemC, SystemVerilog, PSL.Personally I have seen this simulator to be faster then NCsim, it comes with build in Vera support. MPSim : Axiom's MPSim is an integrated verification environment combining the fastest simulator in the industry with advanced testbench automation, assertion-based verification, debugging, and coverage analysis.Few more things about this simulator are direct C kernel interface, Covermeter code coverage embedded, better integration with VERA and other Synopsys tools. This simulator is faster when it comes to RTL simulation.

VCS : This is worlds fastest simulator, this is also a compiled simulator like NCverilog.This simulator is good when it comes to gate level simulations. NCVerilog : This is the compiled simulator which works as fast as VCS, and still maintains the sign off capabilities of Verilog-XL.

Vcd waveform viewer for mac