Retrascope » Retrascope IDE

h1. Getting Started

{{toc}}

h2. Launching Retrascope

To run "Retrascope":http://forge.ispras.ru/projects/retrascope, select the @Retrascope@ / @Configure and Run@ menu item and wait until a dialog box appears. Do the following:

# Choose _Verilog_ and/or _VHDL_ _files_ you need to process (use the @Add@ and @Remove@ buttons to compose a list of files).

# Select _targets_ you need to create on the base of the chosen HDL descriptions (check items in the @Targets@ list).

# Optionally, choose _engines_ you would like to use for your task (check items in the @Engines@ list).

# Navigate through the _engine_ tabs and specify engine-dependent _parameters_.

# Press the @OK@ button.

h2. Target Types

| *Target* | *Description* |

| @Cfg@ | A set of control flow graphs (CFGs) |

| @Cfg Graphml@ | A GraphML file depicting CFGs |

| @Cfg Smv@ | An SMV file |

| @Cfg Zest@ | A Zest-based visualization of CFGs in IDE |

| @Cfg Iface@ | A set of interfaces |

| @Cgaa@ | A set of clocked guarded atomic actions (CGAAs) |

| @Cgaa Graphml@ | A GraphML file depicting CGAAs |

| @Efsm@ | A set of extended finite state machines (EFSMs) |

| @Efsm Graphml@ | A GraphML file depicting EFSMs |

| @Efsm Zest@ | A Zest-based visualization of EFSMs in IDE |

| @Test@ | A set of tests |

| @Test Xml@ | An XML-based representation of tests |