Installation Guide¶

1. Download and install JDK 1.7.

2. Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use Z3.

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.

4. Set either the system property nuxmv.path or the environment variable NUXMV_PATH to a full path to a NuXMV-solver executable file in order to run solver-dependent tasks.

5. For VHDL designs elaboration:
a) Set ZAMIA_LOCKING system environment variable to true.
b) Download and install Python interpreter.

6. Use the HDL Retrascope through it''s Command Line Options.