Actions
Installation Guide » History » Revision 14
« Previous |
Revision 14/63
(diff)
| Next »
Sergey Smolov, 10/06/2017 03:59 PM
Installation Guide¶
- Download and install JDK 1.7.
- Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use Z3 4.3.
- Set either the system property
smt.solver.path
or the environment variableSMT_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 model checker.
- Set either the system property
nuxmv.path
or the environment variableNUXMV_PATH
to a full path to a NuXMV executable file in order to run checker-dependent tasks. - For VHDL designs elaboration:
a) SetZAMIA_LOCKING
system environment variable totrue
.
b) Download and install Python interpreter. - Download, unpack and use the tool through it''s Command Line Options.
Updated by Sergey Smolov about 7 years ago · 63 revisions