rtl-p4s-refactor-policy

What problem does it solve?

This policy provides a structured framework for RTL refactoring, capturing decision criteria, naming conventions, equivalence proof requirements, escalation rules, and checklists to ensure safe, auditable changes.

Core Features & Use Cases

• Policy rules for deciding when to split modules and how to rename ports for consistency.
• Equivalence-proof workflows, including lint, formal or simulation checks, and escalation procedures when conflicts arise.
• Clear governance for escalation, stop conditions, and a final quality checklist to prevent regressions during RTL changes.

Quick Start

Apply this policy to guide naming conventions, modularization decisions, and formal equivalence checks during RTL refactoring.