Special Session: Security Verification of Microelectronic Systems with Integrated AI Accelerators: Scope, Practice, and Challenges. - Kazi Mejbaul Islam; Tambiara Tabassum; Dipal Halder; Sandip Ray (VTS, 2025)