Installation¶

Install Icarus Verilog:

• Download and unpack on of the Icarus Verilog releases available here.
• Go inside the directory and configure the package: configure --prefix=*ICARUS_INSTALLATION_DIRECTORY*.
• Compile the package: make all install.
• Set the home variable: export ICARUS_HOME=installaction_directory.

Install VeriTool:

• Download and unpack on of the releases available here:http://forge.ispras.ru/projects/veritool/files.
• Run sh configure --prefix=veritool_installation_directory.
• Run make all install.
• Add veritool_installation_directory/bin to PATH.