TY  - RPRT
TI  - SpecAlign: A Semantic Alignment Framework for SystemVerilog Assertion Generation
AU  - Jaime Rafael Imperial
AU  - Hao Zheng
PY  - 2026
UR  - https://arxiv.org/abs/2605.25181
ID  - 2605.25181
ER  -