AI RESEARCH
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
arXiv CS.AI
•
ArXi:2601.19903v3 Announce Type: replace-cross Formal Verification (FV) relies on high-quality SystemVerilog Assertions (SVAs), but the manual writing process is slow and error-prone. Existing LLM-based approaches either generate assertions from scratch or ignore structural patterns in hardware designs and expert-crafted assertions. This paper presents STELLAR, the first framework that guides LLM-based SVA generation with structural similarity.