Getting Started with the x86 (8086) Demo¶

• Table of contents
• Getting Started with the x86 (8086) Demo
  • Prerequisite
  • Overview of the x86 Demo Specifications
  • Overview of x86 Test Templates

Prerequisite¶

MicroTESK should be installed (see Installation Guide).

Overview of the x86 Demo Specifications¶

Specifications of the x86 instruction set architecture can be found in $MICROTESK_HOME/arch/demo/x86/model.

Each instruction is described in nML (see nML Language Reference) by means of the following constructs (register move instruction is taken as an example):

1. Its declaration
   

   op mov_r1616 (dst: GPR16, src: GPR16)

2. Its assembly representation
   

   syntax = format("mov %s, %s", dst.syntax, src.syntax)

3. Its binary coding
   

   image = format("1000101111%s%s", dst.image, src.image)

4. Its semantics
   

     action = {
       dst = src;
       ...
     }
   

To compile the model, run the following command:

$MICROTESK_HOME/bin/compile.sh x86.nml

Overview of x86 Test Templates¶

Test templates for the x86 model can be found into $MICROTESK_HOME/arch/demo/x86/templates.

As by now, it contains six demonstration templates:

1. block.rb to show usage of the instruction blocks
2. block_random.rb to show creation of the randomized instruction sequences using block constructs
3. euclid.rb to show MicroTESK simulating the execution of a test program to predict the resulting state of the PE under test
4. random.rb to show generation of the randomized test cases by using biased values, intervals, arrays and distributions
5. random_immediate.rb to show generation of random immediate values
6. random_registers.rb to show dependent instructions with random registers

To run template processing use the following command:

$MICROTESK_HOME/bin/generate.sh x86 block.rb --code-file-prefix block --code-file-extension -v

When the processing is finished, files with the resulting assembly code can be found in $MICROTESK_HOME

For more information, see MicroTESK wiki: http://forge.ispras.ru/projects/microtesk/wiki/Template_Description_Language