close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Using Formal to Verify
Safety-Critical Hardware for ISO 26262

ISO 26262 white paper on safety-critical verification for automotive hardware

Over the past several years, automotive suppliers have made substantial investments to meet ISO 26262 requirements, often leading to significant increases in development costs. Maturing the application of the standard and moving towards systematic and automated development methods is critical to achieve and sustain success.

Thanks to ease-of-use and capacity advances, formal-based methodologies have achieved recent wide adoption in the industry. Formal verification is widely recognized as a powerful technique to uncover hardware design bugs that might otherwise escape simulation-based verification and lead to systematic failures. A key characteristic of formal tools is the ability to examine design behavior exhaustively, without the need for input stimuli, and prove that the design never deviates from its intended function, as specified by a property or assertion. Even for simple designs, simulation tools cannot achieve this level of precision. Formal tools have multiple applications for both systematic and random fault verification.

This white paper fosters an understanding of the general framework of the ISO 26262 standard, with particular focus on digital hardware development. It discusses how formal tools have addressed specific challenges in the efficient development of safety-critical hardware, significantly transforming both the quality and efficiency of the verification process, and streamlining the activities required to satisfy the ISO 26262 standard.

Ensure functional safety through our safety-critical verification solutions


Our marketing communications manager, McKenzie Ross, recently got behind the wheel of a Tesla Model X to discuss using formal to verify safety-critical designs that must be ISO 26262 compliant.

Fill in your details below to watch a presentation about safety-critical verification solutions for automotive hardware and the ISO 26262 standard. Our video provides an overview of the benefits of adding formal to your verification flow, while the companion white paper offers greater depth.

Get the functional safety video and ISO 26262 white paper instantly

Download both to learn how OneSpin's safety-critical verification solutions can help to ensure functional safety for automotive hardware in compliance with ISO 26262.