Верификация процессоров / Формальная и функциональная / Трассировка печатных плат

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

С Алиной ведущие обсудили множество вопросов, связанных с разными типами верификации, погрузились в трассировку печатных плат и порассуждали об аппаратной разработке в принципе. Как обещали, прилагаем ссылки на публикации и патенты Алины.

Видео на YouTube: https://youtu.be/1Syc3UQ4BWg

Видео на Rutube: https://rutube.ru/video/457793032a3949795ad34d07204f41bc/

Статья https://habr.com/ru/articles/588703/

Тайм-коды:

00:05 - Тизер

01:05 - Представление Алины Галичиной

01:54 - Путь Алины в RTL-разработку. Источники знаний по RTL и верификации

07:43 - Связь цифровой обработки сигналов и FPGA

12:05 - В чем разница написания под FPGA и под ASIC

17:01 - Симуляторы для FPGA: зачем они нужны, какие ограничения имеют