Enhanced vlsi assertion generation: Con- forming to high-level specifications and reducing llm hallucinations with rag

Hafiz Abdul Quddus, Md Sanowar Hossain, Ziya Cevahir, Alexander Jesser, Md Nur Amin · 2024

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

From Indiscriminate to Targeted: Functionally Critical Signal-Driven Assertion Generation using LLMs for Efficient RTL Verification

cs.AR · 2026-04-10

citing papers explorer

Showing 1 of 1 citing paper.

From Indiscriminate to Targeted: Functionally Critical Signal-Driven Assertion Generation using LLMs for Efficient RTL Verification cs.AR · 2026-04-10 · unreviewed · ref 21