Исследовательская группа

Лаборатория языковых инструментов

Язык высокоуровневого синтеза и быстрого моделирования интегральных схем

May 15

Контекст: "Высокоуровневый синтез" (HLS) -- общее название для технологий, предназначенных для описания интегральных схем (ИС) на высоком уровне абстракции. Низким уровнем абстракции считаются классические VHDL, Verilog. Высоким уровнем в большинстве случаев считаются языки Си/С++ с разными добавками и ограничениями, но бывают также и специализированные высокоуровневые языки описания аппаратуры (Bluespec, Handel-C, ...). Для HLS важна возможность не только описывать ИС более "красиво" или "лаконично", но и возможность быстрого (на порядки быстрее, чем VHDL) моделирования такого описания. Последняя присутствует не во всех реализациях HLS.

Тема: мы рассмотрим язык описания аппаратуры, также позволяющий описывать ИС более "лаконично", чем на классическом VHDL. Обсудим две семантики этого языка -- одна для трансляции в VHDL и последующего исполнения на ПЛИС, другая для быстрого моделирования на инструментальной машине. Если автор ИС может пользоваться любыми конструкциями языка, то очевидно, что результаты моделирования могут не совпадать с результатами исполнения. Однако, если запретить часть конструкций в языке, это становится не столь очевидным. Work in progress -- так ограничить язык, чтобы он не потерял практической применимости, а две его семантики стали эквивалентны.

При наличии времени также можно будет обсудить разные проекты, в которых этот язык применялся.

Докладчик: Олег Медведев.