functional safety

April 9, 2018
ISO 26262 SOTIF featim

ISO 26262 – The Second Edition: what’s in it… and what isn’t

A new version of the automotive safety standard arrives later this year. Review the main updates and see how it will combine with the incoming SOTIF autonomous driving standard.
August 31, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: The evolution of formal verification – Part Two

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
July 21, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: The evolution of formal verification – Part One

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
March 7, 2017
Angela Raucher is product line manager for Synopsys’ ARC EM processors.

An accelerated approach to achieving automotive safety with ASIL D

Addressing the challenge of achieving ASIL D certification of the functional safety of an SoC for use in the safety-critical path of an automotive system.
Expert Insight  |  Topics: Embedded - Architecture & Design, IP - Selection, EDA - Verification  |  Tags: , , , ,   |  Organizations:
March 1, 2016
Visual: cars speeding along a road

FMEA in automotive software development using virtual prototyping, physical modeling and simulation

How fault mode and effect analysis (FMEA) can be performed on a virtual prototype of an automotive system containing mechanical, electrical, analog and digital models, including the microcontroller running the same software as will be used in the car.
Article  |  Topics: EDA - Verification  |  Tags: , , , ,   |  Organizations:
January 11, 2016
FPGA protection featimg

FPGA design for functional safety

Using triple modular redundancy, error detection and correction, and 'safe' FSMs to ensure greater functional safety in FPGA-based designs
August 19, 2015
Jai Durgam, Synopsys

Make vs buy in automotive IP

A look at some of the quality and safety requirements that must be met when developing and applying semiconductor IP to the automotive sector.
Expert Insight  |  Topics: IP Topics, IP - Selection, EDA - Verification  |  Tags: , , , , , ,   |  Organizations:
August 7, 2015
Automotive crash test

Improving functional safety of automotive systems using virtual prototyping

The increasing complexity of automative software is challenging the ability of established software testing strategies to demonstrate its functional safety. Here's how virtual prototyping can help.
Article  |  Topics: EDA - Verification  |  Tags: , , , , , ,   |  Organizations:
July 21, 2014
ADAS

When failure is not an option in automotive verification

The ISO 26262 safety standard lays out a number of best practices for the automotive industry and for suppliers. Formal verification provides a way of streamlining the verification of SoCs that need to conform to the standard.
Article  |  Topics: EDA - Verification  |  Tags: , , , ,   |  Organizations:

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors