SLEC

All (1)
Articles (1)

December 11, 2018

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.

Article | Topics: EDA - Verification | Tags: automotive, fault analysis, fault coverage, fault detection, fault injection, fault propagation, ISO 26262, sequential equivalence checking, SLEC | Organizations: Siemens EDA