Путь в микроэлектронику через верификацию: руководство для начинающих

Привет, Хабр! Меня зовут Дмитрий Кишко, я руководитель группы функциональной верификации в YADRO. Представьте, что вы строите космический корабль. Он еще не взлетел, но любая ошибка в конструкции уже может стоить миллионы или даже сорвать всю миссию. В разработке микроэлектроники ситуация похожа: перед тем как чип попадет на производство, его работу проверяют сотни раз, но не физически, а в симуляторах. Этот этап называется функциональной верификацией, и без него современная электроника просто «не взлетит». Под катом расскажу, как работает команда функциональной верификации, с какими задачами сталкиваются инженеры и почему эта область так важна.

https://habr.com/ru/companies/yadro/articles/899446/

#soc_design #производство_электроники #верификация #верификация_микросхем

Материалы для разработчиков систем на кристалле: функциональная верификация, итеративная сборка, свой ПЛИС-кластер

Привет, Хабр! Принесли материалы с недавнего митапа для FPGA/ASIC/RTL-инженеров — добавляйте в закладки, чтобы посмотреть в свободное время. В докладах вас ждут: • Шаблоны документов, которые нужны при функциональной верификации, и шаблон проекта для организации итеративной сборки. • Обзор плюсов и минусов существующих систем для автоматизации тестирования на FPGA-стендах. • Способ оценки производительности коммерческого ПЛИС-кластера и собственного решения.

https://habr.com/ru/companies/yadro/articles/800885/

#митап #плис #верификация_микросхем #тестирование

Митап для FPGA-инженеров и разработчиков систем на кристалле в Минске и онлайн: от верификации до запуска тестов

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

https://habr.com/ru/companies/yadro/articles/791728/

#fpga #митап #верификация_микросхем #asic