Skip to content
STIMSMITH

LLM-Guided Property Generation

Technique
First seen 8/5/2026
Last seen 8/5/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
LiFU ← implements 100% 2e
LiFU generates SVA properties for hard-to-reach coverpoints using LLMs.
Large Language Model (LLM) uses → 100% 2e
LLM-guided property generation relies on LLMs to synthesise temporal properties.
Coverpoint uses → 100% 2e
LLM-guided property generation targets uncovered coverpoints.
Algorithm 3: LLM-Guided Property Generation ← implements 100% 1e
Algorithm 3 implements the LLM-guided property generation technique.