| name | rtl-p4s-refactor |
| description | P4 RTL refactor with no behavioral change: naming/style cleanup, module split/merge, equivalence verified. Trigger: 'refactor RTL'. |
| user-invocable | true |
Refactor existing RTL for improved readability, maintainability, or lint compliance
without changing functional behavior. Verifies equivalence after refactoring.
<Use_When>
- RTL exists but has structural problems (naming, style, lint violations)
- Module needs to be split or merged without behavioral change
- Preparing RTL for review or handoff
</Use_When>
<Do_Not_Use_When>
- Behavioral change is needed (use rtl-p4-implement for new implementation)
- Only lint checking needed without fixing (use rtl-lint-check instead)
</Do_Not_Use_When>
<Why_This_Exists>
Refactoring RTL is risky without equivalence verification — a "cosmetic" rename can break
a signal connection. Combining rtl-architect analysis with lint-checker verification provides safety.
</Why_This_Exists>
The orchestrator handles structural analysis, refactoring implementation,
lint verification, and equivalence checking.
All policies, checklists, naming convention rules, and escalation rules
are defined in the rtl-p4s-refactor-policy skill (loaded via the
orchestrator's skills: field).
Execution
Task(subagent_type="rtl-agent-team:p4s-refactor-orchestrator",
prompt="Execute RTL refactoring cycle. Target: $ARGUMENTS")
Do not perform any work directly.
The orchestrator agent manages the full analyze → refactor → lint → equivalence cycle.
Output
- Refactored RTL file(s) with lint re-pass confirmation
- Equivalence verification report confirming no behavioral change
Split 800-line module into 3 focused modules; lint-checker confirms clean; smoke sim passes same vectors as before.
Refactoring signal names without checking all instantiation sites — breaks hierarchical connections silently.
