Семинар «Инжиниринг современных информационных систем»

11 марта 2022 г. (пятница), 15:00 (11:00 МСК)

Тема:
Инструментальная поддержка разработки через тестирование ПО для вентильных матриц

Докладчик:
Сергей Старолетов (ИАиЭ СО РАН, Новосибирск)

Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.

ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj

Страница семинара