Project

General

Profile

Installation Guide » History » Revision 3

Revision 2 (Sergey Smolov, 01/05/2015 10:03 PM) → Revision 3/63 (Sergey Smolov, 01/05/2015 10:37 PM)

h1. Installation Guide 

 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. 

 For both ways either the system property @smt.solver.path@ or the environment variable @SMT_SOLVER_PATH@ must be set to a full path to a solver executable file in order to run solver-dependent tasks. If the both are set, a value of fortress.solver.path is used. 

 
 For VHDL designs elaboration: 
 # Set elaboration the @ZAMIA_LOCKING@ system environment variable must be set to @true@. 
 # # Download and install "Python interpreter":http://https://www.python.org. @true@ value. 

 For constraints solving we recommend to use "Z3 SMT-solver":http://z3.codeplex.com/.