​​📺Полчаса на код и два дня — на его проверку: как работают инженеры-верификаторы

Если на одном из этапов проектирования ракеты-носителя была допущена ошибка, то в космос она вряд ли полетит. С микросхемами и другими аппаратными блоками ситуация схожая. И это касается не только космически огромных затрат на их R&D. Ошибка, допущенная в процессе проектирования микросхемы, может привести к тому, что готовое устройство не будет работать так, как запланировано, или вовсе откажет. Минимизировать подобные риски позволяет этап верификации, когда инженерная команда убеждается, что результаты разработки соответствуют всем заложенным требованиям.

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

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

Также Алексей поделится практическим опытом работы с проектами, где много legacy-кода, и приведет примеры «токсичных» интерфейсов для верификаторов.

Смотреть 📺 | Слушать 🎤

#программы #подкасты #битовыемаски