Project

General

Profile

Actions

Getting Started » History » Revision 5

« Previous | Revision 5/11 (diff) | Next »
Alexander Kamkin, 12/15/2014 03:14 PM


Getting Started

Launching Retrascope

To run Retrascope, click the main button and wait until a dialog box appears. Do the following:

  1. Choose Verilog and/or VHDL files you need to process (use the Add and Remove buttons to compose a list of files).
  2. Select targets you need to create on the base of the chosen HDL descriptions (check items in the Targets list).
  3. Optionally, choose engines you would like to use for your task (check items in the Engines list).
  4. Navigate through the engine tabs and specify engine-dependent parameters.
  5. Press the OK button.

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

Updated by Alexander Kamkin about 10 years ago · 11 revisions