Приглашаем верификаторов, RTL-инженеров и FPGA-разработчиков на конференцию FPGA-Systems 2024.1 в Санкт-Петербурге и онлайн. Обсудим аспекты безопасности в рамках систем на кристалле, тестирование верификационных компонентов, фреймворк PyUVM и его использование для верификации цифровых дизайнов ASIC и FPGA, разработку трансиверов и многое другое.
Регистрация уже открыта — заполняйте форму по ссылке и присоединяйтесь к конференции. Под катом — полная программа встречи.
![](https://habrastorage.org/getpro/habr/upload_files/555/b5b/819/555b5b8192f90caa500c109902e410c3.png)
Как разработать библиотеку верификационных компонентов и сохранить рассудок
![](https://habrastorage.org/getpro/habr/upload_files/93f/5f0/bae/93f5f0bae669876e66e49ebdaee30fe5.jpg)
Андрей Кущенко
Руководитель группы верификации в YADRO
Для верификации RTL-модулей необходимо качественное тестовое окружение, которое эмулирует логику вокруг тестируемого модуля. Вместе с Андреем рассмотрим один из способов сформировать библиотеку верификационных компонентов и убедимся в корректности их работы с помощью библиотеки SVUnit. Если вы верификатор или RTL-инженер и иногда пишете тестовые окружения — этот доклад точно для вас.
Метод формирования стратегии верификации
![](https://habrastorage.org/getpro/habr/upload_files/dec/8c0/ffd/dec8c0ffd96bef7deca341fc9084cdaf.jpg)
Максим Мороз
Руководитель отдела системного программирования СнК в YADRO
Верификация и валидация — важная часть работы над микропроцессорами. В ходе создания продукта Максим и его команда поняли, что фокусируются на деталях и не видят общую картину. Тогда они решили изменить подход к верификации: в первую очередь планировать крупные части проекта, а после — мелкие детали. Благодаря этому методу команда научилась строить матрицу рисков и оценивать их связь с другими модулями, а также понимать, на чем стоит сфокусироваться, а где можно выполнить «гигиенический минимум». Максим поделится опытом работы с верификацией, который участники конференции смогут применить на своих проектах.
Как использовать фреймворк PyUVM для верификации
![](https://habrastorage.org/getpro/habr/upload_files/e0d/47d/448/e0d47d44877d08ebfc3d7a36ceb3fba5.jpg)
Егор Ковалёв
Инженер по разработке СнК в дивизионе разработки полупроводниковых продуктов в YADRO
Python становится все более популярным языком для решения задач верификации цифровых дизайнов ASIC и FPGA. Под эти задачи разработали фреймворки cocotb и PyUVM, которые добавляют в язык функционал для верификации. Они позволяют использовать Python в узкоспециализированной сфере и компенсировать кадровый голод. Егор расскажет, как применять PyUVM в реальных задачах верификации, и сравнит его с классическим подходом SV-UVM.
Как сделать КВ-трансивер мечты и при чем тут FPGA
![](https://habrastorage.org/getpro/habr/upload_files/62b/7bb/752/62b7bb752d135e0d60d8d55c2f646b63.jpg)
Олег Белоусов
FPGA-инженер и embedded-программист
Кто такие радиолюбители и чем они интересуются в XXI веке? Зачем им SDR и FPGA? Может ли радиолюбитель не заниматься FPGA профессионально, но разработать КВ-трансивер своей мечты? На эти и другие вопросы Олег Белоусов ответит в докладе. Тема будет интересна начинающим FPGA-инженерам и embedded-программистам, работающим с СнК на FPGA.
10 ошибок FPGA-шников: байки, кейсы, занимательные истории. Часть 2
![](https://habrastorage.org/getpro/habr/upload_files/18b/80d/a90/18b80da909a08c6a4773bdde518b1584.jpg)
Иван Дейнека
Доцент Университета ИТМО, заведующий лабораторией Университета ИТМО, преподаватель ДПО
Иван продолжает делиться занимательными историями из опыта работы с FPGA. Он расскажет, как мультициклами спасали тайминги, как работает визуализация ошибки восприятия непроходящих временных ограничений и почему ПЛИС — плохой источник тактового сигнала. Впервые в таком формате Иван выступил на конференции FPGA-Systems 2023.2 в Санкт-Петербурге.
Безопасная загрузка ОС
![](https://habrastorage.org/getpro/habr/upload_files/fe8/2a2/f00/fe82a2f009e6d955f485b8bd8d12deff.jpg)
Антон Чуварин
Старший инженер по разработке СнК в YADRO
Инженеры разрабатывают методы обеспечения безопасности различных устройств на всех этапах работы, первый из которых — процесс загрузки операционной системы. Андрей расскажет о методе организации защиты с момента подачи питания на СнК до загрузки операционной системы, а также о том, какие принципы лежат в основе метода и как определять требования к аппаратной реализации подсистемы. Какое отношение к вопросу имеет определение «корень доверия» (root-of-trust) и может ли процесс загрузки быть безопасным — узнаете из доклада.
Где и когда встречаемся
25 мая, суббота. Начало конференции в 11:00, сбор гостей — с 10:30.
В Санкт-Петербурге: Лодейнопольская улица, 5. Конгресс-центр «ПетроКонгресс», м. Чкаловская,
Онлайн: трансляция на YouTube, ссылку на которую пришлем после регистрации.