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.
The OneSpin Safety Verification Solution – Driving key ISO 26262 metrics
Press release: Safety-Critical Solution for Automotive
Formal Verification Leader OneSpin Solutions Unveils its Comprehensive Safety-Critical Solution for Automotive, Other Mission-Critical Applications
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.
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
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.