Getting Started with MicroTESK - PowerPC Edition » History » Revision 16
Revision 15 (Alexander Kamkin, 10/26/2016 02:11 PM) → Revision 16/20 (Alexander Protsenko, 10/26/2016 02:13 PM)
h1. Getting Started with MicroTESK - PowerPC Edition h2. Начало работы с MicroTESK - PowerPC Edition # Репозиторий проекта: http://forge.ispras.ru/projects/microtesk-powerpc/repository Создать локальную копию проекта: <pre> git clone https://forge.ispras.ru/git/microtesk-powerpc.git </pre> # Сборка проекта (необходимы Gradle 2.9 и Java 1.7, 1.8, подробнее http://forge.ispras.ru/projects/microtesk/wiki/Installation_Guide) Запустить сборку из корневого каталога: ## с выполнением тестов: <pre>gradle build</pre> ## без выполнения тестов: <pre>gradle assemble</pre> # *Переменные среды* Установить переменную @MICROTESK_HOME@: <pre> MICROTESK_HOME = каталог_установки/microtesk-powerpc/build/target </pre> # *Спецификации*: @microtesk-powerpc/src/main/arch/powerpc/model@ (спецификации арифметических инструкций: @powerpc_alu.nml@). Собрать модель (из директория спецификаций): <pre> $MICROTESK_HOME/bin/compile.sh powerpc.nml mmu/powerpc.mmu --extension-dir ../extensions </pre> # *Тестовые шаблоны*: @microtesk-powerpc/src/main/arch/powerpc/templates@ (базовый шаблон для арифметических инструкций: @instruction_alu.rb@). Запустить обработку шаблона (из директория шаблонов): <pre> $MICROTESK_HOME/bin/generate.sh powerpc instruction_alu.rb --code-file-prefix instruction_alu --code-file-extension s -v </pre> После запуска шаблонов ассемблерный код и Tarmac-трасса будут находится в директории @../microtesk-powerpc/build/target@. h2. Особенности разработки спецификаций # Описание инструкции ## Название <pre> /* Add Immediate D-form </pre> ## Расшифровка кодировки команды. Важно отметить, что в описании PowerPC биты упорядочены от 0 до 31; в спецификации их необходимо располагать в обратном порядке, как показано ниже: <pre> Encoding: | 31 16 | 15 11 | 10 6 | 5 0 | | SI | RA | RT | | | | | | 14 | | 16 | 5 | 5 | 6 | </pre> ## Формат записи команды <pre> Format: addi RT,RA,SI </pre> ## Описание <pre> Description: if RA = 0 then RT <- EXTS(SI) else RT <- (RA) + EXTS(SI) The sum (RA|0) + SI is placed into register RT. </pre> ## Зависимости <pre> Special Registers Altered: None */ </pre> # Реализация ## Объявление инструкции <pre> op addi (rt: R, ra: R, si: SHORT) </pre> ## Инициализация данных инструкции <pre> init = { OPCD = coerce(card(6), 14); } </pre> ## Ассемблерный формат инструкции <pre> syntax = format("addi %s, %s, %d", rt.syntax, ra.syntax, si) </pre> ## Бинарная кодировка инструкции <pre> image = format("%16s%5s%5s%6s", si, ra.image, rt.image, OPCD) </pre> ## Семантика инструкции <pre> action = { rt<31..0> = cast(WORD, cast(INT, ra) + cast(INT, sign_extend(WORD, cast(HWORD, si)))); } </pre> ## Группировка инструкций <pre> op PowerPCArithmetic = add | add_d | addi | ori </pre> h2. Дополнительно Для включения трассировки в формате Tarmac нужно указать следующую опцию командной строки: <pre> -tl,--tarmac-log Enables generation of Tarmac logs for simulation [works with --g], default=false </pre> Либо добавить следующую строку в файл @microtesk-powerpc/src/main/etc/settings.xml@: <pre> <setting name="tarmac-log" value="true"/> </pre>