Когерентность. Автоматизация. Искусственный интеллект для RTL и верификации

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

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

Среди тем подкаста:

• в чем основная головная боль при построении чекеров кеша,
• почему в верификации сложно разделить само тестирование и его автоматизацию,
• как верификаторы в крупных компаниях оказываются «меж трех огней»,
• в чем заключается «проклятие воспроизводимости»,
• в какие open source-проекты вкладывается Богдан,
• как стоит использовать AI для разработки «в свободное время»,
• как актуальные AI-модели справляются с RTL-разработкой,
• что интересного можно найти в телеграм-канале Богдана.

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

Смотрите выпуски подкаста и на нашем Rutube-канале и VK.