Skip to content
STIMSMITH

SCV

Tool
First seen 7/2/2026
Last seen 7/17/2026
Evidence 11 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
CRAVE ← compares with 100% 3e
CRAVE is experimentally compared to the SCV library in terms of constraint solving performance.
Constrained Random Verification implements → 100% 3e
SCV library provides CRV for SystemC.
CRAVE: An Advanced Constrained Random Verification Environment for SystemC ← mentions 100% 2e
The paper discusses SCV as the existing CRV solution for SystemC with noted deficiencies.
An Advanced Constrained Random Verification Environment for SystemC ← compares with 95% 2e
The paper compares the new approach to SCV and identifies SCV weaknesses.
SystemC ← uses 90% 1e
SCV is the existing CRV library for SystemC models.
BDD-based Constraint Solving uses → 100% 1e
SCV uses BDD-based constraint solving which limits constraint complexity.