Fault Analysis

Filter by:
ISO 26262

ISO 26262…the tale of Transient and Permanent Faults

October 27, 2022

Introduction Are you designing to the ISO 26262 standard and trying to decide if your design is safe from random…

By Jake Wiltgen
3 MIN READ

The Many Flavors of Equivalence Checking: Part 4, How SLEC Brings Automated, Exhaustive Formal Analysis to Safety Mechanism Verification

May 19, 2020

[Preface / reminders: Part 1 of this series focused on synthesis validation with LEC and SLEC, Part 2 describes how…

By Joe Hupcey III
4 MIN READ
Mastering Today’s Emerging Functional Safety Workflows

Mastering Today’s Emerging Functional Safety Workflows

April 27, 2020

Last week the Verification Academy announced the new Introduction to ISO 26262 “Road vehicles – Functional safety” video course. And…

By Harry Foster
3 MIN READ
How to Prove that It’s Not Your Fault

How to Prove that It’s Not Your Fault

October 12, 2018

In our June, 2018 edition of Verification Horizons, there’s a great article by my colleague Doug Smith, one of our formal…

By Tom Fitzpatrick
< 1 MIN READ
Siemens Acquires Austemper Design Systems

Siemens Acquires Austemper Design Systems

June 22, 2018

Breakthrough IC Functional Safety Technology Strengthens Mentor Product Offerings In today’s complex automotive, industrial, medical and aerospace systems, functional safety…

By Dennis Brophy
2 MIN READ