TY  - RPRT
TI  - LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
AU  - Dinesh Reddy Ankireddy
AU  - Sudipta Paria
AU  - Aritra Dasgupta
AU  - Sandip Ray
AU  - Swarup Bhunia
PY  - 2025
UR  - https://arxiv.org/abs/2506.17865
ID  - 2506.17865
ER  -