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

ArXi:2603.01170v2 Announce Type: replace-cross 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 Enumeration (CWE), ATLAS identifies SoC-specific assets, maps relevant weaknesses, and generates assertion-based security properties and JasperGold scripts for verification.