How to use runtime monitoring for automotive functional safety
The promise of autonomous vehicles is driving profound changes in the design and testing of automotive ICs.
automotive
System-of-systems validation for automotive design
How Siemens PAVE 360 platform leverages emulation to deliver the exhaustive test required for the incoming generation of autonomous vehicles.
Using portable stimulus for automotive random error analysis
The Portable Stimulus Standard helps overcome many of the verification challenges inherent in the strict requirements of ISO 26262.
Spreading the word on formal in Bangalore
Doc Formal rounds up some of the the key observations about verfication made during July’s Synopsys VC Formal SIG event in India.
Overcoming systemic design challenges for electric vehicles
EV design requires an ability to address interrelated tasks in areas such as architecture, performance, lifetime, range and charging speed.
High-level synthesis for AI: Part One
The computational and algorithmic demands made by computer vision systems highlight HLS' value for AI system development.
Practical mixed-signal defect and fault injection automation and simulation
This defect and fault injection primer looks at how to standardize definitions, decide injection volume, measure activity, manage simulation, optimize test time and more.
Win on the fault campaign trail with formal
How formal verification for the ISO26262 automotive functional safety delivers the full activation, propagation, and observation in the form of proven and exhaustive results.
8.8 billion miles to verify
How the digital twin can fuel automotive verification flows impossible in the real world.
Formal fault analysis for ISO 26262: Find faults before they find you
How to use formal fault pruning, injection and sequential equivalency checking to meet the FMEA analysis requirements of the functional safety standard.
PLATINUM SPONSORS
View All Sponsors