OneSpin 360 Qualify accelerates and increases the precision of safety critical fault verification, an important part of the qualification process for ISO 26262 and other safety standards. The latest in a growing portfolio of formal verification apps, it formally identifies hard to track “non-propagatable” faults in a safety critical design verification operation, streamlining the fault simulation process and increasing overall “detected fault” verification accuracy.
“Safety critical designs represent a natural opportunity for exhaustive formal verification and, through our work with industry leaders, we now have a rich portfolio of effective apps in this area,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Fault qualification is one of the most time-consuming and important operations in the verification of these designs, and we have produced a unique app that fully complements our safety critical solution.”
Formal Safety Fault Pruning with OneSpin 360 Qualify
While OneSpin 360 Qualify primarily operates on a gate level netlist, it can also be applied to register transfer level (RTL) code, and supports the SystemVerilog, VHDL and SystemC languages. It analyzes faults with no design change, a key requirement of many safety standards. It can operate on an entire fault population, or a user-defined fault list to provide a statistical analysis based on fault sampling. A specified area of interest or restricted fault list also may be applied to save unnecessary processing time. An initial design state generated at a specific timestamp during a simulation may be loaded for context specific testing. The app includes full graphical debugging to improve fault propagation.
OneSpin 360 Qualify is shipping now. Pricing is available on request. For more information, visit: http://bit.ly/1KKACar
About OneSpin Solutions
Public Relations for OneSpin Solutions
+44 (0)20 7482 4800