ISO 26262, IEC 61508, and EN 50128 Compliance
Standard Compliance without Additional Qualification Effort
OneSpin 360 DV-Quantify™ provides precise, accurate verification coverage measurement for formal verification, far surpassing other techniques in use today. Part of the OneSpin PortableCoverage™ Solution, Quantify is the electronics industry’s only tool that accurately answers whether a design has enough assertions. It measures how well assertions cover the design using model-based mutation coverage. Quantify injects mutations (faults) into a formal model and checks whether any assertion would detect a bug at that point. Quantify provides precise, actionable information on what parts of the design are verified and highlights RTL code that could still hide bugs. No modifications to register transfer level (RTL) source code are required.
TÜV SÜD audited the development and testing process applied to OneSpin 360 DV-Quantify, as well as the OneSpin organization.
The OneSpin 360 DV-Quantify tool qualification kit meets the most stringent tool qualification criteria set by functional safety standards ISO 26262 (TCL3/ASIL D), IEC 61508 (T2/SIL 3) and EN 50128 (T2/SIL 3).
As the last tool in a formal verification tool chain, Quantify is designed to identify problems in the verification process itself. Since Quantify detects tool problems in the earlier steps, previous tools can be classified as TCL1, meaning that they do not require further qualification. This removes a significant engineering burden for projects that must comply with the standards.
OneSpin collaborates closely with TÜV SÜD, a global testing, certification, and inspection provider, to produce this TQK.