Project

General

Profile

Getting Started » History » Revision 8

Revision 7 (Alexander Kamkin, 12/16/2014 02:56 PM) → Revision 8/11 (Alexander Kamkin, 12/24/2014 05:32 PM)

h1. Getting Started 

 {{toc}} 

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