Wiki » History » Version 20
Alexander Kamkin, 05/04/2011 05:08 PM
| 1 | 20 | Alexander Kamkin | h1. How to Install VeriTool |
|---|---|---|---|
| 2 | 4 | Alexander Kamkin | |
| 3 | 19 | Alexander Kamkin | h2. Install Icarus Verilog: |
| 4 | 9 | Alexander Kamkin | |
| 5 | 18 | Alexander Kamkin | * Download and unpack on of the releases available "here":ftp://icarus.com/pub/eda/verilog/v0.9/. |
| 6 | 19 | Alexander Kamkin | * Go inside the directory and configure the package: @configure --prefix=<ICARUS-INSTALLATION-DIRECTORY>@. |
| 7 | 18 | Alexander Kamkin | * Compile and install the package: @make all install@. |
| 8 | 19 | Alexander Kamkin | * Set the home variable: @export ICARUS_HOME=<ICARUS-INSTALLATION-DIRECTORY>@. |
| 9 | 1 | Alexander Kamkin | |
| 10 | 19 | Alexander Kamkin | h2. Install VeriTool: |
| 11 | 17 | Alexander Kamkin | |
| 12 | 18 | Alexander Kamkin | * Download and unpack on of the releases available "here":http://forge.ispras.ru/projects/veritool/files. |
| 13 | 19 | Alexander Kamkin | * Go inside the directory and configure the package: @sh configure --prefix=<VERITOOL-INSTALLATION-DIRECTORY>@. |
| 14 | 18 | Alexander Kamkin | * Compile and install the package: @make all install@. |
| 15 | 19 | Alexander Kamkin | * Add @<VERITOOL-INSTALLATION-DIRECTORY>/bin@ to @PATH@. |
| 16 | 18 | Alexander Kamkin | |
| 17 | 20 | Alexander Kamkin | h1. How to Run VeriTool |
| 18 | 18 | Alexander Kamkin | |
| 19 | 20 | Alexander Kamkin | * Install VeriTool. |
| 20 | 18 | Alexander Kamkin | * Run @veritool --help@. |