Getting Started with the x86 Demo¶

• Table of contents
• Getting Started with the x86 Demo
  • Prerequisite
  • Demo Specifications
  • Demo Templates

Prerequisite¶

MicroTESK should be installed (see Installation Guide).

Demo Specifications¶

Specifications of the x86 (8086) instruction set architecture (ISA) 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. the signature
   

   op mov_r1616 (dst: GPR16, src: GPR16)

2. the assembly format
   

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

3. the binary encoding
   

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

4. the semantics
   

     action = {
       dst = src;
       ...
     }
   

To compile the ISA model, run the following command:

$MICROTESK_HOME/bin/compile.sh x86.nml

Demo Templates¶

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

As by now, the directory contains six demonstration templates:

block.rb	to show usage of the instruction blocks
block_random.rb	to show creation of the randomized instruction sequences using block constructs
euclid.rb	to show MicroTESK simulating the execution of a test program to predict the resulting state of the PE under test
random.rb	to show generation of the randomized test cases by using biased values, intervals, arrays and distributions
random_immediate.rb	to show generation of random immediate values
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