ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification

arXiv:2603.01170v2 Announce Type: replace-cross Abstract: This work presents ATLAS, an LLM-driven framework that bridges standardized threat modeling and property-based formal verification for System-on-Chip (SoC) security. Starting from vulnerability knowledge bases such as Common Weakness...