Icarus Verilog is a GPL'ed Verilog simulator. Icarus implements the Verilog language according to the IEEE 1364-2001 standard. Most language features are supported, including VPI to interface with modules written in "C". Icarus has been used successfully to simulate the OpenRisc processor.
To learn more about Icarus, read documentation, and find examples check this:
This page provides a shrink-wrapped distribution as a ready-to-use installer for Mac OS X. To Download the Icarus installer, go to the SourceForge project page:
Icarus requires Apple's free Developer Tools to be installed. The latest Developer Tools may be downloaded via the Apple Developer Connection:
The GNU Public License is the key to free software. To learn more about the goals and licenses of the Free Software Foundation see here: