Actions
Getting Started » History » Revision 6
« Previous |
Revision 6/11
(diff)
| Next »
Alexander Kamkin, 12/16/2014 02:55 PM
Getting Started¶
- Table of contents
- Getting Started
Launching Retrascope¶
To run 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
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 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