| name | rtl-p5a-functional-closure |
| description | Phase 5A functional closure: deep multi-seed regression, coverage, traceability at module/block/top. First stage of split P5, before P5B silicon validation. |
| user-invocable | true |
| argument-hint | [module-list or --all] |
| allowed-tools | Bash, Read, Write, Edit, Task, Grep, Glob |
Run deep functional verification closure after P4 sanity gates.
Coverage and requirement traceability are enforced at module/block/top scope.
<Use_When>
- P4 implementation/sanity passed and deep functional validation is needed
- Need multi-seed regression, corner cases, and traceability closure
- Prefer split Phase-5 flow: run
rtl-p5a-functional-closure first, then rtl-p5b-silicon-validation
- Replacing legacy bundled Phase-5 entry (
rtl-p5-verify) with explicit functional-first closure
</Use_When>
<Do_Not_Use_When>
- P4 has unresolved lint/cdc/smoke issues
- Primary goal is synthesis/timing/signoff (use rtl-p5b-silicon-validation)
- Need one legacy bundled Phase-5 command for functional+silicon checks (use
rtl-p5-verify)
</Do_Not_Use_When>
Execution
Task(subagent_type="rtl-agent-team:p5a-functional-closure-orchestrator",
prompt="Execute Phase 5A functional closure. User input: $ARGUMENTS")
Do not perform work directly.
The orchestrator controls hierarchy-level functional gates.
