rtl-p5a-functional-closure-policy

What problem does it solve?

Ensures consistent, project-level enforcement of P5A functional closure criteria so that regressions, coverage shortfalls, and incomplete requirement traceability do not advance to later phases or silicon.

Core Features & Use Cases

• Hierarchical Closure Rules: Defines module, block, and top-level checks and an exit gate that blocks progression on functional FAILs.
• Acceptance Criteria Enforcement: Specifies AC-level handling for Critical/High ac_ids including WARNING, FAIL, VERIFIED, and FORMAL gating behavior.
• Coverage & Traceability Targets: Documents required multi-seed regression, per-target coverage goals, and a requirement traceability matrix check.
• Use Case: Run this policy during P5A internal verification to evaluate multi-seed regression stability, coverage attainment, and AC status before permitting P5B/P6 entry.

Quick Start

Run the P5A functional closure policy to evaluate module, block, and top regression, coverage, and traceability status and report any blocking ACs or coverage gaps.