Skip to content
STIMSMITH

Object-Oriented Constraint Composition (OOP)

Technique
First seen 7/14/2026
Last seen 7/14/2026
Evidence 6 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
The paper uses OOP constraint composition as one of the test bench approaches.
Performance of a SystemVerilog Sudoku Solver with VCS ← compares with 100% 2e
The paper compares OOP and FLAT constraint composition approaches.
Flat Constraint Composition (FLAT) ← compares with 100% 2e
OOP and FLAT constraint composition are directly compared for efficiency in the paper.
Sudoku Solver SystemVerilog Test Bench ← implements 100% 1e
The test bench implements OOP constraint composition in the OOP variant.