Rethinking SoC Verification for Secure Cross-Layer Interactions

Editor’s notes: This article presents a new perspective on verification of security vulnerabilities in SoCs by advocating for a holistic top-down co-verification strategy involving both hardware and software aspects. —Partha Pratim Pande, Washington State University, USA