Project

General

Profile

Installation Guide » History » Version 21

Sergey Smolov, 07/26/2019 12:56 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 17 Sergey Smolov
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 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html):
8 1 Alexander Kamkin
9 15 Sergey Smolov
# Download the "Eclipse IDE":http://www.eclipse.org package (Luna) from http://www.eclipse.org and unpack it.
10 5 Alexander Kamkin
11 1 Alexander Kamkin
h2. Solver Installation
12
13 21 Sergey Smolov
The Retrascope core uses 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:
14 1 Alexander Kamkin
15 19 Sergey Smolov
# Download the "Z3":https://github.com/Z3Prover/z3/releases package 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 18 Sergey Smolov
h2. Model checker Installation
19
20
The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses the "NuXMV":https://nuxmv.fbk.eu model checker to generate functional tests for HDL descriptions. To install "NuXMV":https://nuxmv.fbk.eu and make "Retrascope":http://forge.ispras.ru/projects/retrascope able to work with it, perform the following steps:
21
22
# Download the "NuXMV":https://nuxmv.fbk.eu package from https://nuxmv.fbk.eu and unpack it.
23
# Specify the @NUXMV_PATH@ environment variable (it should point to the NuXMV executable file).
24
25
26 2 Alexander Kamkin
h2. Zest Installation
27
28 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:
29 2 Alexander Kamkin
30 7 Alexander Kamkin
# Click the @Help/Install New Software...@ menu item.
31 9 Alexander Kamkin
# Choose a repository from the @Work with...@ list (e.g., @http://download.eclipse.org/releases/luna/201409261001@).
32 7 Alexander Kamkin
# Select the @Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK@ tree item.
33
# Push the @Next@ button a number of times.
34
# Push the @Finish@ button.
35 1 Alexander Kamkin
36 2 Alexander Kamkin
h2. Veditor Installation
37
38 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:
39
40 7 Alexander Kamkin
# Download the @net.sourceforge.veditor_*.jar@ file from http://sourceforge.net/projects/veditor.
41
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
42 11 Alexander Kamkin
43
h2. Retrascope IDE Installation
44
45
Finally, install the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin:
46
47 12 Alexander Kamkin
# Download the @ru.ispras.retrascope.ide*.jar@ file from http://forge.ispras.ru/projects/retrascope-ide/files.
48 11 Alexander Kamkin
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
49 13 Sergey Smolov
# Set @ZAMIA_LOCKING@ system variable to @true@ value (it is needed for VHDL designs elaboration).
50 14 Sergey Smolov
# Download and install "Python interpreter":http://https://www.python.org (it is needed for VHDL designs elaboration).
51 13 Sergey Smolov
# Restart the "Eclipse IDE":http://www.eclipse.org.