Installation Guide » History » Version 7
Sergey Smolov, 03/06/2015 06:17 PM
| 1 | 1 | Sergey Smolov | h1. Installation Guide |
|---|---|---|---|
| 2 | |||
| 3 | 7 | Sergey Smolov | 1. Download and install "JDK 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html. |
| 4 | 5 | Sergey Smolov | |
| 5 | 7 | Sergey Smolov | 2. Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use "Z3":http://z3.codeplex.com/. |
| 6 | 1 | Sergey Smolov | |
| 7 | 7 | Sergey Smolov | 3. Set either the system property @smt.solver.path@ or the environment variable @SMT_SOLVER_PATH@to a full path to a SMT-solver executable file in order to run solver-dependent tasks. If the both are set, a value of fortress.solver.path will be used. |
| 8 | 3 | Sergey Smolov | |
| 9 | 7 | Sergey Smolov | 4. For VHDL designs elaboration: |
| 10 | a) Set @ZAMIA_LOCKING@ system environment variable to @true@. |
||
| 11 | b) Download and install "Python interpreter":http://https://www.python.org. |
||
| 12 | 1 | Sergey Smolov | |
| 13 | 7 | Sergey Smolov | 5. Use the "HDL Retrascope":http://forge.ispras.ru/projects/retrascope through it''s "Command Line Options":http://forge.ispras.ru/projects/retrascope/wiki/Command_Line_Options/edit. |