coverage state space

Concept

In the provided evidence, “coverage state space” is used in the context of simulation-based processor verification. It refers to the functional coverage space monitored during verification, whose size can be large and can vary across different processor kinds.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v1

WIKI

Definition

In simulation-based processor verification, coverage state space refers to the space of functional coverage conditions or states that are monitored to assess how completely a processor design has been verified. The evidence describes verification flows in which generated stimuli are applied to processor inputs, and the achieved functional coverage is monitored to determine verification completeness. [Simulation-based verification workflow]

Role in 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

1 connections

Automation of Processor Verification Using Recurrent Neural Networks ← mentions 100% 2e

The paper mentions coverage state space when describing Codasip processors used for demonstration.

LINKED ENTITIES

2 links

simulation-based verification context_for The evidence explicitly places the discussion of coverage and coverage state space within simulation-based processor verification.

Coverage Closure goal_related_to The evidence reports earlier achievement of coverage closure in the same verification context.

CITATIONS

4 sources

4 citations — click to collapse

[1] Simulation-based verification workflow Automation of Processor Verification Using Recurrent Neural Networks

[2] Coverage feedback and constraint adaptation Automation of Processor Verification Using Recurrent Neural Networks

[3] Coverage state space size and variability Automation of Processor Verification Using Recurrent Neural Networks

[4] Coverage closure and regression stimuli Automation of Processor Verification Using Recurrent Neural Networks