CRAVE: An Advanced Constrained Random Verification Environment for SystemC

Paper

First seen 7/2/2026

Last seen 7/2/2026

Evidence 4 chunks

NEIGHBORHOOD

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

10 connections

SCV mentions → 100% 2e

The paper discusses SCV as the existing CRV solution for SystemC with noted deficiencies.

CRAVE introduces → 100% 2e

The paper introduces CRAVE as an advanced constrained random verification environment for SystemC.

Daniel Große authored by → 100% 1e

Daniel Große is listed as an author of the paper on CRAVE.

Rolf Drechsler authored by → 100% 1e

Rolf Drechsler is listed as an author of the paper on CRAVE.

University of Bremen authored by → 95% 1e

The paper was produced at the University of Bremen.

DFKI GmbH authored by → 95% 1e

DFKI GmbH is listed as an affiliated organization for the paper.

The paper mentions UVM as a related standardization effort for verification.

Finn Haedicke authored by → 100% 1e

Finn Haedicke is listed as an author of the paper on CRAVE.

RTL mentions → 85% 1e

The paper mentions an RTL model as part of the CPU verification case study.

Hoang M. Le authored by → 100% 1e

Hoang M. Le is listed as an author of the paper on CRAVE.