Installation Guide » History » Revision 23
Revision 22 (Sergey Smolov, 07/26/2019 12:57 PM) → Revision 23/52 (Sergey Smolov, 07/26/2019 01:11 PM)
h1. Installation Guide
{{toc}}
h2. Introduction
Several steps below require environment variable to be set in your OS. When you encounter such step in the guide, do the following (substitute NAME and VALUE by the name and value of your environment variable respectively):
h4. _Windows_
# Open the @System Properties@ window.
# Switch to the @Advanced@ tab.
# Click on Environment Variables.
# Click @New...@ under @System Variables@.
# In the @New System Variable@ dialog specify variable name as @NAME@ and variable value as @VALUE@.
# Click @OK@ on all open windows.
# Reopen the command prompt window.
h4. _Linux_
Add the command below to the @~.bash_profile@ file (Linux):
<pre>export NAME=VALUE</pre>
To start editing the file, type @vi ~/.bash_profile@. Changes will be applied after restarting the command-line terminal or reboot. You can also execute the command in your command-line terminal to make temporary changes.
h2. Eclipse IDE Installation
Retrascope IDE The "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide is implemented as an Eclipse IDE "Eclipse IDE":http://www.eclipse.org plugin. Thus, Eclipse IDE and "JDK 1.8" are "Eclipse IDE":http://www.eclipse.org is the first things thing you need to install: install (except "JDK 1.7":http://www.oracle.com/technetwork/java/javase/downloads/index.html):
# Download "JDK 1.8":https://www.oracle.com/technetwork/java/javase/downloads/jdk8-downloads-2133151.html and install it.
# Download the "Eclipse IDE":http://www.eclipse.org package (Luna) from http://www.eclipse.org and unpack it.
h2. Solver Installation
The Retrascope core uses Z3 constraint solver to perform analysis of HDL descriptions. descriptions (e.g., to extract EFSM models). To install Z3 and make Retrascope able to work with it, perform the following steps:
# Download the "Z3":https://github.com/Z3Prover/z3/releases package and unpack it.
# Set Specify the @SMT_SOLVER_PATH@ environment variable (it should point to the Z3 executable file. file).
h2. Model checker Installation
Retrascope The "Retrascope":http://forge.ispras.ru/projects/retrascope core uses NuXMV 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:
# Download the "NuXMV":https://nuxmv.fbk.eu package from https://nuxmv.fbk.eu and unpack it.
# Set Specify the @NUXMV_PATH@ environment variable (it should point to the NuXMV executable file.
file).
h2. Zest Installation
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:
# Click the @Help/Install New Software...@ menu item.
# Choose a repository from the @Work with...@ list (e.g., @http://download.eclipse.org/releases/luna/201409261001@).
# Select the @Modeling/Graphical Editing Framework Zest Visualization Toolkit SDK@ tree item.
# Push the @Next@ button a number of times.
# Push the @Finish@ button.
h2. Veditor Installation
Veditor "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:
# Download the @net.sourceforge.veditor_*.jar@ file from http://sourceforge.net/projects/veditor.
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
h2. Configure your OS (for VHDL designs only!)
Retrascope uses "ZamiaCAD" framework for VHDL designs elaboration.
# Download and install "Python interpreter":http://https://www.python.org (it is needed for VHDL designs elaboration).
# Set @ZAMIA_LOCKING@ environment variable to @true@ value.
h2. Retrascope IDE Installation
Finally, install the "Retrascope IDE":http://forge.ispras.ru/projects/retrascope-ide plugin:
# Download the @ru.ispras.retrascope.ide*.jar@ file from http://forge.ispras.ru/projects/retrascope-ide/files.
# Copy the file to the @<ECLIPSE_HOME>/plugins@ directory.
# Set @ZAMIA_LOCKING@ environment variable to @true@ value (it is needed for VHDL designs elaboration).
# Download and install "Python interpreter":http://https://www.python.org (it is needed for VHDL designs elaboration).
# Restart the "Eclipse IDE":http://www.eclipse.org.