Help us improve
Share bugs, ideas, or general feedback.
From rtl-agent-team
Verifies RTL bus protocol compliance (AXI/AHB/APB) using formal SVA assertions and simulation-based checking. Use when integrating bus interfaces or debugging protocol violations.
npx claudepluginhub babyworm/rtl-agent-team --plugin rtl-agent-teamHow this skill is triggered — by the user, by Claude, or both
Slash command
/rtl-agent-team:rtl-p5s-protocol-verify [module-name --protocol=AXI|AHB|APB][module-name --protocol=AXI|AHB|APB]This skill is limited to the following tools:
The summary Claude sees in its skill listing — used to decide when to auto-load this skill
<Purpose>
Policy rules, signal naming conventions, assertion patterns, and verification checklists for AXI/AHB/APB bus protocols. Pure reference for RTL verification.
Generates SVA properties from natural language, configures SymbiYosys, runs formal proofs on hardware designs like FIFOs, and explains pass/fail results.
Guides technical evaluation of code review feedback: read fully, restate for understanding, verify against codebase, respond with reasoning or pushback before implementing.
Share bugs, ideas, or general feedback.
<Use_When>
<Do_Not_Use_When>
<Why_This_Exists> Protocol violations cause SoC-level integration failures that are hard to debug. Formal SVA assertions catch violations exhaustively; simulation-based checking catches violations on real traffic patterns. Both are needed for confidence. </Why_This_Exists>
RTL modules with bus interfaces required:
rtl/**/*.sv files must exist with AXI/AHB/APB interface signalsIf prerequisite is missing: WARNING — recommend running /rtl-agent-team:rtl-p4-implement.
Proceed with available artifacts — orchestrator will adapt scope.
Task(subagent_type="rtl-agent-team:p5s-protocol-orchestrator", prompt="Execute protocol compliance verification. User input: $ARGUMENTS")
Do not perform any work directly. The orchestrator agent manages bus interface identification, SVA protocol assertion generation, simulation-based checking, and violation reporting.