Skip to content
Code Generation
Command

/gf-ip

Manage IP block library

BOOST
From plugin
gateflow-plugin
11821 skills20 agents21 commands
Install
> /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.md
name: 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

Ships withgateflow-plugin

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.

Get the whole plugin

Other commands on gateflow-plugin.