Верификация — очень ответственный этап аппаратной разработки, в ходе которого проект проверяют на ошибки и соответствие спецификации. В 23 выпуске «Битовых масок» к Антону Афанасьеву и Елене Лепилкиной присоединилась Алина Галичина из группы модульной верификации YADRO. Алина получила высшее образование на кафедре волоконно-оптических систем связи и перешла в разработку и верификацию цифровых схем. Кроме того, у героини есть несколько патентов, связанных с реализацией алгоритмов цифровой обработки сигнала.
Верификация процессоров / Формальная и функциональная / Трассировка печатных плат
Верификация процессоров / Формальная и функциональная / Трассировка печатных плат
Где послушать:
С Алиной ведущие обсудили множество связанных с верификацией и других тем:
- Особенности верификации с точки зрения типа устройств;
- Как проявляются «баги Шрёдингера» в симуляции;
- Как организуют трассировку печатных плат;
- Перспективы искусственного интеллекта в задачах трассировки;
- Разницу между функциональной и формальной верификацией и важность покрытия в них;
- Баланс между полнотой покрытия и экономией ресурсов в верификации;
- Влияние дизайна процессоров на их верификацию;
- Что можно и что не стоит автоматизировать в верификации;
- Почему аппаратная разработка консервативней программной.
#программы #подкасты #битовыемаски
Смотрите выпуски подкаста и на нашем Rutube-канале
И подписывайтесь на Telegram-канал подкаста!
- 00:05:00 — Тизер
- 00:01:05 — Представление Алины Галичиной
- 00:01:54 — Путь Алины в RTL-разработку. Источники знаний по RTL и верификации
- 00:07:43 — Связь цифровой обработки сигналов и FPGA
- 00:12:05 — В чем разница написания под FPGA и под ASIC
- 00:17:01 — Симуляторы для FPGA: зачем они нужны, какие ограничения имеют
- 00:22:54 — Трассировка печатных плат и цена ошибки на этом этапе
- 00:29:14 — Искусственный интеллект в САПР
- 00:33:23 — Какие существуют виды верификации
- 00:38:18 — Инструменты для функциональной и формальной верификации
- 00:42:01 — На каких этапах лучше использовать функциональную, а на каких — формальную верификацию
- 00:47:39 — Полное функциональной покрытие: насколько оно реализуемо
- 00:52:54 — UVM-методология и новые фреймворки для верификации
- 00:56:31 — Нужна ли функциональная верификация для маленьких блоков
- 01:00:36 — Влияние архитектуры процессора на его верификацию
- 01:05:25 — Случайные тесты в верификации
- 01:06:48 — Специфика верификации Wi-Fi-чипов
- 01:11:21 — Дополнительные задачи в процессе верификации
- 01:13:17 — Разница в верификации аналоговых и аналогово-цифровых схем
- 01:16:03 — Дороговизна верификации аналогово-цифровых схем
- 01:17:50 — Автоматизация для верификаторов
- 01:25:05 — Чем должна заканчиваться работа верификатора
- 01:29:27 — Методологии автоматизации в верификации
- 01:33:38 — Как упростить анализ верификационных тестов в RTL
- 01:36:58 — Консервативность и мотивация в разработке «железа» по сравнению с разработкой ПО
- 01:40:01 — Оптимизация рабочих процессов в верификации
- 01:47:25 — Создание тестового окружения с нуля
- 01:49:49 — Проблемы при автоматизации верификационных тестов
- 01:52:25 — Open-source в RTL и верификации
- 01:54:38 — Заключение
Будь первым, кто оставит комментарий