Installation Guide » History » Revision 7
Revision 6 (Sergey Smolov, 03/06/2015 10:51 AM) → Revision 7/63 (Sergey Smolov, 03/06/2015 06:17 PM)
h1. Installation Guide 1. Download and install For "HDL Retrascope":http://forge.ispras.ru/projects/retrascope working with the "JDK 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html. 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html should be istalled first. 2. Download and install SMT-solver, that accepts SMT-LIB constraints. We recommend to use "Z3":http://z3.codeplex.com/. The "HDL Retrascope":http://forge.ispras.ru/projects/retrascope can be used in two following ways: through it''s "Command Line Options":http://forge.ispras.ru/projects/retrascope/wiki/Command_Line_Options/edit or through the "HDL Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin for "Eclipse IDE":http://eclipse.org. 3. Set For both ways either the system property @smt.solver.path@ or the environment variable @SMT_SOLVER_PATH@to @SMT_SOLVER_PATH@ must be set to a full path to a SMT-solver solver executable file in order to run solver-dependent tasks. If the both are set, a value of fortress.solver.path will be is used. 4. For VHDL designs elaboration: a) # Set @ZAMIA_LOCKING@ system environment variable to @true@. b) # Download and install "Python interpreter":http://https://www.python.org. 5. 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. For constraints solving we recommend to use "Z3 SMT-solver":http://z3.codeplex.com/.