YADRO ASIC+RTL+FPGA MEETUP: от верификации до запуска тестов
Молодежная
О митапе
Своим опытом поделятся ведущие инженеры и руководители команд, которые разрабатывают системы на кристалле в YADRO. Обсудим итеративную сборку проектов и имплементацию дизайнов на ПЛИС, подходы к верификации, систему бронирования и запуска тестов на сотнях стендов за раз. В процессе прервемся на обед, а завершим митап дискуссией о вызовах функциональной верификации в условиях тотальных ограничений, которую поможет провести лидер сообщества FPGA-Systems Михаил Коробков.
Программа
Системная разработка и функциональная верификация систем на кристалле
Системные программисты решают много интересных и амбициозных задач в маршруте проектирования систем на кристалле. В докладе рассмотрим жизненный цикл SW разработки для решения задач верификации систем на кристалле. Поговорим про практические инструменты и подходы, применяемые в данной области.
Доклад будет интересен системным программистам, которые хотят узнать, как устроена разработка при проектировании современных чипов.
Итеративная сборка проектов ПЛИС
Вы узнаете, что такое итеративная сборка, какими средствами ее можно проводить и какие преимущества ее применение дает разработчику ПЛИС. Константин покажет одну редкую, но очень полезную утилиту, о которой редко вспоминают даже опытные разработчики, и представит элегантное решение для организации итеративной сборки.
Путь от одной FPGA-платы до полноценной системы автоматизации тестирования
Из доклада вы узнаете, как перезаливы образов в процессе выполнения тестов и другие проблемы привели к идее автоматизировать подход к бронированию стендов. Анатолий расскажет, как работает система автоматизации тестирования для лаборатории на 500 стендов и несколько миллионов тестов, а также почему его команда отказалась от существующих на рынке решений. И, конечно, о «граблях», на которые довелось наступить в процессе разработки, и планах по развитию системы, которая уже используется во многих дивизионах YADRO.
Маршрут функциональной верификации цифрового дизайна
Когда речь идет о верификации, сразу представляется фреймворк UVM. Однако UVM не равен верификации: полный маршрут, принятый в индустрии, включает также важные этапы планирования верификации и ее окончание.
Именно на них Михаил сделает упор в своем докладе. На основе своего опыта он расскажет о подходе к организации работ по верификации, который может быть использован в качестве примера для ваших проектов.
Конечно, в докладе будет затронут UVM и его применение: посмотрим на подход к разработке модульного окружения для переиспользования его на системном уровне и приемы, которые позволяют упростить написание тестового окружения и ускорить моделирование. Также Михаил кратко расскажет о набирающем популярность фреймворке Cocotb и надстройке над ним — PyUVM.
Как построить ПЛИС-кластер для прототипирования и верификации разработок
Прототипирование на ПЛИС-кластерах часто применяется в индустрии для отладки разработок. Я расскажу о том, как можно построить такой кластер для прототипирования и верификации. Расскажу о подходах, которые часто применяются, рассмотрю существующие коммерческие решения и оценю производительность, которую можно получить.
Панельная дискуссия «Вызовы функциональной верификации в условиях тотальных ограничений»
Ограничение на использование проприетарных решений со стороны большой тройки затрудняет разработку и верификацию современных систем на кристалле. Однако без доступа к отдельным инструментам нормальная разработка невозможна: верификация не сводится к анализу кода и симуляции, она обязательно содержит этапы прототипирования на ПЛИС и эмуляции.
В рамках дискуссии с гостями митапа обсудим ограничения, с которыми приходится мириться в рамках запрета экспорта инструментов. Уделим время открытым маршрутам проектирования и верификации, а также постараемся определить те их этапы, где бесплатные решения могут частично или полностью заменить проприетарные.