Installation¶

Install Icarus Verilog:

• Download and unpack on of the Icarus Verilog releases available here.
• Go inside the directory and run sh configure --prefix= ICARUS_INSTALLATION_DIRECTORY.
• Run make all install.
• Set ICARUS_HOME: 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.