👍 Отличные новости для FPGA-сообщества: регистрация на конференцию FPGA-Systems 2025 открыта!

Это редкая возможность всего за один день:
➡️ прокачать свои знания на глубоких технических докладах,
➡️ найти ответы на сложные вопросы у практикующих экспертов,
➡️ обменяться опытом с коллегами из других компаний.

Ждем вас!

🗓 29 ноября 2025 года
🗺 Москва, 2-й Кожуховский пр., д. 29, корп. 6 (МЦК «ЗИЛ»).

Участие бесплатно, но количество мест в офлайне не безлимитно. Так что советуем регистрироваться как можно скорее. Вступайте и в чат конференции. До встречи! 😉

Verilator и UVM [8]

Support for upstream UVM 2017 in Verilator

we are happy to announce that Verilator can now elaborate upstream UVM 2017-1.0 - no patches or workarounds required.

holy shi~
они сделали это 😎

#uvm #verilator
@positiveslack

RP2040 PIO vibecoded

Не, ну вы видели? В основу FS некто Jose выложил вайбкод имплементацию подсистемы PIO из RP2040 на AXI с тестами в кокотб. Ну и запилил презентацию. Это уже RTL задачки такого уровня щелкаются через LLM? 😱

Today I spent some money generating a verilog RP2040s PIO peripherial with AXI interface and cocotb testbench and iterate until the tests passed.
Later I used even more AI to create colorfull pretentations that Im not sure if really explain the code or simply hallucinate...

The code was generated using Claude Code with opus 4.5 model, iterating during about holf hour and for 15€.
The presentations was generated later, from the code, with NotebookLM, this is free with some daily usage

Это что, теперь на RTL можно даже MAS сразу же получать?
Хотя возможно читать его уже тоже будет некому вскоре 😂

@positiveslack

Simless cocotb

Тут недавно была новость что cocotb релизнул следующую мажорную версию.
Там очень много всего, а особенно радует что они очень сильно выравнялись по API со стандартным asyncio.
За это респект. Ну а тем кто будет делать миграцию своего кода - мои соболезнования🥳

Но хотел поднять тему того, что в мейнстриме до сих пор нету симулятора заглушки. stub-sim/mock-sim/virt-sim называйте как хотите.

Зачем? Ну чтобы писать VIP конечно! Любой сложный VIP требует довольно тщательного тестирования (тесты на тестовые компоненты, need_to_go_deeper.jpg) и при этом большая часть этого випа даже физические сигналы и клоки никогда в жизни не видит. А оперирует потоками транзакций и событиями. Поэтому было бы очень удобно подменить симулятор с настоящего на дешевую имитацию и гонять быстро тесты без RTL, не связываясь с настоящей медленной коммуникацией в симулятор и обратно.

Стоило подумать эту мысль, и сразу нашелся китаец, который всё сделал буквально 2 недели назад.😎
Вот его прототип такого stub-sim поверх последней второй версии кокотб
https://github.com/hongping/pytbv

#cocotb
@positiveslack

Obsidian + Excalidraw

Btw, веду свои личные заметки в Obsidian по мере сил.

Часто текста не хватает и нужна графика - тут я привык использовать drawio (сейчас это diagrams.net). Хотя раньше были также попытки использования excalidraw, но чёт каждый раз не удавалось закрепить это почему-то.

Сейчас попалось видео от создателя плагина для excalidraw и это просто
🐸🐸🐸

https://youtu.be/P_Q6avJGoWI?si=uCBIT0Y7d25PizWU

Там за 17 минут показываются все основные фичи, и плотность фич, как и степень интеграции запредельная.

Даже если не пользуетесь просто посмотрите, по ощущениям это примерно как будто к двумерному миру добавляют ещё одну ось, делая его трехмерным☀️

#workflow
@positiveslack

Кстати, интересная мысль прозвучала в докладе из поста выше.

Большие вендоры влили/вливают очень много ресурсов, чтобы их солверы для SV поддерживали всё многообразие констрейнов и были эффективными. Но результатами понятное дело не делятся.

А у опенсорс сообщества по сути одна дорога - консолидироваться вокруг доступных SAT солверов. Интересно, что автор не упоминает, но verilator уже идёт этой дорогой. И кажется успешно - количество поддерживаемых констрейнов увеличивается постепенно.

Т.е. для того что-то похожее на SV рандомизацию появилось для питоньих тестбенчей в максимально эффективном виде, нужно всего-то подсмотреть как это делают в вериляторе, написать подобное отдельной прослойкой на плюсах/расте, сделать биндинги в питон. И кажется будет красиво. Надеюсь когда-нибудь найдется герой для этого подвига 😭

#python
@positiveslack

slang-server

Ну и закрою тему тулов в этом году новым LSP для SystemVerilog поверх Slang. Есть подозрение, что в будущем это может стать выбором по умолчанию для написания SV 🎧

Ликбез. LSP это та штука, что живёт в IDE и даёт редактору возможность делать переходы по символам,показывать хинты, делать автодополнение и другие вещи для нужного языка. Ну а Slang это просто наиболее полный и самый быстрый парсер SV (по заявлениям разработчиков).

В итоге в IDE получаем ту самую эргономику в написании SV, которая есть по умолчанию у программистов на языках высокого уровня. Все фичи перечислять долго, лучше посмотрите доклад или полистайте слайды.

Некоторые хайлайты:
▫️поддерживается neovim и vscode из коробки (последний пока в меньшей мере)
▫️индексация тысяч sv файлов на десятки мегабайт менее чем за секунду
▫️автодополнение, переходы по ссылкам, всплывающие хинты, раскрытие макросов
▫️иерархия, список модулей, поиск по инстансам
▫️интеграция с surfer для связывания кода и вейформ, трассировки driver/load и отображение текущих значений в коде (экспериментально)

Из будущих фич зацепило что будет больше хинтов, переименование символов (рефакторинг), более тесная интеграция с vscode и surfer, автофиксы и slang-format. Полноценный форматтер 🍒

Btw, сервер разработан в Hudson River Trading (там и автор slang работает кстати), а ещё кто-то говорил что HFTшники ничего полезного не делают 🫣

В соседнем чатике даже отзыв-сравнение есть:

Уже недели 3 пользуюсь этим LSP, фантастическая штука
Из всего, что пробовал, мне этот больше всего нравится. У verible слабый препроцессор, на макросах сразу падает, пришлось вообще выключить. Svls не умеет делать symbol rename, да и линт что-то не понравился, уже не помню почему. Svlangserver в основном хорошее автодополнение, но фич немного, опять же нет symbol rename. Хочу попробовать еще verilog-mode, но для этого надо выучить emacs, так что как-нибудь потом.

#tool #systemverilog
@positiveslack