Skip to content
STIMSMITH

Constraint Logic Programming (CLP)

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
AI based SystemVerilog TB generation ← mentions 95% 1e
The paper mentions Zeng et al.'s use of Constraint Logic Programming for test generation.
Constraint-Based Random Test Generation implements → 100% 1e
CLP formulates test generation as a SAT problem to produce valid test vectors.
Zeng, Z. ← uses 100% 1e
Zeng et al. applied Constraint Logic Programming to functional test generation.