Skip to content
STIMSMITH

SCV Library

Tool
First seen 7/13/2026
Last seen 7/13/2026
Evidence 6 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
Contradiction Analysis for Constraint-based Random Simulation ← uses 98% 2e
The paper implements and evaluates the approach within the SCV library framework.
SCV_CONSTRAINT Macro ← part of 97% 2e
The SCV_CONSTRAINT macro is part of the SCV library for specifying constraints.
ContradictionAnalysis Algorithm ← part of 92% 2e
The contradiction analysis is implemented within and runs as part of the SCV library environment.
SystemC depends on → 98% 1e
The SCV library is built on top of SystemC as a C++ class library.
Constraint-based Random Simulation implements → 97% 1e
The SCV library provides the framework for implementing constraint-based random simulation in SystemC.
Binary Decision Diagrams uses → 97% 1e
The SCV library uses BDDs internally to represent constraint characteristic functions.
CUDD BDD Package uses → 98% 1e
The SCV library uses the CUDD BDD package for BDD operations.