Retrascope

This release publishes improvements that were made mostly before January 2022.

Since this time the development was actually stopped.

The new release includes the following changes:

• CFG-GADD-Transformer: '--no-phase' option to produce phase-free GADD;
• CFG-Model: general support of SVA properties;
• Distribution: self-made RTL models and demo scripts are added;
• Documentation: ChangeLog and README files are rewritten into `Markdown` format;
• EFSM-GraphML-Printer: `--detailed` option for EFSM detailed/limited printing;
• Tool: `--check` option to check if tool dependencies were installed properly;
• Tool: migration to JDK 11;
• Tool: `--version` option;
• VCD-Printer: a new engine to print test sequences into VCD format;
• Verilog-Parser: `--library-file` option for path to system tasks/functions file.

The complete list of resolved issues is available here

The binary distribution of the tool can be downloaded from here