Actions
Getting Started¶
- Table of contents
- Getting Started
Running Retrascope¶
To run Retrascope by plugin, 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
andRemove
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.
Target Types¶
Target | Description |
Cfg |
A set of control flow graphs (CFGs) |
Cfg Graphml |
A GraphML file depicting CFGs |
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 |
Updated by Sergey Smolov about 5 years ago · 11 revisions