MicroTESK

Getting Started with x86 » History » Revision 33

Revision 32 (Alexander Kamkin, 04/06/2017 04:47 PM) → Revision 33/87 (Alexander Kamkin, 04/06/2017 04:48 PM)

h1. Getting Started with x86 

 {{toc}} 

 h2. Prerequisite 

 MicroTESK should be [[Installation Guide|installed]]. 

 h2. Demo Specifications 

 Specifications of the x86 (8086) instruction set architecture (ISA) can be found in "$MICROTESK_HOME/arch/demo/x86/model/x86.nml":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/model/x86.nml. 

 Each instruction is described in [[nML Language Reference|nML]] by means of the following constructs (_mov r16/r16_ 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 ISA can be found in "$MICROTESK_HOME/arch/demo/x86/templates":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates. 

 The directory contains a number of several demo templates including the following ones: templates: 

 {background:#f6fcff}. | "block.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/block.rb | shows usage of test generation blocks | 
                       | "block_random.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/block_random.rb | shows creation of the randomized instruction sequences using block constructs | 
 {background:#f6fcff}. | "euclid.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/euclid.rb | shows simulation of a test program to predict the resulting state of the CPU under test | 
                       | "random.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/random.rb | shows generation of the randomized test cases by using biased values, intervals, arrays and distributions | 
 {background:#f6fcff}. | "random_immediate.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/random_immediate.rb | shows randomization of immediate values | 
                       | "random_registers.rb":http://forge.ispras.ru/projects/microtesk/repository/entry/trunk/microtesk/src/main/arch/demo/x86/templates/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