Retrascope 1.1.3 released

Retrascope 1.1.3 has been released.
Added by Sergey Smolov about 1 year ago

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