rtl-p5s-func-verify

name	rtl-p5s-func-verify
description	P5 Tier 3 module regression: cocotb multi-seed RTL vs reference model with traceability matrix. Triggers 'functional verification', 'regression', 'cocotb test'.
user-invocable	true
argument-hint	[module-name --seeds=N]
allowed-tools	Bash, Read, Write, Edit, Task, Grep, Glob

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.

<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.