Project

General

Profile

News

MicroTESK: MicroTESK 2.3.7 beta released

Added by Andrei Tatarnikov over 8 years ago

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

MicroTESK: MicroTESK 2.3.6 beta released

Added by Andrei Tatarnikov over 8 years ago

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

MicroTESK: MicroTESK 2.3.5 beta released

Added by Andrei Tatarnikov over 8 years ago

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

(211-220/364)

Also available in: Atom