Formal Flow for Automotive Safety

Bulletproofing Car Design Formal tools can prove that a fault is safe, residual or latent—and they can quickly determine a worst-case/best-case diagnostic coverage without time-consuming analysis. In this article, Doug presents an improved formal verification flow that uses sequential logic equivalency checking (SLEC) to reduce the number of faults while...