January 27, 2022
Generating accurate ASIL metrics early in the functional safety lifecycle, reduces time-to-certification for ISO26262.
May 29, 2020
The promise of autonomous vehicles is driving profound changes in the design and testing of automotive ICs.
September 10, 2019
The Portable Stimulus Standard helps overcome many of the verification challenges inherent in the strict requirements of ISO 26262.
August 9, 2019
Doc Formal rounds up some of the the key observations about verfication made during July’s Synopsys VC Formal SIG event in India.
February 27, 2019
This defect and fault injection primer looks at how to standardize definitions, decide injection volume, measure activity, manage simulation, optimize test time and more.
December 11, 2018
How formal verification for the ISO26262 automotive functional safety delivers the full activation, propagation, and observation in the form of proven and exhaustive results.
October 26, 2018
How the digital twin can fuel automotive verification flows impossible in the real world.
August 2, 2018
Designers need to understand how the architecture of electronic control units used to implement ADAS in vehicles is changing.
June 18, 2018
How to use formal fault pruning, injection and sequential equivalency checking to meet the FMEA analysis requirements of the functional safety standard.
April 9, 2018
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.