Привет, Хабр! 2 марта, в субботу, собираемся в Минске и онлайн на бесплатном митапе по FPGA, ASIC и RTL. Будем обсуждать итеративную сборку проектов и имплементацию больших дизайнов на ПЛИС, подходы к верификации, а также систему бронирования и запуска тестов на сотнях стендов за раз.

Своим опытом поделятся пять ведущих инженеров и руководителей команд, которые разрабатывают системы на кристалле в YADRO. Для участников из всех уголков мира проведем трансляцию — вы сможете задать вопросы спикерам в чате. Вести митап и панельную дискуссию будет Михаил Коробков, лидер сообщества FPGA-Systems.

Сбор гостей в Минске — в 10:00 по московскому времени, к трансляции можно подключаться с 11:00. Подробности и регистрация — по ссылке, а ниже — подробная программа митапа.

Что в программе

Системная разработка и функциональная верификация систем на кристалле

Дмитрий Кишко

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

Дмитрий рассмотрит жизненный цикл software-разработки для решения задач верификации систем на кристалле, а также практические инструменты и подходы, применяемые в данной области. Доклад будет интересен системным программистам, которые хотят узнать как устроена разработка при проектировании современных чипов.

Итеративная сборка проектов ПЛИС

Константин Павлов

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

Какими средствами можно проводить итеративную сборку и какие преимущества ее применение дает разработчику ПЛИС? Константин ответит на эти вопросы, покажет редкую, но очень полезная утилиту, о которой редко вспоминают даже опытные разработчики, и представит элегантное решение для организации итеративной сборки.

Как мы писали свою систему бронирования и запуска тестов

Анатолий Вильдеманов

Ведущий инженер по разработке СнК

Из доклада вы узнаете, как перезаливы образов в процессе выполнения тестов и другие проблемы привели к идее автоматизировать подход к бронированию стендов. Анатолий расскажет, как работает система автоматизации тестирования для лаборатории на 500 стендов и несколько миллионов тестов, а также почему его команда отказалась от существующих на рынке решений. И, конечно, о «граблях», на которые довелось наступить в процессе разработки, и планах по развитию системы, которая уже используется во многих дивизионах YADRO.

Маршрут функциональной верификации цифрового дизайна

Михаил Барских

Руководитель отдела верификации

Когда речь идет о верификации, сразу представляется фреймворк UVM. Однако UVM не равен верификации: ее полный маршрут, принятый в индустрии, включает также важные этапы планирования верификации и ее окончание. Именно на них Михаил сделает акцент в докладе. Он расскажет о сформированном на собственном опыте подходе к организации работ по верификации, который вы сможете переиспользовать для своих проектов.

Конечно, доклад затронет UVM и его применение. Также Михаил кратко расскажет о набирающем популярность фреймворке Cocotb и надстройке над ним — PyUVM.

Имплементация больших дизайнов на ПЛИС-кластере

Анатолий Лернер

Инженер по разработке СнК

Для отладки разработок часто применяется прототипирование на ПЛИС-кластерах. Анатолий расскажет, как команда YADRO построила такой кластер, зачем это было нужно, какие подходы применяли и что получилось в результате. В том числе сравнит получившееся решение с аналогами и расскажет, как команда собирается улучшать свой ПЛИС-кластер.

Дискуссия «Вызовы функциональной верификации в условиях ограничений»

Обсудим ограничения, которые накладывает запрет экспорта инструментов для разработки современных систем на кристалле на работу инженеров. Уделим время открытым маршрутам проектирования и верификации, а также постараемся определить те их этапы, где бесплатные решения могут частично или полностью заменить проприетарные.