Icarus
Verilog is an open source software package for designing, verifying, simulating, and synthesizing digital logic circuits. It is a free Verilog compiler that supports the IEEE-1364 Verilog HDL standard and provides a wide range of features, making it a powerful tool for designing complex digital logic circuits.
Icarus Verilog is designed to be easy to use and understand. It is written in the C programming language and runs on most popular platforms, including Linux, Windows, and Mac OS X. It has a wide range of features, including:
• A sophisticated Verilog parser that supports the IEEE-1364 Verilog HDL standard
• Support for the SystemVerilog IEEE 1800-2009 standard
• Support for Advanced Verification Methodology (AVM)
• Synthesis support for Xilinx and Altera FPGAs
• Support for digital design, including RTL, gate-level, and behavioural modelling
• Support for simulation, including VCD and FST trace files
• Support for design verification, including assertion-based verification (ABV)
• Built-in testbench generation and debugging
• Support for automated design rule checking (DRC)
• Support for SDF annotations
• Support for VHDL, including VHDL-2008
• Support for Verilog-AMS
• Support for PLI/VPI
• Support for the Verilator Verilog simulation tool
• Support for the Verilator trace format
• Support for OpenVera and e language
• Support for graphical
waveform viewers
• Support for source code documentation tools
• Support for source code version control systems
• Support for scripting languages
• Support for various hardware description languages (HDLs)
• Support for various design automation tools
• Support for various design automation languages (DALs)
• Support for various synthesis tools
• Support for various verification tools
• Support for various design entry methods
• Support for various design optimization techniques
• Support for various design entry languages (DELs)
• Support for various synthesis languages (SELs)
• Support for various verification languages (VELs)
• Support for various languages for testbench creation
• Support for various GUI tools
• Support for various code coverage tools
• Support for various formal verification tools
• Support for various debuggers
• Support for various emulators
• Support for various target architectures
• Support for various input/output formats
• Support for various verification languages
Icarus Verilog allows users to quickly and easily simulate their designs, providing fast feedback on their designs.