Skip to content
STIMSMITH

Coverage-guided Aging Counter

Concept WIKI v1 · 6/2/2026

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.

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.

Scope and limitations

The provided evidence supports the existence and purpose of execution-frequency tracking for coverage points in Coverage-guided Aging, but it does not describe the exact counter data structure, update rule, thresholding scheme, or API.

CITATIONS

3 sources
3 citations
[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