Open-Source Projects

The new release contains the following changes:

• 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:

• Usability improvements in Transformer
• Some general improvements

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

The new release contains the following changes:

• Possibility to describe memory-related test situations in test templates was implemented
• Support for bit mask operations in MMU specifications 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:

• New Data methods: equalTypes and equalValues
• Bugs in Transformer were fixed

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

The new release contains the following changes:

• Possibility to use values of registers defined in ISA specifications as parameters while generating tests for MMU was implemented (the "extern" construct)
• Possibility to map MMU buffers to virtual memory was implemented (the "memory buffer" construct)
• Possibility to map MMU buffers to registers defined in ISA specifications was implemented (the "register buffer" construct)
• Support for shift operations in MMU specifications 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:

• Support for floating-point calculations was improved (integration with JSoftFloat, support for new floating-point types and functions for type conversion)
• Support for checking addresses using memory region settings was implemented
• Some 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:

• Some bug fixes in the MMU simulator were made
• Some optimizations of the MMU test engine were implemented

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

The build fully supports four floating-point formats:

• 32-bit single-precision;
• 64-bit double-precision;
• 80-bit double-extended-precision;
• 128-bit quadruple-precision.

JSoftFloat can be downloaded from the page http://forge.ispras.ru/projects/jsoftfloat/files.

The new release contains the following changes:

• Some bug fixes in the MMU test engine 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:

• MMU-simulator was implemented
• Some bug fixes and general improvements were made

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