gateflow

GateFlow Plugin for Claude Code

AI-powered hardware development platform — design, verify, synthesize, and deploy working RTL with natural language. Supports SystemVerilog, Verilog, and VHDL across the full open-source FPGA toolchain.

---

Loving hardware doesn't have to be gatekept.

GateFlow brings professional hardware development tooling to Claude Code. Describe what you want to build — including your target board — and get lint-checked, simulated, formally verified, synthesis-ready code with correct pin assignments.

Whether you're writing your first always_ff, formally proving your FIFO never overflows, or synthesizing an SPI controller for your Arty A7, the tools should help you, not fight you.

We can't wait to see what you create. ❤️

---

• Quick Start — Install in one command
• Usage — Natural language, skills, and commands
• Features — What makes GateFlow different
• Components — All skills, agents, and commands
• Individual Downloads — Grab single components
• Cross-Tool Compatibility — Use with Codex, Cursor, Copilot, Cline, Windsurf
• Configuration — Project-specific settings
• Project Structure — Repo layout
• Troubleshooting — Common issues
• Updates — Changelog
• Releases — Detailed release notes
• Contributing | License | Links

---

Quick Start

Install

# Option 1: Marketplace (recommended)
claude plugin marketplace add codejunkie99/Gateflow-Plugin
claude plugin install gateflow

# Option 2: Clone and run
git clone https://github.com/codejunkie99/Gateflow-Plugin.git
claude --plugin-dir ./Gateflow-Plugin/plugins/gateflow

# Option 3: Persistent (add to ~/.claude/settings.json)
git clone https://github.com/codejunkie99/Gateflow-Plugin.git ~/.claude-plugins/gateflow-marketplace

For Option 3, add to ~/.claude/settings.json or .claude/settings.json:

{
  "plugins": [
    "~/.claude-plugins/gateflow-marketplace/plugins/gateflow"
  ]
}

Prerequisites

Tool	Required	macOS	Linux
Claude Code	Yes	See website	See website
Verilator	Recommended	brew install verilator	sudo apt install verilator
Verible	Optional	brew tap chipsalliance/verible && brew install verible	See releases
Yosys	For synthesis	brew install yosys	sudo apt install yosys
SymbiYosys	For formal	pip install symbiyosys	pip install symbiyosys
GHDL	For VHDL	brew install ghdl	sudo apt install ghdl
nextpnr	For P&R	brew install nextpnr	See GitHub
openFPGALoader	For flash	brew install openfpgaloader	See GitHub

Verify & Update

# Verify installation
/gf-doctor

# Update (marketplace)
# /plugin → Marketplaces → gateflow → Update → restart Claude Code

# Update (local)
# git pull in your plugin folder, then restart Claude Code

---

Usage

Just Ask

GateFlow understands context. Describe what you need in plain English:

"Create a FIFO and test it"
 → Generates FIFO, creates testbench, runs simulation, fixes issues, delivers working code

"Formally verify that the FIFO never overflows"
 → Generates SVA properties, configures SymbiYosys, runs proof, reports results

"Synthesize my design for the iCEBreaker board"
 → Runs Yosys synthesis, reports LUT/FF/BRAM usage, generates constraint file

"Add an SPI controller to my project"
 → Installs verified SPI master IP block with testbench and formal proofs

"What pins does the Arty A7 PMOD JA have?"
 → Looks up curated board database, shows pin assignments with I/O standards

"Why is my output X?"
 → Analyzes code, traces signal path, identifies root cause