Installation Guide¶

Eclipse IDE Installation¶

Zest Installation¶

Veditor Installation¶

Solver Installation¶

The Retrascope core uses the Z3 solver to perform analysis of HDL descriptions. To install Z3 and make Retrascope able to work with it, perform the following steps:

1. Download the Z3 package from http://z3.codeplex.com and unpack it.
2. Specify the SMT_SOLVER_PATH environment variable (it should point to the Z3 executable file).