Prerequisites
RTL modules required:
rtl/**/*.svfiles 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.