➀ Breker tackles the challenges of automating verification by addressing rapid spec changes and ambiguous requirements through AI-driven approaches;

➁ Their strategy combines traditional NLP-based methods for deterministic test synthesis with future LLM partnerships to enhance scalability;

➂ The approach emphasizes a 'principled' foundation to ensure reliability, leveraging decades of verification expertise in RISC-V, Arm, and SoC validation.