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. |