Project

General

Profile

Installation Guide » History » Version 13

Sergey Smolov, 01/05/2015 10:06 PM

1 1 Alexander Kamkin
h1. Installation Guide
2
3 4 Alexander Kamkin
{{toc}}
4
5 1 Alexander Kamkin
h2. Eclipse IDE Installation
6
7 5 Alexander Kamkin
The "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide is implemented as an "Eclipse IDE":http://www.eclipse.org plugin. Thus, "Eclipse IDE":http://www.eclipse.org is the first thing you need to install (except "JDK":http://www.oracle.com/technetwork/java/javase/downloads/index.html):
8 1 Alexander Kamkin
9 6 Alexander Kamkin
# Download the "Eclipse IDE":http://www.eclipse.org package (Kepler or Luna) from http://www.eclipse.org and unpack it.
10 5 Alexander Kamkin
11 1 Alexander Kamkin
h2. Solver Installation
12
13 8 Alexander Kamkin
The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses the "Z3":http://z3.codeplex.com solver to perform analysis of HDL descriptions (e.g., to extract EFSM models). To install "Z3":http://z3.codeplex.com and make "Retrascope":http://forge.ispras.ru/projects/retrascope able to work with it, perform the following steps:
14 1 Alexander Kamkin
15 5 Alexander Kamkin
# Download the "Z3":http://z3.codeplex.com package from http://z3.codeplex.com and unpack it.
16 1 Alexander Kamkin
# Specify the @SMT_SOLVER_PATH@ environment variable (it should point to the Z3 executable file).
17 2 Alexander Kamkin
18
h2. Zest Installation
19
20 8 Alexander Kamkin
Some of the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide engines depends on the "Zest":http://eclipse.org/gef/zest/ framework (e.g., it is used to visualize CFG and EFSM models). It is recommended to install it before working with the environment:
21 2 Alexander Kamkin
22 7 Alexander Kamkin
# Click the @Help/Install New Software...@ menu item.
23 9 Alexander Kamkin
# Choose a repository from the @Work with...@ list (e.g., @http://download.eclipse.org/releases/luna/201409261001@).
24 7 Alexander Kamkin
# Select the @Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK@ tree item.
25
# Push the @Next@ button a number of times.
26
# Push the @Finish@ button.
27 1 Alexander Kamkin
28 2 Alexander Kamkin
h2. Veditor Installation
29
30 10 Alexander Kamkin
"Veditor":http://sourceforge.net/projects/veditor is an "Eclipse IDE":http://www.eclipse.org plugin implementing Verilog and VHDL code viewers and editors. To install "Veditor":http://sourceforge.net/projects/veditor, do the following:
31
32 7 Alexander Kamkin
# Download the @net.sourceforge.veditor_*.jar@ file from http://sourceforge.net/projects/veditor.
33
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
34 11 Alexander Kamkin
35
h2. Retrascope IDE Installation
36
37
Finally, install the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin:
38
39 12 Alexander Kamkin
# Download the @ru.ispras.retrascope.ide*.jar@ file from http://forge.ispras.ru/projects/retrascope-ide/files.
40 11 Alexander Kamkin
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
41 13 Sergey Smolov
# Set @ZAMIA_LOCKING@ system variable to @true@ value (it is needed for VHDL designs elaboration).
42
# Restart the "Eclipse IDE":http://www.eclipse.org.