Open-Source Projects

The new release contains the following changes:

• Test Templates: The atomic and iterate block types were established
• Test Templates: The block structure now can be used only to combine sequences returned by nested blocks
• Test Templates: The rearranger parameter was supported by blocks

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

The new release contains the following changes:

• Several bug fixes and general improvements

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

The new release contains the following changes:

- High-Level Decision Diagram (HLDD) model;
- Printer engine for HLDD models to NuSMV model checker format;
- Wrapper engine around NuSMV model checker that is able to transmit tool output to other engines;
- Transformer engine from GADD model to HLDD model;
- Parser engine for NuSMV logs that produces tests;
- Hierarchical (at statement and variable declaration levels) CFG\EFSM models;
- Internal SAT-solver for trivial constraints that is used prior to the external one;
- Assertion (specification) hierarchical model;
- EFSM-based transition assertion generator engine;
- GADD models now contain only concurrent (non-blocking) non-ranged assignments;
- Support for non-loop\non-recursion functions in VHDL\Verilog designs;
- Descriptors for HDL variables;
- HDL parser optimization (sequential switch statements grouping);
- Random test generator for CFG model ;
- Several bug fixes and general improvements were made.

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

The new release contains the following changes:

• Several bug fixes and general improvements

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

The new release contains the following changes:

• Test Templates: support for test-case level data sections
• Test Templates: support for relative origin (.org :delta => 0xXXXX)

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

The new release contains the following changes:

• Several bug fixes and general improvements

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

The new release contains the following changes:

• Test Templates: support for assigning default test situations to instructions and instruction groups
• Test Templates: support for preparator overriding
• Test Templates: new instruction permulation methods (permutator and obfuscator engines)
• Test Templates: data is now printed in the end of a test program
• Several bug fixes and general improvements

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

The new release contains the following changes:

• Branch engine: parameter limit was renamed to branch_exec_limit
• Branch engine: new parameter trace_count_limit that bounds the number of execution traces was introduced
• Test templates: support for named preparators was implemented
• Test templates: atomic was renamed to sequence
• nML translator: some 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:

• Several bug fixes 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 randomizing preparators (random selection between several preparator variants) was implemented (*)
• Some issues in the branch generation engine were fixed

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

What's new (*):

Preparator Randomization

Now it is possible to specify several variants of a preparator, which can be selected at random when the preparator is instantiated. Syntax is the following:

preparator(:target => 'REG') {
  variant(:name => '1', :bias => 50) {
    comment 'Variant 1'
    lui target, value(16, 31)
    ori target, target, value(0, 15)
  }

  variant(:name => '2', :bias => 50) {
    comment 'Variant 2'
    ori target, zero, value(16, 31)
    sll target, target, 16
    addi target, target, value(0, 15)
  }
}

A variant description has two optional parameters: name and bias.

The name attribute allows specifying a preferred preparator variant when a preparator is explicitly inserted by using the prepare function. For example:

prepare t1, 0xdeadbeef, :variant => '1' # Preparator '1' is chosen.
prepare t2, 0xbaadf00d, :variant => '2' # Preparator '2' is chosen.

Search by variant name is performed after a suitable preparator is chosen according to value mask and argument values. So if a variant with the specified name is not defined for the chosen preparator, MicroTESK reports a warning and uses a randomly chosen variant of the given preparator.

The bias attribute is used set up a bias for the current variant. It works in a similar way as the dist construct which is for selecting random values. The atribute can be skipped if you want to define equally probable variants.