🎤Верификация процессоров: особенности, различия в подходах и перспективы развития

Верификация — очень ответственный этап аппаратной разработки, в ходе которого проект проверяют на ошибки и соответствие спецификации. В 23 выпуске «Битовых масок» к Антону Афанасьеву и Елене Лепилкиной присоединилась Алина Галичина из группы модульной верификации YADRO. Алина получила высшее образование на кафедре волоконно-оптических систем связи и перешла в разработку и верификацию цифровых схем. Кроме того, у героини есть несколько патентов, связанных с реализацией алгоритмов цифровой обработки сигнала.

Вместе с Алиной обсудили множество тем:

▪️Особенности верификации с точки зрения типа устройств;
▪️Как проявляются «баги Шрёдингера» в симуляции;
▪️Как организуют трассировку печатных плат;
▪️Перспективы искусственного интеллекта в задачах трассировки;
▪️Влияние дизайна процессоров на их верификацию;
▪️Что можно и что не стоит автоматизировать в верификации.

Смотреть или слушать ➡️

#программы #подкасты #битовыемаски

@ultimate_engineer