Reachability Analysis

Technique

First seen 8/5/2026

Last seen 8/5/2026

Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

3 connections

LiFU ← implements 100% 2e

LiFU performs reachability analysis on uncovered RTL coverpoints.

Coverpoint uses → 100% 2e

Reachability analysis classifies RTL coverpoints as reachable, unlikely, or unreachable.

Algorithm 2 implements the reachability analysis technique for uncovered RTL coverpoints.