Project

General

Profile

Getting Started » History » Version 1

Alexander Kamkin, 12/15/2014 03:09 PM

1 1 Alexander Kamkin
h1. Getting Started
2
3
{{toc}}
4
5
h2. Launching Retrascope
6
7
To run "Retrascope":http://forge.ispras.ru/projects/retrascope, click the _main_ button and wait until a dialog box appears. In the dialog box, perform the following actions:
8
9
# Choose Verilog and/or VHDL _files_ you need to process (use the @Add...@ and @Remove@ buttons to compose a list of files).
10
# Select _targets_ you need to create on the base of the chosen HDL descriptions (check / uncheck items in the @Targets@ list).
11
## Optionally, choose _engines_ you would like to use for your task (check / uncheck items in the @Engines@ list).
12
# Navigate through the engine tabs and specify engine-dependent parameters.
13
# 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 Smv@ | An SMV file |
21
| @Cfg Zest@ | A Zest-based visualization of CFGs in IDE |
22
| @Cfg Iface@ | A set of interfaces |
23
| @Cgaa@ | A set of clocked guarded atomic actions (CGAAs) |
24
| @Cgaa Graphml@ | A GraphML file depicting CGAAs |
25
| @Efsm@ | A set of extended finite state machines (EFSMs) |
26
| @Efsm Graphml@ | A GraphML file depicting EFSMs |
27
| @Efsm Zest@ | A Zest-based visualization of EFSMs in IDE |
28
| @Test@ | A set of tests |
29
| @Test Xml@ | An XML-based representation of tests |