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

ОРДЕНА ТРУДОВОГО КРАСНОГОЗНАМЕНИ ОТКРЫТОЕ АКЦИОНЕРНОЕ ОБЩЕСТВО КОНЦЕРН РОССИЯ, 197378, Санкт-Петербург, Чкапоеский проспект, 48. е- (1: Трут К р( . 1 Тепу(7-812)3208040741 Факс: (7-812)320 8052 отзыв ~на авто е е ат диссертационной работы Барских Михаила Евгеньевича «Блоки динамического предсказания переходов высокопроизводительных суперскалярных Й1БС микропроцессоров ответственного применения», представленную на соискание ученой степени кандидата технических наук по специальности 05.13.05 — «Элементы и устройства вычислительной техники и систем управления» Для создания цифровых вычислительных комплексов, обеспечивающих обработку в реальном масштабе времени больших объемов данных, требуется современная отечественная электронная компонентная база.

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

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

На ной новизной, несомненно, являются сформулированные в работе метод тестирования моделей блоков с использованием случайной генерации воздействий, методика валидации и методика оптимизации. П актическая значимость проделанной работы не вызывает сомнения: разработанный автором диссертации блок динамического предсказания условных переходов используется в составе микропроцессоров в серийно выпускаемых микросхемах, которые применяются многими организациями. Вкачествезамечанийпоавто е е а необходимоотметитьследующее: ° В автореферате нет временных диаграмм работы блока предсказания; ° Не объясняется почему для доказательства средствами САЛР формальной верификации корректности работы блока выбрана только блокировка конвейера. Отмеченные недостатки, тем не менее, не снижают научной ценности представленной работы.

Автореферат диссертации позволяет заключить, что работа выполнена на высоком уровне, удовлетворяет требованиям, предъявляемым к кандидатским диссертациям, а ее автор — Барских Михаил Евгеньевич — заслуживает присуждения ему ученой степени кандидата технических наук по специальности 05.13.05 — «Элементы и устройства вычислительной техники и систем управления». Главный специалист по программному обеспечению, 3 НИО, к.т.н., доцент Селеджи Григорий Церонович :У «/7» ~ ~ 2018 г.

Подпись Селеджи Г.Ц. заверяю: Начальник о .~-" Иванов Вадим Владимирович Акционерное общество «Концерн «Океанприбор» Адрес: 19737б, г. Санкт-Петербург, Чкаловский пр., д. 46. Тел.: +7 (812) 320 80 40, +7 (812) 320 80 42 Факс: +7 (812) 320 80 52 Сайт: ЬП:Оииж.осеан г(Ьог.гп .