OneSpin Rolls Out OneSpin 360 EC-FPGA Tool Qualification Kit to Meet DO-254 Standard
Summary
“OneSpin’s EC-FPGA exhaustively verifies highly optimized FPGAs for aviation, aerospace, autonomous vehicles, nuclear power plants, railways and medical devices, eliminating systematic errors introduced during implementation,” says Dr. Raik Brinkmann, OneSpin’s president and chief executive officer.OneSpin 360 EC-FPGA Tool Qualification Kit, along with OneSpin’s comprehensive formal verification solutions, will be demonstrated in OneSpin’s Design Automation Conference (DAC) Booth #2611 June 25-27 at the Moscone Center in San Francisco.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.Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking.OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection.