Подкаст Битовые маски

Верификация аппаратных блоков / UVM / Рынок труда в hardware

10 выпуск
22 марта 2024
159
0
Подкаст Битовые маски
159
0
10 выпуск
22 марта 2024
Верификация аппаратных блоков / UVM / Рынок труда в hardware

Где послушать:


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

Как инженеры принимают решение о том, что конкретный блок верифицирован? Нужно ли тестировать тестовое окружение? Какие особенности есть у языка SystemVerilog и можно ли писать TestBench на C++ или Python? Что такое «токсичные» интерфейсы? Является ли UVM серебряной пулей? Как выглядит рынок труда в hardware-разработке и как его особенности влияют на подходы к работе? Обсудим эти и другие связанные с верификацией вопросы в десятом эпизоде «Битовых масок».

Подписывайтесь на Telegram-канал подкаста «Битовые маски» и первыми узнавайте о новых выпусках!
  • 00:00:00Тизер
  • 00:00:46Вступление. Представление Алексея
  • 00:01:55Как Алексей попал в верификацию
  • 00:08:33Как часто выходят новые стандарты SystemVerilog
  • 00:11:22В чем заключается верификация аппаратуры, ее виды и подходы
  • 00:25:29Особенности работы в командах с legacy-кодом
  • 00:29:16Как должен работать верификатор и какие задачи у верификаторов
  • 00:33:25Нужно ли писать тесты на сам TestBench
  • 00:35:10Помощь от верификаторов для воспроизведения и фикса багов
  • 00:39:55Особенности и магические сущности несинтезируемой части языка SystemVerilog
  • 00:50:07Может ли верификатор верифицировать любые аппаратные блоки
  • 00:51:15«Токсичные» интерфейсы (CHI)
  • 00:54:19Верификация на VHDL
  • 00:56:08UVM
  • 01:01:49Проблемы с готовыми VIP от различных вендоров
  • 01:07:23Проблемы UVM
  • 01:10:56Уникальные вещи в SystemVerilog
  • 01:16:11Верификация на С++
  • 01:17:54Верификация на Python, cocotb
  • 01:27:37Верификация на Chisel
  • 01:29:47Особенности рынка труда в hardware-разработке
  • 01:41:12Как проходят собеседования и их недостатки
  • 01:58:15Заключение
Наверх

Будь первым, кто оставит комментарий