Начав разговор с верификации кеша в многоядерных системах, собеседники перешли к сложностям для верификаторов в разных компаниях. Вспомнили о воспроизводимости багов и других рабочих проблемах, балансе энтерпрайза и 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://youtu.be/UvJxCEgaTNQ
Верификация аппаратных блоков / UVM / Рынок труда в hardware https://youtu.be/A3Y5gb4YIt4
- Как Богдан попал в полупроводниковую отрасль
- В чем особенность кешей для многоядерных систем
- Сложности освоения протокола AMBA CHI
- Верификация когерентности кеша
- Место автоматизации в сфере верификации
- Как добиваться воспроизводимости багов
- Чего не хватает современным инструментам верификации и ее автоматизации
- Open source-проект Corsair и подходы к разработке с помощью AI
- Как обстоят дела с внедрением AI в RTL-разработку
- Консолидация крупных производителей ПО для аппаратной разработки
- О телеграм-канале Богдана «Позитивслэк»
#БитовыеМаски #Верификация #SystemVerilog #RTL #HardwareVerification #UVM #CacheCoherency #AMBA #AMBA_CHI #SoC #ASIC #EDA #OpenSource #AI #Microelectronics #HardwareEngineering #YADRO #СистемноеПрограммирование
