Open-Source Projects

The functionality left unchanged; a number of bugs have been fixed.

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

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

The new release contains the following changes:

• Data file generation feature was implemented
• Several bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Utility general-purpose class Result was implemented
• Utility method newInteger for BigInteger was added to NodeValue
• Some general code improvements were made

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Support for large memory addresses (e.g 48 and 64 bits) was improved
• Support for overloaded preparators was implemented
• Support for operation and addressing mode groups in test templates was implemented
• Support for user-defined test data generator extensions (in Java) was implemented
• Improved console output format (use the --verbose option)
• Several bug fixes and general improvements were made

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Basic support for Tarmac was implemented (logging is enabled with the '--tarmac-log' option)
• Support for large memory addresses (e.g 48 and 64 bits) was implemented

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Type calculation rules for the BVZEROEXT, BVSIGNEXT, SELECT and STORE operators were implemented
• The BitVector class was improved

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

The new release contains the following changes:

• Possibility to select test situations in random manner was implemented.
• Randomization of operands of instructions with unspecified situations was supported.
• Architecture-specific settings (set up with '--arch-dirs' option) were established.
• Support for random register allocation was implemented.
• Options '--comments-enabled' and '--comments-enabled' for enabling/disabling printing comments to test programs were added.
• Option '--solver-debug' for enabling debug output of SMT solvers was added.
• Functionality of the 'include' directive was improved.
• Format of generated test programs was enhanced.
• Behavior improvement: if a preparator for an addressing mode is not specified, test generation is no aborted.
• Several bug fixes and general improvements were made.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Test data is generated taking into account data generated for other instructions.
• Statistics on test program size and test generator performance is collected.
• Test programs are split into parts if they exceed the specified limits on instruction number.

NOTE: The format of MicroTESK command line has changed. Please see the Command-Line Options documenation topic for more information.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files

The new release contains the following changes:

• Simple mechanism for detecting loops in test templates was implemented. If the number of branch executions exceeds the specified limit, test generation is halted.
• New attribute 'init' was supported for 'mode' and 'op' nML primitives. It specifies initialization actions to be performed each time before code of other standard attributes like 'syntax' and 'image' is executed.
• The repetition operator was implemented in nML. Syntax is the following: {N}X - concatenates the specified location X with itself N times.
• Branches of logic in nML specifications which raise exceptions are automatically marked as named test situations.
• Syntax of the 'reg', 'mem' and 'var' nML constructs was extended to support array-based aliases.
• Functionality of 'format' and 'trace' nML functions was improved. Now they support conditional string-based expressions as arguments.
• Default values for some command-line options are now stored in a configuration file.
• Several bug fixes and general improvements were made.

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files