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
# 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
codejunkie99