This paper was published in Verification Horizons 2022, authored by Mihajlo Katona from Veriest. The piece addresses the critical challenges of functional safety verification for automotive integrated circuits, specifically focusing on ISO 26262 compliance requirements. Katona explores the verification methodology needed to distinguish functional safety verification from classical functional verification flows, with particular emphasis on transient fault analysis and error injection mechanisms. The article presents practical insights from Veriest’s experience with automotive projects, discussing white-box verification approaches, ECC agent implementation, and the specialized verification procedures required to meet automotive safety standards.
Business Run – Nis 2022
Veriest joins the Global Semiconductor Alliance