Skip to content
STIMSMITH

Improvements for Constraint Solving in the SystemC Verification Library

Paper
First seen 7/13/2026
Last seen 7/17/2026
Evidence 6 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections
Daniel Große authored by → 100% 2e
Improvements paper is co-authored by Daniel Große.
Bit Operators in SCV Constraints introduces → 95% 2e
The paper introduces bit operators for SCV constraints as an extension to the library.
Binary Decision Diagram uses → 95% 2e
The paper analyzes BDDs as the basic data structure used in the SCV to represent constraints.
Rolf Drechsler authored by → 100% 2e
Improvements paper is co-authored by Rolf Drechsler.
SystemC Verification Library evaluates → 100% 2e
The paper analyzes problems with the SCV library and presents improvements.
BDD Weighting Algorithm introduces → 95% 2e
The paper introduces a BDD weighting algorithm to guarantee uniform distribution of constraint solutions.
Rudiger Ebendt authored by → 100% 1e
Rudiger Ebendt is listed as an author of the paper.
An Advanced Constrained Random Verification Environment for SystemC ← mentions 100% 1e
The paper references improvements for constraint solving.