Project

General

Profile

Getting Started with MicroTESK - PowerPC Edition » History » Version 7

Alexander Kamkin, 10/26/2016 01:39 PM

1 1 Alexander Protsenko
h1. Getting Started with MicroTESK - PowerPC Edition
2
3 6 Alexander Kamkin
h2. Начало работы с @MicroTESK - PowerPC Edition@
4 1 Alexander Protsenko
5 4 Alexander Kamkin
* Репозиторий проекта:  http://forge.ispras.ru/projects/microtesk-powerpc/repository
6 2 Alexander Kamkin
7 1 Alexander Protsenko
Создать локальную копию проекта:
8 5 Alexander Kamkin
9 1 Alexander Protsenko
<pre>
10
git clone https://forge.ispras.ru/git/microtesk-powerpc.git
11
</pre>
12
13 5 Alexander Kamkin
* Сборка проекта
14 2 Alexander Kamkin
15 1 Alexander Protsenko
Необходимо наличие: Gradle 2.9, Java 1.8.0 (Подробнее http://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide)
16 5 Alexander Kamkin
17 1 Alexander Protsenko
Запускаем сборку из корневого каталога: 
18
19 5 Alexander Kamkin
** с выполнением тестов: <pre> gradle build </pre>
20
** без выполнения тестов: <pre> gradle assemble </pre>
21
22
* Переменные среды
23 3 Alexander Kamkin
24 1 Alexander Protsenko
Необходимо установить
25 6 Alexander Kamkin
26 1 Alexander Protsenko
<pre>
27
MICROTESK_HOME = "Каталог установки"\microtesk-powerpc\build\target
28
</pre>
29
30 3 Alexander Kamkin
# Модель и спецификация находятся по адресу: microtesk-powerpc\src\main\arch\powerpc\model
31 1 Alexander Protsenko
32
powerpc_alu.nml - предлагается начать с арифметических инструкций.
33
(Реализованы инструкции на момент написания данного теста: add, add., addi, ori. Можно использовать как пример.)
34
35
Запуск сборки модели из этой папки:
36 6 Alexander Kamkin
37 1 Alexander Protsenko
%MICROTESK_HOME%\bin\compile.bat powerpc.nml mmu/powerpc.mmu --extension-dir ../extensions
38
39 3 Alexander Kamkin
# Шаблоны тестов: microtesk-powerpc\src\main\arch\powerpc\templates
40 1 Alexander Protsenko
41
instruction_alu.rb - базовый шаблон для проверки корректности работы арифметических инструкций.
42
43
Запуск шаблона из этой папки:
44 6 Alexander Kamkin
45 1 Alexander Protsenko
%MICROTESK_HOME%\bin\generate.bat powerpc instruction_alu.rb --code-file-prefix instruction_alu --code-file-extension s -v
46
47
После запуска шаблонов, ассемблерный код и Tarmac-лог будут находится тут: ..\microtesk-powerpc\build\target
48
49 6 Alexander Kamkin
h2. Особенности написания спецификации
50 1 Alexander Protsenko
51 6 Alexander Kamkin
# Описание инструкции
52
## Название
53 1 Alexander Protsenko
<pre>
54
/*
55
  Add Immediate D-form
56
</pre>
57 7 Alexander Kamkin
## Расшифровка кодировки команды. Важно отметить, что в документации для PowerPC поля упорядочены от 0 до 31, для унификации спецификаций необходимо их располагать в обратном порядке, а именно от 31 до 0, как показано ниже:
58 1 Alexander Protsenko
<pre>
59
  Encoding: | 31 16 | 15 11 | 10 6 | 5 0 |
60
            | SI    | RA    | RT   |     |
61
            |       |       |      | 14  |
62
            | 16    | 5     | 5    | 6   |
63
</pre>
64 7 Alexander Kamkin
## Формат записи команды
65 1 Alexander Protsenko
<pre>
66
  Format:
67
    addi RT,RA,SI
68
69
</pre>
70 7 Alexander Kamkin
## Описание
71 1 Alexander Protsenko
<pre>
72
  Description:
73
    if RA = 0 then RT <- EXTS(SI)
74
    else RT <- (RA) + EXTS(SI)
75
    The sum (RA|0) + SI is placed into register RT.
76
</pre>
77 7 Alexander Kamkin
## Зависимости
78 1 Alexander Protsenko
<pre>
79
  Special Registers Altered:
80
    None
81
  */
82
</pre>
83 7 Alexander Kamkin
# Реализация
84
## Объявление инструкции
85 1 Alexander Protsenko
<pre>
86
op addi (rt: R, ra: R, si: SHORT)
87
</pre>
88 7 Alexander Kamkin
## Инициализация данных для инструкции
89 1 Alexander Protsenko
<pre>
90
  init = {
91
    OPCD = coerce(card(6), 14);
92
  }
93
</pre>
94 7 Alexander Kamkin
## Формат вывода команды в ассемблерном коде
95 1 Alexander Protsenko
<pre>
96
  syntax = format("addi %s, %s, %d", rt.syntax, ra.syntax, si)
97
</pre>
98 7 Alexander Kamkin
## Формирование кода команды
99 1 Alexander Protsenko
<pre>
100
  image  = format("%16s%5s%5s%6s", si, ra.image, rt.image, OPCD)
101
</pre>
102 7 Alexander Kamkin
## Реализация инструкции
103 1 Alexander Protsenko
<pre>
104
  action = {
105
    rt<31..0> = cast(WORD, cast(INT, ra) + cast(INT, sign_extend(WORD, cast(HWORD, si))));
106
  }
107
</pre>
108 7 Alexander Kamkin
## Добавление инструкции в общий пул
109 1 Alexander Protsenko
<pre>
110
op PowerPCArithmetic = add
111
                     | add_d
112
                     | addi
113
                     | ori
114
</pre>
115
116 7 Alexander Kamkin
h2. Дополнительно
117
118 1 Alexander Protsenko
Для включения генерации Tarmac-логов нужно указывать следующую опцию командной строки:
119
<pre>
120
-tl,--tarmac-log     Enables generation of Tarmac logs for simulation 
121
[works with --g],  default=false
122
</pre>
123
Либо в файле microtesk-powerpc\src\main\etc\settings.xml
124
<pre>
125
Добавить строку:   <setting name="tarmac-log" value="true"/>
126
</pre>