Автоматическое построение точных эмуляторов

[Константин Савенков]

Данная работа является продолжением работы по разработке точного эмулятора процессора NM6403 Neuromatrix.

Разработанный эмулятор построен по схеме compiled simulation и выполняет моделирование обработки данных, а также позволяет точно оценить время выполнения программы на целевом вычислителе. Время выполнения линейных участков рассчитывается с учётом того, какие вычислительные ресурсы используются инструкциями при прохождении вычислительного конвейера.

Предполагается исследовать возможности расширения разработанного эмулятора. Во-первых, за счёт автоматического извлечения информации о вычислительных ресурсах, используемых инструкциями, из machine description (GCC) или даже из verilog-схемы кристалла процессора. Во-вторых, исследовать возможности полуавтоматической настройки функционального comiled-эмулятора на новые системы команд RISC (скорее всего, с использованием средства LLVM).

Результат работы предполагается оформлять в виде open source проекта.