Skip to content
STIMSMITH

Constraint-based Random Simulation

Technique
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

9 connections
AMD Saxony LLC ← uses 95% 2e
AMD Dresden Design Center uses constraint-based random simulation for PCIe verification.
Contradiction Analysis uses → 97% 2e
Contradiction analysis is applied within constraint-based random simulation to debug over-constrained scenarios.
Constraint Solving uses → 98% 1e
Constraint solving is the mechanism used to generate stimuli in constraint-based random simulation.
Directed Simulation compares with → 90% 1e
The paper contrasts constraint-based random simulation with directed simulation as alternative verification approaches.
design verification uses → 95% 1e
Constraint-based random simulation is used as the primary approach for design verification.
SCV Library ← implements 97% 1e
The SCV library provides the framework for implementing constraint-based random simulation in SystemC.
Contradiction Analysis for Constraint-based Random Simulation ← uses 100% 1e
The paper focuses on constraint-based random simulation as the target domain for the proposed technique.
Formal Verification compares with → 87% 1e
The paper contrasts formal verification with simulation-based approaches, noting formal verification's limited capacity.
stimulus generation uses → 98% 1e
Constraint-based random simulation generates stimuli via constraint solving.