Wiki » History » Revision 3
Revision 2 (Alexander Protsenko, 03/15/2023 02:32 PM) → Revision 3/10 (Alexander Protsenko, 03/15/2023 06:18 PM)
h1. Wiki
h2. Installation Steps
# "Download":https://forge.ispras.ru/projects/microtesk-arm-demo/files and unpack a distribution package (the latest @.tar.gz@ file).
The destination directory will be further referred to as @<INSTALL_DIR>@.
# Set the @MICROTESK_HOME@ environment variable to the @<INSTALL_DIR>@ path (see "Setting Environment Variables":https://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide#Setting-Environment-Variables).
# Add the @<INSTALL_DIR>/bin@ path to the @PATH@ environment variable.
# If required, install SMT solver(s) to the @<INSTALL_DIR>/tools@ directory (see "Installing SMT Solvers":https://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide#Installing-SMT-Solvers).
You can learn more about "Installation Directory Structure":https://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide#Installation-Directory-Structure by following the link.
Next we will use the following directories:
* arch - contains microprocessor specifications and test templates.
* bin - contains scripts for model compilation and test generation
h2. Test Program Generation
To generate the test program for the ARM architecture (model) and the @bubble_sort@ template, run the following command:
<pre>
$ cd $MICROTESK_HOME
$ sh bin/generate.sh armv8 arch/armv8/templates/bubble_sort.rb -dgp memory
</pre>
The output file name depends on the @--code-file-prefix@ and @--code-file-extension@ options (see "Command-Line Options":https://forge.ispras.ru/projects/microtesk/wiki/Command-Line_Options).
h3. Templates
The entire list of demo templates can be found in the directory: @<INSTALL_DIR>/arch/armv8/templates@.
<pre>
$ cd $MICROTESK_HOME/arch/armv8/templates
</pre>
Also you can use the @run.sh@ script from this directory to generate the test program:
<pre>
./run.sh branch_generation
</pre>
The generated test program will be in this directory: @$MICROTESK_HOME/output_test/branch_generation@
<pre>
cd $MICROTESK_HOME/output_test/branch_generation
</pre>
h3. ISA
The [[Instruction Set Architecture]] of MicroTESK for ARM Demo version.