Stats
Actions
Tags
Help us improve
Share bugs, ideas, or general feedback.
From rtl-agent-team
Executes cocotb-based multi-seed functional regression comparing RTL against reference models, producing a Requirement Traceability Matrix.
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-func-verify [module-name --seeds=N][module-name --seeds=N]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>
Defines Tier 3 module-level cocotb regression policy: multi-seed strategy, signal naming conventions, coverage targets, and execution rules for RTL verification.
Generates Python-based Cocotb testbenches as alternatives to SystemVerilog for hardware verification. Useful for Python-native engineers creating tests for RTL like FIFOs.
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>
RTL modules required:
rtl/**/*.sv files must existIf 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-func-verify-orchestrator", prompt="Execute functional verification. User input: $ARGUMENTS")
Do not perform any work directly. The orchestrator agent manages pipelined TB generation, multi-seed parallel regression, coverage analysis, and requirement traceability.