ISO 26262, IEC 61508, and EN 50128 Compliance
Standard Compliance without Additional Qualification Effort
OneSpin 360 EC-FPGA is an automatic sequential equivalence checker that prevents field programmable gate array (FPGA) design flows from introducing synthesis, place-and-route and other implementation errors. Safety standards require rigorous verification before production to minimize the risk of failures in the field. With the most advanced formal technology, EC-FPGA detects corner-case design-flow bugs with a process that is orders of magnitude more efficient and rigorous than gate-level simulation. With this TUV SUD certified Tool Qualification Kit (TQK), users can deploy EC-FPGA seamlessly in their safety-critical flow to achieve a new level of productivity and standard compliance, without additional qualification effort.
TUV SUD audited the development and testing process applied to OneSpin 360 EC-FPGA, as well as the OneSpin organization, in particular the project management.
The resulting certificate and report are part of the TQK and can be used to apply tool qualification methods in order to achieve up to ASIL-D and SIL-3 safety integrity levels. In addition, the TQK provides the tool-specific Safety Manual describing the environment and steps for safe operation, including a tool classification guideline to simplify tool classification activity. Finally, the TQK provides access to the OneSpin defect management system. Apart from the ability to file defects against a particular tool revision, this kit enables access to the known safety-relevant defect list and setup for defect notification.