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-INSTALLATION-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¶

• Install VeriTool.
• Run veritool --help.