gulps.analysis.coverage.coverage_report

gulps.analysis.coverage.coverage_report(decomposer)

Integrate Haar coverage and average cost of a fixed ISA.

Uses closed-form integrals evaluated in floating point and stops when the computed covered mass is within a small tolerance of one. This does not certify coverage of every target. The expected cost omits any remaining tail; the mass tolerance alone does not bound that tail’s cost.

Parameters:

decomposer (GulpsDecomposer) – A fixed instruction set.

Returns:

Cost-ordered reachable regions and the Haar-average cost. Entries with zero Haar mass can overlap.

Raises:

SearchDepthError – If the search is exhausted at decomposer.max_depth before the computed covered mass meets the stopping tolerance.

Return type:

CoverageReport