IP block library manager. Install, list, and query verified drop-in hardware components. Each block includes RTL, testbench, formal properties, and documentation. Example: "add a FIFO to my project", "/gf-ip add uart"
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
IP block library manager. Install, list, and query verified drop-in hardware components. Each block includes RTL, testbench, formal properties, and documentation. Example: "add a FIFO to my project", "/gf-ip add uart"
allowed-tools
["Bash","Read","Write","Glob","Grep"]
GF-IP — IP Block Library
Commands
add <block> — Copy IP block into current project
list — Show all available IP blocks
info <block> — Show block details, ports, parameters
Available Blocks
Block
Description
Verified
fifo_sync
Synchronous FIFO (parameterized width/depth)
lint + sim + formal
fifo_async
Async FIFO with Gray code pointers (CDC)
lint + sim + formal
cdc_2ff
2-flip-flop synchronizer
lint + sim + formal
cdc_handshake
Multi-bit handshake synchronizer
lint + sim + formal
uart
UART TX+RX with configurable baud
lint + sim + formal
spi_master
SPI master (all 4 CPOL/CPHA modes)
lint + sim + formal
axi4lite_slave
AXI4-Lite register slave
lint + sim + formal
debouncer
Button debouncer with edge detection
lint + sim + formal
Block Structure
Each block lives in ${CLAUDE_PLUGIN_ROOT}/ip/<name>/:
