Wiki » History » Revision 19
Revision 18 (Alexander Kamkin, 05/04/2011 05:05 PM) → Revision 19/24 (Alexander Kamkin, 05/04/2011 05:07 PM)
h1. How to install VeriTool h2. Install Icarus Verilog: * Download and unpack on of the releases available "here":ftp://icarus.com/pub/eda/verilog/v0.9/. * Go inside the directory and configure the package: @configure --prefix=<ICARUS-INSTALLATION-DIRECTORY>@. --prefix=<icarus-installation-directory>@. * Compile and install the package: @make all install@. * Set the home variable: @export ICARUS_HOME=<ICARUS-INSTALLATION-DIRECTORY>@. ICARUS_HOME=<icarus-installaction-directory>@. h2. Install VeriTool: * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. --prefix=<veritool-installation-directory>@. * Compile and install the package: @make all install@. * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ @<veritool-installation-directory>/bin@ to @PATH@. h1. How to run VeriTool * Run @veritool --help@.