Skip to content
STIMSMITH

Generator

CodeArtifact
First seen 7/2/2026
Last seen 7/17/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
CRAVE part of → 100% 2e
Generator is a class in CRAVE for standalone inline and incremental constraint specification.
Inline Constraints implements → 95% 1e
The Generator class enables inline constraint specification without a formal constraint class.
Incremental Constraint Specification implements → 95% 1e
The Generator class supports incremental addition of constraints at runtime.
Inline Generators implements → 100% 1e
The Generator object is the basis for inline generators.
An Advanced Constrained Random Verification Environment for SystemC ← introduces 90% 1e
The paper introduces the Generator object for inline generators.