Getting Started » History » Version 10
Sergey Smolov, 10/01/2019 03:49 PM
| 1 | 1 | Alexander Kamkin | h1. Getting Started |
|---|---|---|---|
| 2 | |||
| 3 | {{toc}} |
||
| 4 | |||
| 5 | 7 | Alexander Kamkin | h2. Running Retrascope |
| 6 | 1 | Alexander Kamkin | |
| 7 | 10 | Sergey Smolov | To run "Retrascope":http://forge.ispras.ru/projects/retrascope by plugin, select the @Retrascope@ / @Configure and Run@ menu item and wait until a dialog box appears. Do the following: |
| 8 | 1 | Alexander Kamkin | |
| 9 | 3 | Alexander Kamkin | # Choose _Verilog_ and/or _VHDL_ _files_ you need to process (use the @Add@ and @Remove@ buttons to compose a list of files). |
| 10 | 4 | Alexander Kamkin | # Select _targets_ you need to create on the base of the chosen HDL descriptions (check items in the @Targets@ list). |
| 11 | 5 | Alexander Kamkin | # Optionally, choose _engines_ you would like to use for your task (check items in the @Engines@ list). |
| 12 | 4 | Alexander Kamkin | # Navigate through the _engine_ tabs and specify engine-dependent _parameters_. |
| 13 | 1 | Alexander Kamkin | # Press the @OK@ button. |
| 14 | |||
| 15 | h2. Target Types |
||
| 16 | |||
| 17 | | *Target* | *Description* | |
||
| 18 | | @Cfg@ | A set of control flow graphs (CFGs) | |
||
| 19 | | @Cfg Graphml@ | A GraphML file depicting CFGs | |
||
| 20 | | @Cfg Zest@ | A Zest-based visualization of CFGs in IDE | |
||
| 21 | | @Cfg Iface@ | A set of interfaces | |
||
| 22 | | @Cgaa@ | A set of clocked guarded atomic actions (CGAAs) | |
||
| 23 | | @Cgaa Graphml@ | A GraphML file depicting CGAAs | |
||
| 24 | | @Efsm@ | A set of extended finite state machines (EFSMs) | |
||
| 25 | | @Efsm Graphml@ | A GraphML file depicting EFSMs | |
||
| 26 | | @Efsm Zest@ | A Zest-based visualization of EFSMs in IDE | |
||
| 27 | | @Test@ | A set of tests | |