31 Jul 2026, 18:04 UTC378 views24 reactionsread 6 August 2026 Forwarded from @enginegger
Поделюсь историей успеха на поприще ИИ-ассистированного баг-хантинга в RTL. А точнее, прорекламирую замечательную прогу для работы с дампами вейформ от нашего товарища positiveslack. Прога сделана специально для ИИ-агентов, чтобы им было удобно (и дёшево) анализировать дампы.
Суть такова. Есть проект SoC на базе софтпроца с разнообразной периферией. Есть тестбенч, где два таких SoC работают навстречу через PCIe. И е…
🔥21🥱3
17 Jul 2026, 14:00 UTC811 views13 reactionsread 6 August 2026 Photo
Проверка верилятора на прочность
Всё началось с проверки того, а насколько реально verilator поддерживает конструкции функционального покрытия. Спойлер, хоть есть существенные ограничения, но уже довольно неплохо, кажется для cocotb уже можно отказаться от pyvsc в пользу нативных кавергруп в интерфейсе. Но любопытно больше то, что железный ещё мне и багов пачку еще принес, которые нашел в процессе.
Стало интересно,…
🔥10🤯2🥱1
12 Jul 2026, 16:47 UTC≈1,120 views14 reactionsread 6 August 2026 Yosys + SV 😎
Кстати SystemVerilog теперь в Yosys 0.67 (релиз пару дней назад):
For SystemVerilog support now using sv-elab, built on top of slang library.
Ну точнее как, нативный read_verilog -sv там уже и так какое-то время, но добавился read_slang из плагина yosys-slang. Последний как раз в этом релизе переименовали в sv-elab и сделали частью мейнлайна йосиса.
По тому насколько хороша поддержка SV - сам slang с…
🔥14
10 Jul 2026, 13:16 UTC≈4,050 views49 reactionsread 6 August 2026 Photo
Какой?
#meme
@positiveslack
😁43🔥6
7 Jul 2026, 16:19 UTC≈1,360 views8 reactionsread 6 August 2026 Photo
VeriPilot: An LLM-Powered Verilog Debugging Framework
Давненько не было рубрики tl;dr. Попалась на глаза свежая (22 июня) статья по построеннию системы структурного дебагинга верилога поверх LLM агентов (да, каждый первый-второй пост будет про иишки, времена такие, сами понимаете).
В статье довольно симпатичные картинки и уже ради них стоит полистать. Прикрепленная - это весь флоу системы наглядно.
Тезис у авторов…
🔥8
3 Jul 2026, 16:38 UTC825 views21 reactionsread 6 August 2026 Forwarded from @bitemaskPhoto
В 29 выпуске «Битовых масок» к Алине Галичиной и Антону Афанасьеву присоединился Богдан Колбов — ведущий инженер по модульной верификации YADRO, специалист с широким опытом на разных инженерных позициях в индустрии.
Начав разговор с верификации кеша в многоядерных системах, собеседники перешли к сложностям для верификаторов в разных компаниях. Вспомнили о воспроизводимости багов и других рабочих проблемах, балансе э…
🔥21
3 Jul 2026, 14:17 UTC≈1,020 views34 reactionsread 6 August 2026 Photo
AXI Rev L (2025)
#meme
@positiveslack
😁34
3 Jul 2026, 10:13 UTC≈1,000 views36 reactionsread 6 August 2026 Photo
AXI Rev L (2025)
Давеча имел неосторожность заглянуть в последнюю AXI спеку и немало удивился 😲
Если ваше представление об AXI - ну там пяток параллельных каналов, с valid-ready хэндшейками и пятком сигналов c метаинфой рядом, то увы.
"Посмотрите, что они сделали с моим мальчиком" (c)
Выше на скринах полторы страницы сигналов и только для AR канала. И да, AXI теперь опционально может быть кредитным. Причем там так…
🤯19😭8😁6🔥2✍1
22 Jun 2026, 14:17 UTC≈1,220 views11 reactionsread 6 August 2026 Xe-Xe EDA
Ah shit, here we go again😁
Я нашел ещё один симулятор SV2017:
https://github.com/aionhw/xezim
Как он работает против sv-tests неизвестно, но simulator.rs на 32к строк и свой фронтенд sv (SV->AST) внушают. Решил проверить что он действительно работает - простые helloworld и тестбенч с axi ram (с доделками) действительно бегают. Тестбенчи типа scr1 и simbench компилируются, но валятся в рантайме (дальше б…
🤔6🔥4😭1
12 Jun 2026, 20:02 UTC≈1,260 views10 reactionsread 6 August 2026 Photo
Превосходство FST
Как же он хорош, как мощны его лапищи😎
На картинке один и тот же верилог тест, где полностью вся иерархия рекурсивно задамплена в разных форматах. Ну и по этим дампам я ходил с wavepeek.
FST так спроектирован, что у него практически нулевая цена холодного старта, что ты с порога можешь начинать рандомно шариться по иерархии или значениям сигналов, в отличие от его собратьев. У FSDB 3-5 секунд ста…
🔥10
7 Jun 2026, 16:57 UTC≈1,650 views31 reactionsread 6 August 2026 Photo
Verilator + coverage 🥰
К более интересным новостям. Ну вы видели, да?
#verilator
@positiveslack
🔥20🎉11
7 Jun 2026, 10:06 UTC≈1,500 views11 reactionsread 6 August 2026 AMIQ License Key Generation
Привлек внимание пост от Тома.
Если заголовок привлек вас тоже, то возможно разочарую - речь не про AMIQ как вендора EDA софта, а про реверс инжиниринг одноименного старого генератора сигналов. Ну что в общем-то тоже интересно.
По пути там забавное. Пасхалки в коде, типа имени джуна, который увековечил себя😎
И даже ответил на письмо Тома, о том что пасхалка нашлась. Удивились бы вы, есл…
🔥5🥱3😭3
Showing the 12 most recent of 18 posts we hold for @positiveslack. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.