rtl-p5s-coverage-policy

To analyze RTL verification coverage gaps and generate directed tests, this Skill automates coverage gap analysis and prioritized remediation. It maps uncovered bins to constraints and expected behaviors, producing a structured Directed Test Guidance table for testbench developers.

Minimum RTL verification coverage targets require line coverage at or above 90%, toggle coverage at or above 80%, and FSM coverage at or above 70%. The policy reports raw versus post-exclusion numbers to track progress against these explicit thresholds.

Iterative coverage refinement applies a minimum three-round coverage iteration loop to regression reports. It uses per-metric convergence heuristics and progress notes to track coverage stabilization, enforcing escalation rules if targets are not met across iterations.

You can export tool-neutral coverage exclusion manifests for your verification flow. The policy provides a structured exclusion manifest process with defined approval rules, allowing you to document and justify waivers for unreachable or invalid coverage bins.

Supported coverage metrics for gap analysis include line, toggle, FSM, branch, and functional coverage. The Skill applies per-metric convergence heuristics across regression iterations to evaluate stabilization and prioritize remaining gaps for directed test generation.

You should escalate unresolved coverage gaps during iterations when the minimum three-round iterative refinement protocol fails to achieve convergence. Per-metric convergence heuristics identify stalled progress, triggering defined escalation rules for remaining coverage deficits.