Follow
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification https://arxiv.org/abs/2601.19903 #cs.AR #cs.AI
STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification https://arxiv.org/abs/2601.19903 #cs.AR #cs.AI