User Guide

This is the user guide: a collection of articles on how to
use Icarus Verilog effectively. The two major parts cover
working with Icarus Verilog and Icarus Verilog details. The
first part contains articles that describe how and why
things work, and the second part contains more advanced
aspects of using Icarus Verilog. Although both sections
are written in prose with examples, the second section is
more detailed and presumes the basic understanding of
the first part.

This is a RTL level rule checker. It is developed as an IVL_TARGET of iVerilog. There are two releases of this. One that works with iVerilog 0.8.7 and the other which works with iVerilog 0.9.3. More details are available here

Cocotb uses VPI to embed the Python interpreter into the simulator and provides a Python library for accessing and assigning signal values, traversing the simulation heirarchy and writing regression tests. Documentation is available on cocotb.readthedocs.org