Неофициальный отзыв (Блоки динамического предсказания переходов высокопроизводительных суперскалярных RISC микропроцессоров ответственного применения)

ГОСУДАРСТВЕННАЯ КОРПОРАЦИИ ПО АТОМНОЙ ЭНЕРГИИ «РОСАТОМ» АкционеРнае овщество «ИАучнО-исслхдОВАтел ьский институт пРННОРОВ» (АО «<НИИИ») Промзона тураево, стр. 8, г. Лыткарнно, Московская обл., 140080, тел. 1495) 552-39-31, факс 552-39-40 е- В: г ящЮ~Зюхю № г'ю- ',р Ф"' На№ от Отзыв на автореферат диссертационной работы Барских Михаила Квгепьевича «БлОки дипямическОГО предсказания перехОдов высокопроизводительных суперскалярных К1ЯС мпкропроцессоров ответственного применения», представленной на соискание ученой степени кандидата технических наук по специальности 05.13Л)5 — «Элементы и устройства вычислительной техники и систем управления» Актуальность темы диссертационной работы Барских МХ.

обусловлена растущей потребностью в современной высокопроизводительной микроэлектронной элементной базе, среди которой микропроцессоры занимают одно из важнейших мест. Постоянно растущие требования по увеличению быстродействия при одновременном уменьшении потребляемой мощности не могут быть удовлетворены только уменьшением проектных норм и увеличением частоты функционирования микросхем. Требуется применение архитектурных решений, ~д~и~ из видов которых является ~е~~д д~~~~~~ес~о~~ предсказания выполнения команд условных переходов.

Однако механизм восстановления состояния процессора при неправильном предсказании и большое количество параметров, влияющих на работу блока, затрудняют его тестирование и оптимизацию. Поэтому значимой и а~~уа~~~ой является задача развития методов проектирования сложи офункпион альных блоков с применением современных средств автоматизации проектирования.

Целью диссертации является совершенствование методики проектирования цифровых СБИС и создание с ее помощью блока динамического предсказания команд условных переходов для ИБС микропроцессоров разработки ФГУ ФНЦ НИИСИ РАН. В результате решения актуальной научной задачи автором получены следующие новые научные результаты: 1. Предложен метод тестирования моделей блоков, использующий современные подходы к построению тестового окружения и доказательства полноты тестирования.

2. Методика валидацни, применимая для доказательства качества работы блоков, имеющих в своем составе функцию восстановления состояния. 3. Методика оптимизации сложнофункциональных блоков„позволяющая обоснованно выбрать параметры оптимизации и оценить их влияние на характеристики микропроцессора. Практическая значимость диссертации: 1. Разработанный автором блок динамического предсказания команд условных переходов используется в серийно выпускаемых микросхемах разработки ФГУ ФНЦ НИИСИ РАН. 2.

Предложенный автором метод тестирования добавлен в маршрут разработки, применяемый в ФГУ ФНЦ НИИСИ РАН. Кроме того, в маршрут добавлено использование аппаратного ускорителя Ра11асйлп фирмы Садепсе. По материалам автореферата необходимо отметить следующие недостатки: Предлагаемый метод тестирования КТ1.-моделей блоков автором описан кратко, отсутствуют примеры кода, позволяющие построить тестовое окружение по предлагаемому методу. Указывается на использование для контроля наличия «мертвого» и избыточного кода среды формальной верификации Заярегбо1ЙФ, однако не обосновывается необходимость этого на этапе проектирования.

Современные САПР, применяемые для логического синтеза, проводят упрощение логических выражений, самостоятельно удаляя неиспользуемую и, в том числе, дублирующуюся логику. Отмеченные недостатки не снижают научной и практической ценности полученных автором результатов и не влияют на общую положительную оценку работы. На основе полученных в диссертации результатов спроектирован блок динамического предсказания команд условных переходов, позволяющий увеличить производительность микропроцессоров разработки ФГУ ФНЦ НИИСИ РАН. По теме диссертации опубликовано 15 печатных работ, в числе которых б работ в журналах из списка, рекомендованного БАК РФ, получено 4 патента РФ на изобретения.

Автореферат диссертации на соискание ученой степени кандидата технических наук соответствует специальности 05.13.05 — «Элементы и устройства вычислительной техники и систем управления». Диссертационная работа Барских Михаила Евгеньевича является законченной научноисследовательской работой, результаты которой применяются в практических Заместитель директора по науке АО «НИИП», В.Н.

Улимов д.т.н., доцент " 17 *'января 2013 г. Акционерное общество "Научно-исследовательский институт приборов" (АО "НИИП") 140080, Московская обл,, г. Лыткарино, промзона Хураево, строение 8. Тел.: (495) 552-39-31 Факс: (495) 552-39-11 е-та11: , %%Ж: Ь11р://ъячи.п11рпЬогоч.гц/ Подлинность подписи В.Н. Улимова подтверждаю Марина Юрьевна Завидова Исполнитель: О.А.

Лапская 1425)552 39 31 разработках отечественных микропроцессорных СБИС, а ее автор заслуживает присуждения ученой степени кандидата наук. .