MicroTESK

Getting Started with x86 » History » Revision 2

Revision 1 (Mikhail Chupilko, 04/06/2017 03:58 PM) → Revision 2/87 (Alexander Kamkin, 04/06/2017 04:04 PM)

h1. Getting Started with MicroTESK: demo of x86 

 {{toc}} 

 h2. Prerequisite 

 Install MicroTESK (for more information see [[Installation_Guide]]) http://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide) 

 h2. Overview of the x86 ISA 

 Specifications of x86 can be found into @$MICROTESK_HOME/arch/demo/x86/model@. 

 Each instruction is described by means of the following constructs (register move instruction is taken as an example) 
 ## Its declaration <pre>op mov_r1616 (dst: GPR16, src: GPR16)</pre> 
 ## Its assembly representation <pre>syntax = format("mov %s, %s", dst.syntax, src.syntax)</pre> 
 ## Its binary coding <pre>image = format("1000101111%s%s", dst.image, src.image)</pre> 
 ## Its semantics 
 <pre> 
   action = { 
     dst = src; 
     instr_size = instr_size + 2; 
   } 
 </pre> 

 To run the model, use the following command: <pre>$MICROTESK_HOME/bin/compile.sh x86.nml</pre> 

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

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