Actions
Getting Started » History » Revision 3
« Previous |
Revision 3/11
(diff)
| Next »
Alexander Kamkin, 12/15/2014 03:13 PM
Getting Started¶
- Table of contents
- Getting Started
Launching Retrascope¶
To run Retrascope, click the main button 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 / uncheck items in the
Targets
list).- Optionally, choose engines you would like to use for your task (check / uncheck items in the
Engines
list).
- Optionally, choose engines you would like to use for your task (check / uncheck items in the
- 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 almost 10 years ago · 11 revisions