About Битовые маски: о системном программировании простыми словами
Системное программирование и разработка процессоров — область довольно узкая. Но именно в ней работает множество отличных профессионалов, создавших продукты, которыми программисты пользуются ежедневно. Мы познакомим вас с этими экспертами, расскажем об актуальных задачах, которые решают в отрасли, и покажем варианты развития для системных программистов и тех, кто хочет ими стать.
Когерентность. Автоматизация. Искусственный интеллект для 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://youtu.be/UvJxCEgaTNQ
Верификация аппаратных блоков / UVM / Рынок труда в hardware https://youtu.be/A3Y5gb4YIt4
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 #СистемноеПрограммирование
5 Jun 2026
Архитектура «Эльбрус» / Компилятор и профилировщик
В новом выпуске «Битовые маски» возвращаются к своим истокам, а именно к компиляторам для процессоров. И процессоров весьма специфических — на базе архитектуры VLIW (Very Long Instruction Word). Разобраться в теме ведущим Елене Лепилкиной и Алине Галичиной поможет Виктор Шампаров — разработчик компилятора LCC для микропроцессоров «Эльбрус».
Виктор провел подробную экскурсию по особенностям «Эльбруса» и архитектуры VLIW с точки зрения системного программирования. Кроме того, Виктор как опытный преподаватель оценил, как сегодня осваивают компиляторы студенты технических вузов. Среди тем подкаста:
почему сложно сделать хороший компилятор под VLIW;
в чем разница между советским и российским «Эльбрусом»;
почему в разработке для «Эльбруса» очень важно знание компилятора;
почему в архитектуре «Эльбруса» сравнительно больше регистров;
существуют ли «Эльбрусы» для нейросетей;
что делают студенты на курсе Виктора по оптимизациям в компиляции;
в каких вузах стоит учиться работе с компиляторами.
Полезные ссылки:
доклад Виктора «Компилятор LCC и оптимизация слияния кода» https://jrg.su/FzxcY2,
доклад Виктора «PGO: как профиль используется для оптимизации» https://jrg.su/XDSELb,
портал о разработке на платформе «Эльбрус» https://dev.mcst.ru/.
15 May 2026
GPU и акселераторы для нейросетей / Тензорные компиляторы / Инференс LLM
В новом выпуске «Битовых масок» главной темой стали нейросети — и, конечно же, системное программирование и аппаратная разработка в этой области. К Елене Лепилкиной и Антону Афанасьеву присоединился Андрей Камаев. Андрей стартовал в ИИ-разработке с популярнейшей библиотеки компьютерного зрения OpenCV еще в те времена, когда этим занималась независимая компания Itseez. Затем он продолжил карьеру в Intel, а сейчас является экспертом по разработке ПО искусственного интеллекта YADRO.
В ходе выпуска Андрей рассказал об истории развития современных нейросетей и осветил текущий рынок «железа» для ИИ. После этого разговор перешел к специфике разработки LLM «изнутри» и завершился полезными советами для тех, кто только начинает искать место разработчика и боится конкуренции с нейросетями. Основные темы подкаста:
как сфера искусственного интеллекта пришла к LLM и другим современным концепциям;
как устроены гонки на рынке больших языковых моделей сегодня;
как поделен рынок «железа» для тренировки LLM;
почему в лидеры ИИ-железа не вышла AMD;
почему сложно сделать специальный аппаратный акселератор для LLM, как для криптовалюты;
что особенного в компиляторах для нейросетей;
почему любая нейросеть — это вредный джинн;
что важно разработчикам-джунам для успешной конкуренции с LLM.
Reach and audience
Public platform figures. Ratings count people who left a rating, not total listeners.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show Podcast research with Pod Engine
