MicroTESK

h1. Getting Started with x86

{{toc}}

h2. Prerequisite

MicroTESK should be installed (see [[Installation Guide]]).

h2. 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):

## the signature

<pre>op mov_r1616 (dst: GPR16, src: GPR16)</pre>

## the assembly format

<pre>syntax = format("mov %s, %s", dst.syntax, src.syntax)</pre>

## the binary encoding

<pre>image = format("1000101111%s%s", dst.image, src.image)</pre>

## the semantics

<pre>

  action = {

    dst = src;

    ...

  }

</pre>

To compile the ISA model, run the following command:

<pre>$MICROTESK_HOME/bin/compile.sh x86.nml</pre>

h2. 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:

{background:#f6fcff}. | @block.rb@            | shows usage of the instruction blocks |

                      | @block_random.rb@     | shows creation of the randomized instruction sequences using block constructs |

{background:#f6fcff}. | @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 |

{background:#f6fcff}. | @random_immediate.rb@ | shows generation of random immediate values |

                      | @random_registers.rb@ | shows dependent instructions with random registers |

To run template processing use the following command:

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

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