collaborators

1 paper

cs.AI2026

SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation

Jaime Rafael Imperial, Hao Zheng

Existing Large Language Model (LLM) approaches to SystemVerilog Assertion (SVA) generation primarily focus on syntactic validity and formal verification outcomes, while semantic al…