Installation Guide » History » Revision 10
Revision 9 (Mikhail Lebedev, 11/09/2015 03:02 PM) → Revision 10/63 (Mikhail Lebedev, 11/09/2015 03:08 PM)
h1. Installation Guide # 1. Download and install "JDK 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html. # 2. Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use "Z3":http://z3.codeplex.com/. # 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. # Download and install "NuXMV":https://es-static.fbk.eu/tools/nuxmv/index.php?n=Download.Download model checker. # 4. Set either the system property @nuxmv.path@ or the environment variable @NUXMV_PATH@ to a full path to a NuXMV NuXMV-solver executable file in order to run checker-dependent solver-dependent tasks. # 5. For VHDL designs elaboration: a) Set @ZAMIA_LOCKING@ system environment variable to @true@. b) Download and install "Python interpreter":http://https://www.python.org. # 6. 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.