rtl-p4s-refactor
CommunityRefactor RTL safely with automated equivalence checks.
Authorbabyworm
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Refactor RTL code for improved readability, naming, and lint compliance without introducing behavioral regressions by coupling structural edits with automated equivalence verification.
Core Features & Use Cases
- Safe Refactoring: Apply naming conventions, rename signals, and reorganize or split/merge modules while preserving functional behavior.
- Lint and Style Compliance: Re-run lint checks and enforce coding conventions after transformations to ensure maintainability and review readiness.
- Equivalence Verification: Orchestrate equivalence checking and smoke simulations to confirm that refactoring did not change observed behavior.
- Use Case: Split a large legacy SystemVerilog module into focused submodules, fix naming and style violations, and validate equivalence before committing changes.
Quick Start
Ask rtl-p4s-refactor to refactor the target module for naming and style compliance, perform any needed splits or merges, and run lint plus equivalence verification.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: rtl-p4s-refactor Download link: https://github.com/babyworm/rtl-agent-team/archive/main.zip#rtl-p4s-refactor Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.