# Rtl P5s Func Verify

> P5 Tier 3 module regression: cocotb multi-seed RTL vs reference model with traceability matrix. Triggers 'functional verification', 'regression', 'cocotb test'.

- Skill: `babyworm/rtl-p5s-func-verify` (Agent Skill, multi-file: 7 files)
- Install (CLI): `npx skillmds@latest add babyworm/rtl-p5s-func-verify`
- Raw SKILL.md: https://api.skillmd.com/api/skills/babyworm/rtl-p5s-func-verify/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: AI & ML
- Author: babyworm (https://skillmd.com/u/babyworm)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/babyworm/rtl-p5s-func-verify

---


<Purpose>
Execute functional verification with cocotb-based multi-seed regression.
Compares RTL simulation outputs against C/Python reference models for
bitexact agreement. Produces regression results and Requirement Traceability Matrix.
</Purpose>

<Use_When>
- RTL modules exist and need functional regression testing
- User says "functional verification", "regression", "cocotb test", "multi-seed"
- Need to compare RTL against reference model
- Need Requirement Traceability Matrix
</Use_When>

<Do_Not_Use_When>
- RTL modules don't exist yet (run rtl-p4-implement first)
- Need full Phase 5 verification (use rtl-p5-verify)
- Only need a single unit test (use rtl-p4s-unit-test)
</Do_Not_Use_When>

## Prerequisites

RTL modules required:
- `rtl/**/*.sv` files must exist

If prerequisite is missing: WARNING — recommend running `/rtl-agent-team:rtl-p4-implement`.
Proceed with available artifacts — orchestrator will adapt scope.

## Execution

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.