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…