Семинар «Инжиниринг современных информационных систем»
11 марта 2022 г. (пятница), 15:00 (11:00 МСК)
Тема:
Инструментальная поддержка разработки через тестирование ПО для вентильных матриц
Докладчик:
Сергей Старолетов (ИАиЭ СО РАН, Новосибирск)
Аннотация: На семинаре планируется обсудить концепцию разработки ПО для вентильных матриц на основе подхода test-driven development. Среди прочего планируется провести критический анализ недостатков существующих IDE для FPGA, рассмотреть вопросы использования темпоральных логик, примеры использования подхода на модельной задаче, подходы к поддержке предлагаемого метода разработки на уровне IDE.
ссылка на вебинар -- https://meet.google.com/iqb-gbix-azj
Страница семинара