Project

General

Profile

Installation Guide » History » Version 15

Sergey Smolov, 04/10/2018 12:55 PM

1 1 Sergey Smolov
h1. Installation Guide
2
3 15 Sergey Smolov
# Download and install "JDK 1.8":http://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html
4 12 Sergey Smolov
# Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use "Z3 4.3":https://github.com/Z3Prover/z3/releases/tag/z3-4.3.2.
5 10 Mikhail Lebedev
# 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.
6 13 Sergey Smolov
# Download and install "nuXmv":https://es-static.fbk.eu/tools/nuxmv/index.php?n=Download.Download model checker.
7 10 Mikhail Lebedev
# Set either the system property @nuxmv.path@ or the environment variable @NUXMV_PATH@ to a full path to a NuXMV executable file in order to run checker-dependent tasks.
8
# For VHDL designs elaboration:
9 1 Sergey Smolov
  a) Set @ZAMIA_LOCKING@ system environment variable to @true@.
10
  b) Download and install "Python interpreter":http://https://www.python.org. 
11 15 Sergey Smolov
# Download, unpack and use the tool through it's "Command Line Options":http://forge.ispras.ru/projects/retrascope/wiki/Command_Line_Options/edit.