SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
DGX agentarXiv:2605.25181v1 Announce Type: new Abstract: Existing Large Language Model (LLM) approaches to SystemVerilog Assertion (SVA) generation primarily focus on syntactic validity and formal verification