Package verilator

A fast simulator for synthesizable Verilog

http://www.veripool.com/verilator.html

Verilator is the fastest free Verilog HDL simulator. It compiles
synthesizable Verilog, plus some PSL, SystemVerilog and Synthesis
assertions into C++ or SystemC code. It is designed for large projects
where fast simulation performance is of primary concern, and is
especially well suited to create executable models of CPUs for
embedded software design teams.

General Commands
Command Description
verilator Convert Verilog code to C++/SystemC
verilator_coverage Verilator coverage analyzer
verilator_profcfunc Read gprof report created with --profile-cfuncs