Skip to content
STIMSMITH

Coverage-guided Aging Counter

Concept

Coverage-guided Aging Counter is the execution-frequency information used in Coverage-guided Aging to track how often coverage points have been exercised. In the cited DATE 2022 case study, coverage points were defined as the cross product of instruction groups, and the resulting coverage-aging approach was reported to help close coverage gaps and produce a more regular coverage distribution.

First seen 6/2/2026
Last seen 6/3/2026
Evidence 2 chunks
Wiki v1

WIKI

Overview

Coverage-guided Aging Counter refers to the count-like execution-frequency information used by Coverage-guided Aging to record how often defined coverage points have been exercised during test generation.

Evidence-backed characterization

The available evidence states that Coverage-guided Aging uses information about how often the coverage points were executed by instruction generators. It also states that these coverage points are defined as the cross product of instruction groups.

Role in Coverage-guided Aging

Within the cited cross-level processor verification study, Coverage-guided Aging is presented as an effective extension that helps close coverage gaps and achieves a more regular coverage distribution than random generation alone. This indicates that the counter information is used to steer or assess the aging-based coverage process.

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Coverage-guided Aging ← uses 100% 2e
Coverage-guided aging uses aging counters to track and adjust coverage.
Coverage-Observer ← uses 95% 1e
The Coverage-Observer sets and decrements coverage-guided aging counters.
Coverage-Observer ← uses 100% 1e
Coverage-Observer uses aging counters to track coverage

CITATIONS

3 sources
3 citations — click to collapse
[1] Coverage-guided Aging uses information about how often coverage points were executed by instruction generators. Cross-Level Processor Verification via
[2] In the cited study, coverage points are defined as the cross product of instruction groups. Cross-Level Processor Verification via
[3] Coverage-guided Aging was reported to close coverage gaps and achieve a much more regular coverage distribution in the DATE 2022 case study. Cross-Level Processor Verification via