YADRO ASIC+RTL+FPGA MEETUP: от верификации до запуска тестов

Системные программисты решают много интересных и амбициозных задач в маршруте проектирования систем на кристалле. В докладе рассмотрим жизненный цикл SW разработки для решения задач верификации систем на кристалле. Поговорим про практические инструменты и подходы, применяемые в данной области.

Доклад будет интересен системным программистам, которые хотят узнать, как устроена разработка при проектировании современных чипов.

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

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

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

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

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

Прототипирование на ПЛИС-кластерах часто применяется в индустрии для отладки разработок. Я расскажу о том, как можно построить такой кластер для прототипирования и верификации. Расскажу о подходах, которые часто применяются, рассмотрю существующие коммерческие решения и оценю производительность, которую можно получить.

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

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