Приглашаем верификаторов, RTL-инженеров и FPGA-разработчиков на конференцию FPGA-Systems 2024.1 в Санкт-Петербурге и онлайн. Обсудим аспекты безопасности в рамках систем на кристалле, тестирование верификационных компонентов, фреймворк PyUVM и его использование для верификации цифровых дизайнов ASIC и FPGA, разработку трансиверов и многое другое. 

Регистрация уже открыта — заполняйте форму по ссылке и присоединяйтесь к конференции. Под катом — полная программа встречи.

Как разработать библиотеку верификационных компонентов и сохранить рассудок

Андрей Кущенко 

Руководитель группы верификации в YADRO

Для верификации RTL-модулей необходимо качественное тестовое окружение, которое эмулирует логику вокруг тестируемого модуля. Вместе с Андреем рассмотрим один из способов сформировать библиотеку верификационных компонентов и убедимся в корректности их работы с помощью библиотеки SVUnit. Если вы верификатор или RTL-инженер и иногда пишете тестовые окружения — этот доклад точно для вас.

Метод формирования стратегии верификации

Максим Мороз

Руководитель отдела системного программирования СнК в YADRO

Верификация и валидация — важная часть работы над микропроцессорами. В ходе создания продукта Максим и его команда поняли, что фокусируются на деталях и не видят общую картину. Тогда они решили изменить подход к верификации: в первую очередь планировать крупные части проекта, а после — мелкие детали. Благодаря этому методу команда научилась строить матрицу рисков и оценивать их связь с другими модулями, а также понимать, на чем стоит сфокусироваться, а где можно выполнить «гигиенический минимум». Максим поделится опытом работы с верификацией, который участники конференции смогут применить на своих проектах.

Как использовать фреймворк PyUVM для верификации

Егор Ковалёв

Инженер по разработке СнК в дивизионе разработки полупроводниковых продуктов в YADRO

Python становится все более популярным языком для решения задач верификации цифровых дизайнов ASIC и FPGA. Под эти задачи разработали фреймворки cocotb и PyUVM, которые добавляют в язык функционал для верификации. Они позволяют использовать Python в узкоспециализированной сфере и компенсировать кадровый голод. Егор расскажет, как применять PyUVM в реальных задачах верификации, и сравнит его с классическим подходом SV-UVM. 

Как сделать КВ-трансивер мечты и при чем тут FPGA 

Олег Белоусов

FPGA-инженер и embedded-программист 

Кто такие радиолюбители и чем они интересуются в XXI веке? Зачем им SDR и FPGA? Может ли радиолюбитель не заниматься FPGA профессионально, но разработать КВ-трансивер своей мечты? На эти и другие вопросы Олег Белоусов ответит в докладе. Тема будет интересна начинающим FPGA-инженерам и embedded-программистам, работающим с СнК на FPGA.

10 ошибок FPGA-шников: байки, кейсы, занимательные истории. Часть 2

Иван Дейнека

Доцент Университета ИТМО, заведующий лабораторией Университета ИТМО, преподаватель ДПО

Иван продолжает делиться занимательными историями из опыта работы с FPGA. Он расскажет, как мультициклами спасали тайминги, как работает визуализация ошибки восприятия непроходящих временных ограничений и почему ПЛИС — плохой источник тактового сигнала. Впервые в таком формате Иван выступил на конференции FPGA-Systems 2023.2 в Санкт-Петербурге.

Безопасная загрузка ОС

Антон Чуварин

Старший инженер по разработке СнК в YADRO

Инженеры разрабатывают методы обеспечения безопасности различных устройств на всех этапах работы, первый из которых — процесс загрузки операционной системы. Андрей расскажет о методе организации защиты с момента подачи питания на СнК до загрузки операционной системы, а также о том, какие принципы лежат в основе метода и как определять требования к аппаратной реализации подсистемы. Какое отношение к вопросу имеет определение «корень доверия» (root-of-trust) и может ли процесс загрузки быть безопасным — узнаете из доклада.

Где и когда встречаемся 

25 мая, суббота. Начало конференции в 11:00, сбор гостей — с 10:30.

В Санкт-Петербурге: Лодейнопольская улица, 5. Конгресс-центр «ПетроКонгресс», м. Чкаловская,

Онлайн: трансляция на YouTube, ссылку на которую пришлем после регистрации.