rtl-p5-verify-policy
CommunityEnforce Phase-5 RTL verification gates.
Authorbabyworm
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Phase 5 verification governance for RTL designs, defining module graduation gates, coverage targets, and synthesis estimation rules to standardize verification effort and timelines.
Core Features & Use Cases
- Defines a three-stage Phase 5 verification architecture (Stage 1: per-module checks, Stage 2: top-level integration, Stage 3: final compliance) to streamline risk management and scheduling.
- Specifies concrete graduation gates for V1 through V9 checks, including lint, formal verification, CDC, protocol, functional regression, coverage, performance, synthesis estimation, and code review.
- Guides continuous improvement with defect feedback loops, escalation paths, and traceability artifacts to support audit-ready verification.
Quick Start
Follow this policy to align your module verification plan with Phase 5 gates and targets.
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-p5-verify-policy Download link: https://github.com/babyworm/rtl-agent-team/archive/main.zip#rtl-p5-verify-policy 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.