MicroTESK 2.4

Home / New Features / MicroTESK 2.4

We started a new version of MicroTESK, namely 2.4. Our goal is to support verification of microprocessors with multiple processing elements (PE).

The main idea is to maintain several instances of instruction set simulator (ISS) resources during test program generation. Each instance is initialized according to the rules defined in the ‘instantiate’ operation.

op instantiate(id: WORD)
 action = {
   Reg1 = Expr1(id);
   RegN = ExprN(id);

The number of instances used by the test program generator is set by the ‘instance-number’ option (by default, it is equal to 1).

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