/gf-ip
Manage IP block library
> /plugin marketplace add codejunkie99/gateflow-plugin > /plugin install gateflow@gateflow
How it fires
How this command gets triggered: by you, by Claude, or both.
- Fires itselfClaude auto-loads it when your prompt matches the work.
- You can call itInvoke it directly when you want it.
- Slash command
/gf-ip
Context preview
What this command does when you run it.
Manage IP block library
Command definition
gf-ip.mdname: gf-ip description: Manage IP block library argument-hint: "add|list|info <block>" allowed-tools: - Bash - Read - Write - Glob
GateFlow IP Library Command
Usage
/gf-ip list # Show all available IP blocks /gf-ip info fifo_sync # Show block details and ports /gf-ip add fifo_sync # Install block into current project
Execution
list
Read all `${CLAUDE_PLUGIN_ROOT}/ip/*/block.yaml` files. Display: name, description, verification status.
info <block>
Read `${CLAUDE_PLUGIN_ROOT}/ip/<block>/block.yaml`. Display: description, parameters, ports, formal proofs, dependencies.
add <block>
1. Read block.yaml for metadata 2. Copy `rtl/*.sv` to project `rtl/` directory 3. Copy `tb/*.sv` to project `tb/` directory 4. Copy `formal/*` to project `formal/` directory 5. Update `.gateflow/project.yaml` — add to `ip_blocks` list 6. Report what was installed and how to instantiate
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.
Other commands on gateflow-plugin.
gf-demo
One-command demo - generates, lints, and simulates a working project

