Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta 0002, Sandip Ray, Swarup Bhunia. LASSO: LLM-Aided Security Property Generation for Assertion-based SoC Verification. In 7th ACM/IEEE Symposium on Machine Learning for CAD, MLCAD 2025, Santa Cruz, CA, USA, September 8-10, 2025. pages 1-10, IEEE, 2025. [doi]
Abstract is missing.