Wiki » History » Revision 20
Revision 19 (Alexander Kamkin, 05/04/2011 05:07 PM) → Revision 20/24 (Alexander Kamkin, 05/04/2011 05:08 PM)
h1. How to Install 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>@. * Compile and install the package: @make all install@. * Set the home variable: @export ICARUS_HOME=<ICARUS-INSTALLATION-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>@. * Compile and install the package: @make all install@. * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. h1. How to Run run VeriTool * Install VeriTool. * Run @veritool --help@.