rtl-p5s-func-verify

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.