Open-Source Projects

The new release contains the following changes:

• Improved floating-point support
• 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:

• Basic implementation of disassembler
• Basic support for 16-bit floating point data types
• 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:

• Support for binary masks in preparators (test templates)
• The internal modifier for nML operation was established
• Bug fixes and general improvements

The list of resolved issues can be found at the following link

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

The new release contains the following changes:

• Support for structures (the struct keyword) in nML
• Improved timing statistics
• Bug fixes and general improvements

The list of resolved issues can be found at the following link

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

The new release contains the following changes:

• Performance optimization: variables are not reset
• Simulation on multiple instances is debugged
• Improvements in exception handling facilities
• 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:

• Basic facilities for multicore generation (untested)
• nML: the 'init' attribute was made public
• Refactoring in the ISA simulator

The list of resolved issues can be found at the following link

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

The functionality left unchanged; a number of bugs have been fixed.
The release contains HDL Retrascope 0.2.2 core.

The tool can be downloaded from here

The new release contains the following changes:

• Verilog testbench printer;
• EfsmSimulatorUtils: utility methods for EFSM state/transition coverage printing;
• VHDL/Verilog: support for non-0 starting bit vectors;
• Verilog parser: merge 'assign' processes in CFG model if it is possible;
• CGAA-to-EFSM: EFSM stabilization upon possible non-determinism;
• Print tool execution time in command line mode;
• HLDD-to-SMV printer that does not use assertions;
• Bug fixes & general improvements.

The list of resolved issues can be found at the following link

The tool can be downloaded from here

The new release contains the following changes:

• Facilities to cast values in constant expressions
• Improvements in ESExprParser

The list of resolved issues can be found at the following link

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

The new release contains the following changes:

• Refactoring in the ISA simulator

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