Retrascope

The new release includes the following changes:

• Support for process variable declarations;
• Support for VHDL testbench generation (tests cover all the EFSM transitions);
• Enhanced EFSM test generation scheme has been implemented (pre-init state + init action);
• Exception subsystem has been implemented;
• The "tool-debug-file" command line option has been implemented;
• A number of bugs was fixed.

The tool can be downloaded from here: http://forge.ispras.ru/projects/retrascope/files