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
Removebuttons to compose a list of files).
- Select targets you need to create on the base of the chosen HDL descriptions (check items in the
- Optionally, choose engines you would like to use for your task (check items in the
- Navigate through the engine tabs and specify engine-dependent parameters.
- Press the
||A set of control flow graphs (CFGs)|
||A GraphML file depicting CFGs|
||A Zest-based visualization of CFGs in IDE|
||A set of interfaces|
||A set of clocked guarded atomic actions (CGAAs)|
||A GraphML file depicting CGAAs|
||A set of extended finite state machines (EFSMs)|
||A GraphML file depicting EFSMs|
||A Zest-based visualization of EFSMs in IDE|
||A set of tests|