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

В 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 #верификация