@misc{indiciae547ebff31b70,
  title = {LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation},
  author = {Dinesh Reddy Ankireddy and Sudipta Paria and Aritra Dasgupta and Sandip Ray and Swarup Bhunia},
  year = {2025},
  url = {https://arxiv.org/abs/2506.17865},
  note = {Source identifier: 2506.17865}
}