Когерентность. Автоматизация. Искусственный интеллект для RTL и верификации
В 29 выпуске «Битовых масок» к Алине Галичиной и Антону Афанасьеву присоединился Богдан Колбов — ведущий инженер по модульной верификации YADRO, специалист с широким опытом на разных инженерных позициях в индустрии. Начав разговор с верификации кеша в многоядерных системах, собеседники перешли к сложностям для верификаторов в разных компаниях. Вспомнили о воспроизводимости багов и других рабочих проблемах, балансе энтерпрайза и open source в индустрии. Оценили успехи AI в RTL-разработке, а также обсудили его сбалансированное использование в личных проектах. Среди тем подкаста: в чем основная головная боль при построении чекеров кеша, почему в верификации сложно разделить само тестирование и его автоматизацию, как верификаторы в крупных компаниях оказываются «меж трех огней», в чем заключается «проклятие воспроизводимости», в какие open source-проекты вкладывается Богдан, как стоит использовать AI для разработки «в свободное время», как актуальные AI-модели справляются с RTL-разработкой, что интересного можно найти в телеграм-канале Богдана. Полезные ссылки: open source инструмент Corsair для построения карт регистров https://github.com/esynr3z/corsair, «позитивслэк» — канал Богдана об аппаратной разработке с уклоном в верификациюhttps://t.me/positiveslack, упомянутые выпуски подкаста: FPGA / Разработка на FPGA / Создание FPGA-сообщества https://rutube.ru/video/4fa1b9837a7e8f800e5fe37fa7fb15ba/?r=wd Верификация аппаратных блоков / UVM / Рынок труда в hardware https://rutube.ru/video/27b88ab1b77c7f8b2a35384a3f0021a2/?r=wd 00:00:50 - Как Богдан попал в полупроводниковую отрасль 00:05:35 - В чем особенность кешей для многоядерных систем 00:13:22 - Сложности освоения протокола AMBA CHI 00:21:34 - Верификация когерентности кеша 00:42:53 - Место автоматизации в сфере верификации 00:47:12 - Как добиваться воспроизводимости багов 01:00:28 - Чего не хватает современным инструментам верификации и ее автоматизации 01:15:10 - Open source-проект Corsair и подходы к разработке с помощью AI 01:32:29 - Как обстоят дела с внедрением AI в RTL-разработку 01:39:28 - Консолидация крупных производителей ПО для аппаратной разработки 01:49:39 - О телеграм-канале Богдана «Позитивслэк» #БитовыеМаски #Верификация #SystemVerilog #RTL #HardwareVerification #UVM #CacheCoherency #AMBA #AMBA_CHI #SoC #ASIC #EDA #OpenSource #AI #Microelectronics #HardwareEngineering #YADRO #СистемноеПрограммирование
В 29 выпуске «Битовых масок» к Алине Галичиной и Антону Афанасьеву присоединился Богдан Колбов — ведущий инженер по модульной верификации YADRO, специалист с широким опытом на разных инженерных позициях в индустрии. Начав разговор с верификации кеша в многоядерных системах, собеседники перешли к сложностям для верификаторов в разных компаниях. Вспомнили о воспроизводимости багов и других рабочих проблемах, балансе энтерпрайза и open source в индустрии. Оценили успехи AI в RTL-разработке, а также обсудили его сбалансированное использование в личных проектах. Среди тем подкаста: в чем основная головная боль при построении чекеров кеша, почему в верификации сложно разделить само тестирование и его автоматизацию, как верификаторы в крупных компаниях оказываются «меж трех огней», в чем заключается «проклятие воспроизводимости», в какие open source-проекты вкладывается Богдан, как стоит использовать AI для разработки «в свободное время», как актуальные AI-модели справляются с RTL-разработкой, что интересного можно найти в телеграм-канале Богдана. Полезные ссылки: open source инструмент Corsair для построения карт регистров https://github.com/esynr3z/corsair, «позитивслэк» — канал Богдана об аппаратной разработке с уклоном в верификациюhttps://t.me/positiveslack, упомянутые выпуски подкаста: FPGA / Разработка на FPGA / Создание FPGA-сообщества https://rutube.ru/video/4fa1b9837a7e8f800e5fe37fa7fb15ba/?r=wd Верификация аппаратных блоков / UVM / Рынок труда в hardware https://rutube.ru/video/27b88ab1b77c7f8b2a35384a3f0021a2/?r=wd 00:00:50 - Как Богдан попал в полупроводниковую отрасль 00:05:35 - В чем особенность кешей для многоядерных систем 00:13:22 - Сложности освоения протокола AMBA CHI 00:21:34 - Верификация когерентности кеша 00:42:53 - Место автоматизации в сфере верификации 00:47:12 - Как добиваться воспроизводимости багов 01:00:28 - Чего не хватает современным инструментам верификации и ее автоматизации 01:15:10 - Open source-проект Corsair и подходы к разработке с помощью AI 01:32:29 - Как обстоят дела с внедрением AI в RTL-разработку 01:39:28 - Консолидация крупных производителей ПО для аппаратной разработки 01:49:39 - О телеграм-канале Богдана «Позитивслэк» #БитовыеМаски #Верификация #SystemVerilog #RTL #HardwareVerification #UVM #CacheCoherency #AMBA #AMBA_CHI #SoC #ASIC #EDA #OpenSource #AI #Microelectronics #HardwareEngineering #YADRO #СистемноеПрограммирование