rtl-p5s-coverage-policy

What problem does it solve?

This Skill codifies a structured coverage analysis and remediation workflow for RTL verification, enabling teams to prioritize coverage gaps, iterate directed test generation, and make justified exclusions to reach measurable coverage targets.

Core Features & Use Cases

• Explicit Targets & Metrics: Defines pass thresholds (line >= 90%, toggle >= 80%, FSM >= 70%) and reports raw vs post-exclusion numbers.
• Iterative Refinement Protocol: Prescribes a minimum three-round coverage iteration loop with progress notes and escalation rules.
• Directed Test Guidance & Handoffs: Produces a structured table that maps uncovered bins to constraints, sequences, and expected behaviors for testbench developers.
• Exclusion & Convergence Handling: Provides a tool-neutral exclusion manifest process, approval rules, and per-metric convergence heuristics.
• Use Case: A coverage analyst uses this policy to convert a regression coverage report into prioritized, actionable directed tests and documented waivers.

Quick Start

Analyze the latest coverage output and produce a prioritized Directed Test Guidance table for all HIGH priority gaps.