skills.rest
babyworm
babywormCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

rtl-p5-verify

Orchestrate three-stage Phase 5 RTL verification with lint, formal, CDC, and regression reports.

43|9|Updated Feb 25, 2026
Search Tags:#verification#compliance#synthesis#rtl#cdc#formal#functional-regression
One-click install
npx skills add https://github.com/babyworm/rtl-agent-team --skill rtl-p5-verify
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: rtl-p5-verify
Source: https://github.com/babyworm/rtl-agent-team/tree/main/skills/rtl-p5-verify
Command: npx skills add https://github.com/babyworm/rtl-agent-team --skill rtl-p5-verify

SYSTEM DOCUMENTATION & REQUIREMENTS

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.

Frequently Asked Questions about rtl-p5-verify

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I run comprehensive RTL verification across lint, formal, and CDC checks?▼

RTL verification across lint, formal, and CDC is orchestrated by running a three-stage pipeline covering module, top, and final stages to execute nine verification categories and produce per-category reports.

What is the best way to verify RTL compliance against P1/P2/P3 acceptance criteria?▼

Verifying RTL compliance against P1/P2/P3 acceptance criteria is done by mapping test results at ac_id granularity during the final verification stage, which emits a traceable PASS/FAIL final-compliance.md verdict.

How do I automate functional regression and coverage analysis for completed Phase 4 RTL?▼

Functional regression and coverage analysis for completed Phase 4 RTL are automated by spawning parallel agent tasks during module graduation, gating progression based on existing lint or p4-state artifacts.

Can I estimate synthesizability and performance during RTL code review?▼

Synthesizability estimation and performance estimation are integrated into the final verification workflow alongside compliance-focused code review, eliminating the need for separate manual coordination steps.

When do I need a three-stage RTL verification pipeline with module graduation gates?▼

A three-stage RTL verification pipeline with module graduation gates is needed when teams require a consolidated legacy verification pass to prevent missed checks and inconsistent gating across multiple verification categories.

Does RTL verification work without completed Phase 4 RTL and lint artifacts?▼

RTL verification requires completed Phase 4 RTL designs and existing lint or p4-state artifacts as prerequisites, applying the orchestration pipeline only when these foundational inputs are present.

Related Skills

Explore More Software Engineering Skills→
babywormbabyworm
43

rat-p4p5-impl-verify

Execute the Phase 4→5 RTL implementation and verification pipeline from microarchitecture documents.

Community
Advanced
markster-publicmarkster-public
56

funnel-review

Grade marketing funnels against benchmark criteria and return prioritized fix lists.

Official
Intermediate
babywormbabyworm
43

rtl-p5-verify-policy

Codify Phase 5 verification governance for RTL designs with graduation gates.

Community
Advanced
babywormbabyworm
43

rtl-p4-rapid-impl-policy

Enforce lint, CDC, smoke, and block sanity gates for P4 modules.

Community
Intermediate