@misc{indiciaedcbd47d303fc,
  title = {FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols},
  author = {Yu-An Shih and Annie Lin and Aarti Gupta and Sharad Malik},
  year = {2025},
  url = {https://arxiv.org/abs/2504.17226},
  note = {Source identifier: 2504.17226}
}