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

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

Среди более узких тем подкаста:
➡️ в чем основная головная боль при построении чекеров кеша,
➡️ чем false sharing отличается от true sharing в верификации,
➡️ почему в верификации сложно разделить само тестирование и его автоматизацию,
➡️ как верификаторы в крупных компаниях оказываются «меж трех огней»,
➡️ в чем заключается «проклятие воспроизводимости»,
➡️ чего не хватает современным инструментам верификации и ее автоматизации,
➡️ уступают ли open source инструменты верификации проприетарным,
➡️ какие проблемы создают «закрытые клубы» в индустрии ПО для аппаратной разработки.

Полезные ссылки:
🔗 open source инструмент Corsair для построения карт регистров,
🔗 позитивслэк — канал Богдана об аппаратной разработке с уклоном в верификацию.

Смотреть или слушать
RUTUBE
VK
YOUTUBE
Истовый Инженер
Слушать в Я.Музыка