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
The new release contains the following changes:
- Support for excluded elements in revision configuration files
- 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 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
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
The new release contains the following changes:
- Test template
int_exception_branch.rb
demonstrating how to mix BPU and ALU constraints (miniMIPS)
- Test template
memory_situation2.rb
demonstrating how to mix MMU and ALU constraints (miniMIPS)
- 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:
- Example templates for BPU testing (miniMIPS)
- Bug fixes and general improvements
The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files