Skip to content
STIMSMITH

BDD Weighting Algorithm

Technique
First seen 7/13/2026
Last seen 7/13/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
Improvements for Constraint Solving in the SystemC Verification Library ← introduces 95% 2e
The paper introduces a BDD weighting algorithm to guarantee uniform distribution of constraint solutions.
SystemC Verification Library ← uses 95% 2e
The SCV constraint solver uses the BDD weighting algorithm to guarantee uniform distribution.
Complement Edges in BDD uses → 85% 2e
The BDD representation used by the weighting algorithm employs complement edges.
scv_constraint_manager ← uses 90% 2e
The scv_constraint_manager calls the weighting algorithm after simplification to recompute probabilities.
Uniform Distribution of Constraint Solutions implements → 95% 1e
The BDD weighting algorithm is implemented to guarantee uniform distribution of constraint solutions.
Binary Decision Diagram uses → 95% 1e
The BDD weighting algorithm operates on BDD nodes to compute probabilities.