Installation¶

• Install Icarus Verilog:

• Download and unpack on of the releases available here:ftp://icarus.com/pub/eda/verilog/v0.9/.
• Run sh configure --prefix=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.