GateFlow — плагин
Плагин для Claude Code пишет, линтит, симулирует и формально проверяет SystemVerilog, Verilog и VHDL для плат FPGA.
- 119 ★ репозитория
- Последний коммит
Расширенный доступ
Почему такой уровень
- Плагин запускает внешние программы синтеза и симуляции в рабочей папке проекта.
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add plugins/gateflowОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемРасширенный доступИнструмент запускает код или ходит в сеть, а внешние данные только читает.
- Плагин запускает внешние программы синтеза и симуляции в рабочей папке проекта.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
GateFlow добавляет в Claude Code навыки, агентов и команды для проектирования цифровых схем. По описанию на естественном языке и названию платы плагин генерирует RTL, запускает проверку Verilator, симуляцию и синтез в Yosys. Для формальной проверки он составляет свойства SVA и настраивает SymbiYosys. Отчет по синтезу показывает занятые LUT, триггеры, блоки BRAM и DSP, а для плат создается файл ограничений с назначением выводов. В составе агенты для генерации кода, аудита и проектирования плат, а навыки включаются сами по контексту запроса. Команды вроде `/gf-formal` и `/gf-synth` запускают отдельные этапы. Инструменты вроде Verilator, Yosys, SymbiYosys и nextpnr ставятся отдельно, часть из них опциональна. В README описана совместимость и с другими агентами: Codex, Cursor, Copilot, Cline, Windsurf.
Для кого. Инженерам по FPGA и студентам, которые пишут RTL и хотят получать проверенный код под конкретную плату.
Подходит, если
- Контроллер SPI нужен для платы Arty A7, и важно получить файл ограничений.
- Автомат FIFO доказывают формально: переполнение исключено свойством SVA.
- После синтеза смотрят расход LUT, триггеров и блоков BRAM.
- Существующий модуль на SystemVerilog проходит аудит и линт.
Не подходит, если
- Работа идет с ASIC-флоу на закрытых коммерческих САПР.
- Нельзя ставить Verilator и Yosys на рабочую машину.
- Лицензия BSL-1.1 не подходит для коммерческой поставки.
Пример запроса к агенту
Напиши контроллер SPI для Arty A7, прогони линт Verilator, симуляцию и покажи отчет синтеза по LUT и триггерам.Ограничения
Плагин вызывает внешние программы, которые нужно поставить отдельно: Verilator, Yosys, SymbiYosys, nextpnr. Без них генерация кода работает, а проверка и синтез нет. Репозиторий распространяется по лицензии BSL-1.1 (Business Source License), что ограничивает коммерческое использование. Автоматические навыки срабатывают по контексту запроса, поэтому при посторонних задачах плагин лучше отключать. Поддержка Codex, Cursor и других агентов идет через отдельные файлы совместимости. Последний коммит от сентября 2026 года.
Как отключить. Выполните `claude plugin uninstall gateflow` и при необходимости удалите маркетплейс командой `claude plugin marketplace remove`. Сгенерированные файлы RTL остаются в проекте.
Частые вопросы
Какие инструменты нужно поставить отдельно?
Рекомендуется Verilator для линта и симуляции. Для синтеза нужен Yosys, для формальной проверки SymbiYosys, для размещения и трассировки nextpnr.
Как запустить формальную проверку?
Команда `/gf-formal` или запрос вроде «докажи, что FIFO не переполняется» создает свойства SVA, настраивает SymbiYosys и запускает доказательство.
Что показывает отчет синтеза?
Занятые LUT, триггеры, блоки BRAM и DSP. Команда `/gf-synth` запускает Yosys и выводит эти цифры.
Работает ли плагин с Codex и Cursor?
Да, через файлы совместимости из репозитория. Порядок описан в разделе о совместимости с другими инструментами в README.
Можно ли использовать плагин в коммерческом проекте?
Условия задает BSL-1.1: прочитайте файл `LICENSE` до применения в коммерческом продукте.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
ПлагиныСкилл vf-rtl ведет Claude Code по четырем стадиям проектирования RTL: от спецификации и кода до симуляции и синтеза в Yosys.
Плагин Claude Code с конвейером «план, выполнение, проверка, передача», памятью между сессиями и 51 командой.
Плагин для Claude Code ограничивает агента правилами и хуками, а независимую проверку кода отдает Codex CLI в цикле ревью.
Три плагина для Claude Code: оркестратор savvy-flow с субагентами по уровням и два мода с панелью прогресса и таймером кэша
Дисциплина доказательств для Claude Code: любое утверждение требует артефакта, а тесты перед словом «готово» запускаются заново.
Скилл для проектирования на Verilog-2001: пишет RTL по ТЗ, разбирает и чинит готовые модули с отчетом о проверках
Коротко о README
В описании проекта есть быстрый старт, перечень навыков, агентов и команд, настройка платы и порядок обновлений. Отдельный раздел объясняет работу с другими инструментами.