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

Начав разговор с верификации кеша в многоядерных системах, собеседники перешли к сложностям для верификаторов в разных компаниях. Вспомнили о воспроизводимости багов и других рабочих проблемах, балансе энтерпрайза и open source в индустрии. Оценили успехи AI в RTL-разработке, а также обсудили его сбалансированное использование в личных проектах.
Среди тем подкаста:
в чем основная головная боль при построении чекеров кеша,
как верификаторы в крупных компаниях оказываются меж трех огней,
в чем заключается «проклятие воспроизводимости»,
как стоит использовать AI для разработки в свободное время,
как актуальные AI-модели справляются с RTL-разработкой.
🔥 Смотрите и слушайте подкаст на любой удобной платформе — и присоединяйтесь к каналу «Битовых масок», чтобы не пропустить новые выпуски!
















