How to install VeriTool¶

Install Icarus Verilog:

• Download and unpack on of the releases available here.
• Go inside the directory and configure the package: configure --prefix=<icarus-installation-directory>.
• Compile and install the package: make all install.
• Set the home variable: export ICARUS_HOME=<icarus-installaction-directory>.

Install VeriTool:

• Download and unpack on of the releases available here.
• Go inside the directory and configure the package: sh configure --prefix=<veritool-installation-directory>.
• Compile and install the package: make all install.
• Add <veritool-installation-directory>/bin to PATH.

How to run VeriTool¶

• Run veritool --help.