Project

General

Profile

Actions

Wiki » History » Revision 18

« Previous | Revision 18/24 (diff) | Next »
Alexander Kamkin, 05/04/2011 05:05 PM


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.

Updated by Alexander Kamkin almost 13 years ago · 18 revisions