Project

General

Profile

Actions

Getting Started » History » Revision 2

« Previous | Revision 2/11 (diff) | Next »
Alexander Kamkin, 12/15/2014 03:10 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 / uncheck items in the Targets list).
    1. Optionally, choose engines you would like to use for your task (check / uncheck items in the Engines list).
  3. Navigate through the engine tabs and specify engine-dependent parameters.
  4. 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 almost 10 years ago · 11 revisions