Project

General

Profile

Installation Guide » History » Version 51

Sergey Smolov, 10/23/2019 11:05 AM

1 1 Alexander Kamkin
h1. Installation Guide
2
3
h2. Eclipse IDE Installation
4
5 28 Sergey Smolov
Retrascope IDE is implemented as an Eclipse IDE plugin. Thus, Eclipse IDE and JDK 1.8 are the first things you need to install:
6 1 Alexander Kamkin
7 23 Sergey Smolov
# Download "JDK 1.8":https://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html and install it.
8 38 Maxim Chudnov
# Download the "Eclipse IDE":https://www.eclipse.org/photon package (Photon) and install it.
9 19 Sergey Smolov
10 1 Alexander Kamkin
h2. Solver Installation
11 2 Alexander Kamkin
12 23 Sergey Smolov
Retrascope core uses Z3 constraint solver to perform analysis of HDL descriptions.
13 18 Sergey Smolov
14
# Download the "Z3":https://github.com/Z3Prover/z3/releases package and unpack it.
15 47 Maxim Chudnov
# Set the @SMT_SOLVER_PATH@ environment variable to the Z3 executable file (for example, "/home/user/tools/z3/z3" or "C:\tools\z3\bin\z3.exe").
16 39 Maxim Chudnov
17 1 Alexander Kamkin
h2. Model checker Installation
18 18 Sergey Smolov
19 35 Sergey Smolov
Retrascope core uses nuXmv model checker to generate functional tests for HDL descriptions.
20 18 Sergey Smolov
21 35 Sergey Smolov
# Download the "nuXmv":https://nuxmv.fbk.eu package and unpack it.
22 48 Maxim Chudnov
# Set the @NUXMV_PATH@ environment variable to the nuXmv executable file (for example, "/home/user/tools/nuxmv/nuXmv" or "C:\tools\nuxmv\nuXmv.exe").
23 8 Alexander Kamkin
24 2 Alexander Kamkin
h2. Zest Installation
25 7 Alexander Kamkin
26 29 Sergey Smolov
Some of the Retrascope IDE engines depend on Zest visualization framework (e.g., it is used to visualize CFG and EFSM models).
27 7 Alexander Kamkin
28
# Click the @Help/Install New Software...@ menu item.
29 50 Maxim Chudnov
# Choose a repository from the @Work with...@ list (e.g., @http://download.eclipse.org/releases/photon@).
30 7 Alexander Kamkin
# Select the @Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK@ tree item.
31 1 Alexander Kamkin
# Push the @Next@ button a number of times.
32 2 Alexander Kamkin
# Push the @Finish@ button.
33
34 32 Maxim Chudnov
h2. SVeditor Installation
35 1 Alexander Kamkin
36 32 Maxim Chudnov
SVeditor is an Eclipse IDE plugin that provides Verilog and VHDL code viewers and editors.
37 29 Sergey Smolov
38 32 Maxim Chudnov
# Run Eclipse
39
# Go to Help -> Eclipse Marketplace -> Search -> SVeditor -> Install("I agree...") -> Finish.
40 33 Sergey Smolov
# Restart Eclipse.
41 1 Alexander Kamkin
42 23 Sergey Smolov
h2. Configure your OS (for VHDL designs only!)
43
44
Retrascope uses "ZamiaCAD" framework for VHDL designs elaboration.
45
46
# Download and install "Python interpreter":http://https://www.python.org (it is needed for VHDL designs elaboration).
47
# Set @ZAMIA_LOCKING@ environment variable to @true@ value.
48
49 11 Alexander Kamkin
h2. Retrascope IDE Installation
50
51 12 Alexander Kamkin
Finally, install the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin:
52 11 Alexander Kamkin
53 25 Sergey Smolov
# Download the @ru.ispras.retrascope.ide*.jar@ file from "here":http://forge.ispras.ru/projects/retrascope-ide/files.
54 14 Sergey Smolov
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
55 13 Sergey Smolov
# Restart the "Eclipse IDE":http://www.eclipse.org.