🛡️ Поможет ли AI в RTL и верификации?

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

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

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

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

🔥Присоединяйтесь к каналу «Битовых масок», чтобы не пропустить новые выпуски!

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

@ultimate_engineer