Virtual Coverage

Concept

Virtual coverage is a coverage-guided verification concept that improves coverage-measurement granularity by inserting synthetic coverage points. In cross-level processor verification, coverage collected from one co-simulated processor model can act as virtual coverage for the other model.

First seen 5/25/2026

Last seen 5/28/2026

Evidence 2 chunks

Wiki v2

WIKI

Definition

Virtual coverage describes the concept of improving coverage-measurement granularity by inserting synthetic coverage points, with the goal of enhancing coverage-guided verification performance. [1]

Use in cross-level processor verification

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing ← uses 95% 4e

The paper uses virtual coverage to improve coverage measurement in the co-simulation.

Coverage-guided Fuzzing ← uses 90% 2e

Virtual coverage is used within the coverage-guided fuzzing framework to improve measurement granularity.

LINKED ENTITIES

1 links

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing USES Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] Virtual coverage improves coverage-measurement granularity by inserting synthetic coverage points to enhance coverage-guided verification performance. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

[2] In the paper's co-simulation workflow, the RTL core and ISS are instrumented for coverage, and the coverage of one core acts as virtual coverage for the other. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

[3] Coverage and the return code are provided as execution feedback to the fuzzer using shared memory in the described approach. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing