 Icarus Verilog is available for Linux, FreeBSD, OpenSolaris, AIX, Microsoft Windows, and .Released under the GNU General Public License, Icarus Verilog is free software.As of release 0.9, Icarus is composed of a Verilog compiler (including a Verilog preprocessor) with support for plug-in backends, and a virtual machine that simulates the design.