« Previous - Version 12/14 (diff) - Next » - Current version
Sergey Smolov, 10/06/2017 03:44 pm


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 4.3.
  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. Download and install NuXMV model checker.
  5. 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.
  6. For VHDL designs elaboration:
    a) Set ZAMIA_LOCKING system environment variable to true.
    b) Download and install Python interpreter.
  7. Use the Retrascope through it's Command Line Options.