LASSO: LLM-Aided Security Property Generation for Assertion-based SoC Verification
Year: 2025
Type: conference-paper
Authors: Dinesh Reddy Ankireddy, Sudipta Paria, Aritra Dasgupta, Sandip Ray, Swarup Bhunia
Institution: University of Florida
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: National Science Foundation
OpenAlex ID: W4415004336