Users Deploy EC-FPGA Formal Sequential Equivalence Checking into Automotive ASIL D Projects with no Additional Tool Qualification Requirements
MUNICH and SAN JOSE, CALIF. – February 14, 2018 – OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), announced immediate availability of its OneSpin 360 ECFPGA ™ Tool Qualification Kit certified by internationally-recognized testing body TÜV SÜD. The certification states that EC-FPGA 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).
“OneSpin’s EC-FPGA is the only EDA tool to exhaustively verify highly optimized FPGAs for autonomous vehicles, aerospace, nuclear power plants, railways and medical devices to eliminate systematic errors introduced during implementation,” notes Dr. Raik Brinkmann, OneSpin’s president and CEO. “With this certified Tool Qualification Kit, our users can deploy EC-FPGA seamlessly in their safety-critical flows to achieve a new level of productivity and standard compliance.”
EC-FPGA is an automatic sequential equivalence checker that prevents fieldprogrammable gate array (FPGA) design flows from introducing synthesis, place-androute and other implementation errors. Safety standards require rigorous verification before production to minimize the risk of failures in the field. Using 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.
OneSpin also announced today that its general tool development and testing process has been audited by TÜV SÜD. (For more details, see accompanying news release dated February 14: "OneSpin Completes Series of Factory Inspections, Audits by Internationally-Recognized Testing Body TÜV SÜD.") Additional Tool Qualification Kits for other OneSpin tools will be available later in the year.
Availability and Pricing
OneSpin 360 EC-FPGA Tool Qualification Kit is shipping now. Pricing is available upon request. OneSpin has direct sales channels in the United States, Europe and throughout Asia, backed by a variety of customer service and support options including on-site training, hotline support and consulting services.
To learn more about the OneSpin 360 EC-FPGA Tool Qualification Kit, visit onespin.com/tuv.