rtl-p5-verify
CommunityComprehensive Phase-5 RTL verification
Authorbabyworm
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Orchestrates a consolidated Phase 5 verification workflow to reduce manual coordination across lint, formal, CDC, protocol, functional regression, coverage, performance, synthesis estimation, and code review steps, preventing missed checks and inconsistent graduation gating during final verification of RTL designs.
Core Features & Use Cases
- Three-stage orchestration: module → top → final staged verification with module graduation gates and parallel agent spawning.
- Nine verification categories: lint, SVA/formal, CDC, protocol checks, functional regression, coverage analysis, performance estimation, synthesis estimability, and compliance-focused code review.
- Compliance & traceability: maps test results to P1/P2/P3 acceptance_criteria (ac_id granularity when available) and emits a final compliance verdict.
- Use Case: Run a legacy Phase‑5 pass for a project with completed Phase 4 RTL artifacts to produce per-category reports and a traceable PASS/FAIL final-compliance.md.
Quick Start
Run the rtl-p5-verify orchestrator to execute module, top, and final verification and generate the reviews/phase-5-verify reports.
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 Download link: https://github.com/babyworm/rtl-agent-team/archive/main.zip#rtl-p5-verify 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.