Safety-Critical Verification
OneSpin Solutions

Press resources for Safety-Critical Verification Solution

Please find here a comprehensive press kit for our Safety-Critical Verification Solution. All provided materials are approved for publication under the stipulation that OneSpin and the original author should be mentioned.

Solution Overview

The OneSpin Safety Verification Solution – Driving key ISO 26262 metrics

»Download Presentation

Press release: Safety-Critical Solution for Automotive

Formal Verification Leader OneSpin Solutions Unveils its Comprehensive Safety-Critical Solution for Automotive, Other Mission-Critical Applications

»Download Press release

Whitepaper: Using Formal to Verify Safety-Critical Hardware for ISO 26262

OneSpin's formal verification solutions can help automotive suppliers continue to advance their technology while keeping drivers and passengers safe. Our safety-critical white paper examines the ISO 26262 automotive standard and makes a case for its indispensability.

»Download Whitepaper

Flyer: Safety-Verification Solution 

  • Unique, comprehensive and integrated set of apps to verify safety-critical hardware
  • Improve ISO 26262 / ICE 61508 diagnostic coverage metrics
  • Automate handling of fault injection scenarios for assertion-based verification (ABV) 
  • Multiple formal coverage metrics for standards-compliant requirements verification 

»Download Flyer


Press pictures

These images are intended for use in the context of covering OneSpin's Safety-Critical Verification Solution and/or the 54th Design Automation Conference (DAC). Publication requires attributing photo credit to Sasa Stamenkovic, OneSpin Solutions.