Retrascope 1.1.3 released

Retrascope 1.1.3 has been released.
Added by Sergey Smolov 12 months 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