MUNICH and SAN JOSE, CALIF. –– February 14, 2018 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced successful completion of a series of factory inspections and audits of its organization and tool development processes by internationally recognized testing body TÜV Süd.
This conformance level enables OneSpin to provide certified formal verification solutions meeting tool qualification requirements set by functional-safety standards (ISO 26262, IEC 61508 and EN 50128/SIL3). As a result, OneSpin solutions can reach the highest safety integrity levels (ASIL-D and SIL-3).
“Achieving this level of confirmation from TÜV Süd enables us to remove the burden of tool qualification from users for an unprecedented level of productivity and safety compliance,” affirms Dr. Raik Brinkmann, OneSpin’s chief executive officer. “We now empower engineers with tough technical challenges and notoriously hard-to-satisfy safety standards to seamlessly deploy the latest formal technology into their safety-critical design flows.”
The TÜV Süd audit reviewed OneSpin’s ability to meet the requirements for the tool qualification methods “evaluation of the development process” and “validation of the software tool” defined in ISO 26262. These methods can be applied to all tool confidence levels and enable tool qualification through ASIL-D, the highest automotive safety integrity level. In addition, OneSpin satisfied the requirements for T2 off-line tools, the classification required for verification tools according to IEC 61508 and EN 50128.
With this foundation, OneSpin’s certified Tool Qualification Kits ensure a design flow or tools follow the safety manual without imposing additional requirements. The user can apply directly the Tool Qualification Kit to the tool evaluation step required by the functional safety standards with no additional tool qualification effort. This accelerates the process and eliminates the need to implement high-tool error detection justification or other time-consuming tool qualification methods such as “increased confidence from use.”
The first tool qualification kit is available for OneSpin 360 EC-FPGA™, an automatic sequential equivalence checker that secures FPGA flows against the risk of synthesis and other implementation errors. (See accompanying news release dated February 14 titled, “OneSpin Announces Immediate Availability of OneSpin 360 EC-FPGA Tool Qualification Kit Certified for ISO 26262, IEC 61508, EN 50128,” for more details.) Additional tool qualification kits for other OneSpin tools will be announced later in the year.
To learn more about OneSpin’s tool qualification package, visit onespin.com/tuv
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 four years as it forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.
Engage with OneSpin at:
OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.
For more information, contact:
Public Relations for OneSpin Solutions