MicroTESK

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