OneSpin Provides Automated ISO 26262 Safety Analysis, Verification Flow to Kalray

June 25, 2018 OneSpin Solutions

OneSpin® Solutions announced today successful completion of the first phase of an effort to deploy at Kalray a rigorous, automated flow for the analysis of hardware architectural metrics required by the ISO 26262 automotive electronics standard.

Kalray designs and markets a new generation of “intelligent” processors that have the capability to analyze on the fly, and in an intelligent manner, a large flow of information, and to react and make decisions in real time.

Kalray’s intelligent processors deliver low-latency, low-consumption and massively parallel computing targeting data center cloud infrastructure, big data analytics and self-driving car markets. It needed an automated flow for its MPPA® many-core processors to calculate ISO 26262 hardware metrics, including single point fault metric (SPFM), latent fault metric (LFM) and the probabilistic metric for random hardware failures (PMHF). The functional safety flow, an imperative when designing and deploying compute platforms for intelligent systems, enables MPPA to be used in safety-critical systems within autonomous vehicles.

“Kalray is at the forefront of massively parallel architectures for artificial intelligence,” adds Jörg Grosse, product manager functional safety for OneSpin. “We were able to adapt our technology for Kalray’s specific project needs for a successful partnership that further improves our functional safety solution and confirms OneSpin as an EDA leader in this field.”

“Computing hardware fault metrics and achieving targets set by ISO 26262 is challenging, but crucial to enable the application of our massively parallel many-core technology in autonomous vehicles,” remarks Camille Jalier, Kalray’s director of hardware R&D. “OneSpin is a trusted provider of apps, methodology and expertise to automate many steps of this process. Working cooperatively with its engineers smoothed our path to ISO 26262, savings months of project time.”

OneSpin, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), will demonstrate its comprehensive formal verification solutions at the Design Automation Conference (DAC) Booth #2611 Monday-Wednesday, June 25-27, from 10 a.m. until 6 p.m. DAC will be held at the Moscone Center in San Francisco.

About OneSpin Solutions

OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:

Website: www.OneSpin.com

Twitter: @OneSpinSolution

LinkedIn: https://www.linkedin.com/company/onespin-soluti[...]

Facebook: https://www.facebook.com/OneSpinSolutions

Previous Article
Squish GUI Tester 6.4 Release with Cutting-edge Object Recognition Features
Squish GUI Tester 6.4 Release with Cutting-edge Object Recognition Features

froglogic, the leading cross-platform GUI testing company, today announced the release of Squish GUI Tester...

Next Article
Metrics' Built-on-Google Cloud Simulator Delivers Infinite Verification Capacity

SaaS Solution Offers Cloud-Based, On-Demand Simulation; Big Data Management and Visibility; Integrated Glob...