MicroTESK 2.0.1 released
We are happy to announce the first build of the MicroTESK 2.0 test program generator for microprocessors.
We are happy to announce the first build of the MicroTESK 2.0 test program generator.
MicroTESK (Microprocessor TEsting and Specification Kit) is a reconfigurable framework for generating test programs for microprocessors and other programmable devices. The tool is customized for a specific instruction-set architecture with formal specifications in nML/Sim-nML language. Test programs are generated on a basis of test templates written in Ruby, which are abstract descriptions of test scenarios. Read more...
The tool can be downloaded from the file page:
You are welcome to report bugs and leave your feedback at the main project site: