Installation Guide¶

• Table of contents
• Installation Guide
  • Eclipse IDE Installation
  • Solver Installation
  • Model checker Installation
  • Zest Installation
  • Veditor Installation
  • Retrascope IDE Installation

Eclipse IDE Installation¶

The Retrascope IDE is implemented as an Eclipse IDE plugin. Thus, Eclipse IDE is the first thing you need to install (except JDK 1.7):

1. Download the Eclipse IDE package (Luna) from http://www.eclipse.org and unpack it.

Solver Installation¶

The Retrascope core uses the Z3 solver to perform analysis of HDL descriptions (e.g., to extract EFSM models). To install Z3 and make Retrascope able to work with it, perform the following steps:

1. Download the Z3 package and unpack it.
2. Specify the SMT_SOLVER_PATH environment variable (it should point to the Z3 executable file).

Model checker Installation¶

The Retrascope core uses the NuXMV model checker to generate functional tests for HDL descriptions. To install NuXMV and make Retrascope able to work with it, perform the following steps:

1. Download the NuXMV package from https://nuxmv.fbk.eu and unpack it.
2. Specify the NUXMV_PATH environment variable (it should point to the NuXMV 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. Click the Help/Install New Software... menu item.
2. Choose a repository from the Work with... list (e.g., http://download.eclipse.org/releases/luna/201409261001).
3. Select the Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK tree item.
4. Push the Next button a number of times.
5. Push the Finish button.

Veditor Installation¶

Veditor is an Eclipse IDE plugin implementing Verilog and VHDL code viewers and editors. To install Veditor, do the following:

1. Download the net.sourceforge.veditor_*.jar file from http://sourceforge.net/projects/veditor.
2. Copy the file to the <ECLIPSE_HOME>/plugins directory.

Retrascope IDE Installation¶

Finally, install the Retrascope IDE plugin:

1. Download the ru.ispras.retrascope.ide*.jar file from http://forge.ispras.ru/projects/retrascope-ide/files.
2. Copy the file to the <ECLIPSE_HOME>/plugins directory.
3. Set ZAMIA_LOCKING system variable to true value (it is needed for VHDL designs elaboration).
4. Download and install Python interpreter (it is needed for VHDL designs elaboration).
5. Restart the Eclipse IDE.