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);
 }