Getting Started with x86¶

• Table of contents
• Getting Started with x86
  • 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/x86.nml.

Each instruction is described in nML by means of the following constructs (mov r16/r16 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 ISA can be found in $MICROTESK_HOME/arch/demo/x86/templates.

By now, the directory contains six demo templates:

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