Project

General

Profile

News

MicroTESK 2.4.41 released

Added by Andrei Tatarnikov about 6 years ago

The new release contains the following changes:

  • Support for floating-point types in data sections
  • Support for formatted printing of values in data sections
  • Support for register reservation
  • Support for basic operations (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT) with dynamic immediate values in test templates
  • Improved register allocation strategies
  • New permutator exhaustive (aliased as full)
  • Support for i386 in x86 specifications
  • Support for the NASM and GNU assembler in x86 specifications and test templates
  • miniMIPS test programs are compiled with the GNU assembler and simulated in QEMU
  • x86 test programs are compiled with the GNU and NASM assemblers and simulated in QEMU
  • New option --model-name to allow building several ISA models from the same specifications
  • New option --base-template-path for automated template generation
  • Bug fixes and code improvements

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

MicroTESK 2.4.40 released

Added by Andrei Tatarnikov over 6 years ago

The new release contains the following changes:

  • Support for automated generation of test templates
  • Templates: methods rev_id and is_rev to get information on revisions supported by the model
  • Templates: support for global labels (the global_label method)
  • Templates: support for numeric labels
  • Templates: support for weak symbols (the weak method)
  • Templates: new method set_default_mode_allocator(allocator)
  • Templates: runtime methods to trace the state of registers and memory (instead of hand-written observers)
  • Number of bug fixes and code improvements

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

MicroTESK 2.4.38 released

Added by Andrei Tatarnikov over 6 years ago

The new release contains the following changes:

  • Enhancements in the branch engine
  • Refactoring in the memory engine
  • New demo specifications and templates: Vmem ISA aimed to demonstrate the facilities of the memory engine
  • Changes in the nML language translator: special constructs to specify label-based instruction operands
  • Improvements in the simulator: correct handling of jump instructions
  • Improvements in the symbolic executor: correct SMT-formulae
  • Other general improvements

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

MicroTESK 2.4.33 released

Added by Andrei Tatarnikov about 7 years ago

The new release contains the following changes:

  • Support for configuration files describing relations between revisions
  • Support for operation templates in nML
  • Support for new nML operators: is_type, type_of, and size_of
  • Support for bitfields in MMU constraints (test templates)
  • Bug fixes and general improvements

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

MicroTESK 2.4.32 released

Added by Andrei Tatarnikov about 7 years ago

The new release contains the following changes:

  • Support for revisions in nML and MMU specifications
  • Integration of generation engines (branch and memory)
  • Test template multiple_engines.rb demonstrating how to mix ALU, BPU and MMU constraints in a single sequence (miniMIPS)
  • Bug fixes and general improvements

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

(11-20/135)

Also available in: Atom