MicroTESK

The new release contains the following changes:

• Facilities to describe data segment in test templates were implemented
• Function 'trace' (nML) was supported
• Possibility to create instances of modes and ops in nML code was implemented
• Aliases for memory locations (mem, reg, var) were supported
• Specification of the miniMIPS ISA was added to the examples

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