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

В 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: зачем они нужны, какие ограничения имеют 22:54 - Трассировка печатных плат и цена ошибки на этом этапе 29:14 - Искусственный интеллект в САПР 33:23 - Какие существуют виды верификации 38:18 - Инструменты для функциональной и формальной верификации 42:01 - На каких этапах лучше использовать функциональную, а на каких — формальную верификацию 47:39 - Полное функциональной покрытие: насколько оно реализуемо 52:54 - UVM-методология и новые фреймворки для верификации 56:31 - Нужна ли функциональная верификация для маленьких блоков 1:00:36 - Влияние архитектуры процессора на его верификацию 1:05:25 - Случайные тесты в верификации 1:06:48 - Специфика верификации Wi-Fi-чипов 1:11:21 - Дополнительные задачи в процессе верификации 1:13:17 - Разница в верификации аналоговых и аналогово-цифровых схем 1:16:03 - Дороговизна верификации аналогово-цифровых схем 1:17:50 - Автоматизация для верификаторов 1:25:05 - Чем должна заканчиваться работа верификатора 1:29:27 - Методологии автоматизации в верификации 1:33:38 - Как упростить анализ верификационных тестов в RTL 1:36:58 - Консервативность и мотивация в разработке «железа» по сравнению с разработкой ПО 1:40:01 - Оптимизация рабочих процессов в верификации 1:47:25 - Создание тестового окружения с нуля 1:49:49 - Проблемы при автоматизации верификационных тестов 1:52:25 - Open-source в RTL и верификации 1:54:38 - Заключение#RTL #FPGA #верификация