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.

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