Fault Analysis

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