TY  - RPRT
TI  - FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
AU  - Yu-An Shih
AU  - Annie Lin
AU  - Aarti Gupta
AU  - Sharad Malik
PY  - 2025
UR  - https://arxiv.org/abs/2504.17226
ID  - 2504.17226
ER  -