Installation Guide¶

The HDL Retrascope can be used in two following ways: through it''s Command Line Options or through the HDL Retrascope IDE plugin for Eclipse IDE.

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.

1. Set ZAMIA_LOCKING system environment variable to true.
2. Download and install Python interpreter.

For constraints solving we recommend to use Z3 SMT-solver.