The HDL Retrascope toolkit was presented at the Univeristy Booth of the Design, Automation & Test in Europe conference. The conference took place on March 14-18 in Dresden, Germany.
The DATE conference addresses all aspects of research into technologies for electronic and embedded system engineering. It covers the design process, test, and automation tools for electronics ranging from integrated circuits to distributed embedded systems. Read more...
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:
- 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:
- 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:
- 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