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/SIL 3). As a result, OneSpin's formal tools and 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 president and CEO. “We now empower engineers facing 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 that a design flow or tools follow the safety manual without imposing additional requirements. The user can apply the Tool Qualification Kit directly 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 extensive 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. (For more details, see accompanying news release dated February 14: “OneSpin Announces Immediate Availability of OneSpin 360 EC-FPGA Tool Qualification Kit Certified for ISO 26262, IEC 61508, EN 50128.”) Additional Tool Qualification Kits for other OneSpin tools will be announced later in the year.
To learn more about OneSpin’s Tool Qualification Kits visit onespin.com/tuv.