Installation Guide¶

• Table of contents
• Installation Guide
  • Eclipse IDE Installation
  • Solver Installation
  • Zest Installation
  • Veditor Installation

Eclipse IDE Installation¶

1. TODO
2. TODO

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).

Zest Installation¶

Some of the Retrascope IDE engines depends on the Zest framework (e.g., it is used to visualize CFG and EFSM models). It is recommended to install it before working with the environment:

1. TODO
2. TODO

Veditor Installation¶

1. TODO
2. TODO