“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 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. 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.

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.