Всем привет!

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

Из выпуска вы узнаете:
▪По каким критериям инженеры принимают решение о том, что блок верифицирован;
▪Что такое Universal Verification Methodology и зачем она нужна;
▪Какие особенности есть у языка SystemVerilog и какие другие технологии могут применяться для верификации;
▪Может ли у бита быть не два значения, а четыре;
▪Какие интерфейсы называют «токсичными»;
▪Как выглядит рынок труда в hardware-разработке и как это влияет на подходы к работе.

Посмотреть и послушать новый эпизод можно на «Истовом инженере»: https://engineer.yadro.com/podcast/verification/

Делитесь своими отзывами и предложениями!