From gateflow
Manages GateFlow IP block library: list available blocks with verification status, show details like ports and proofs, or add block to project by copying RTL/TB/formal files and updating project.yaml.
npx claudepluginhub codejunkie99/gateflow-plugin --plugin gateflowadd|list|info <block># GateFlow IP Library Command
## Usage
## 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 h.../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
Read all ${CLAUDE_PLUGIN_ROOT}/ip/*/block.yaml files.
Display: name, description, verification status.
Read ${CLAUDE_PLUGIN_ROOT}/ip/<block>/block.yaml.
Display: description, parameters, ports, formal proofs, dependencies.
rtl/*.sv to project rtl/ directorytb/*.sv to project tb/ directoryformal/* to project formal/ directory.gateflow/project.yaml — add to ip_blocks list