industry news
Subscribe Now

OneSpin Rolls Out OneSpin 360 EC-FPGA Tool Qualification Kit to Meet DO-254 Standard

Users Deploy EC-FPGA Formal Sequential Equivalence Checking into Aviation Electronic Systems with Support for Certification Processes

MUNICH and SAN JOSE, CALIF. –– June 20, 2018 –– OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today rolled out OneSpin 360 equivalence checking (EC)-field programmable gate array (FPGA)™ Tool Qualification Kit to support the DO-254 standard.

“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. “With this new DO-254 Tool Qualification Kit, our avionics users can deploy EC-FPGA seamlessly in their safety-critical flows to achieve a new level of productivity and standard compliance.”

The tool qualification kit enables OneSpin users to meet the highest aviation electronic systems requirements for airborne electronic hardware set by DO-254 (Level A). 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.  

Included in OneSpin 360 EC-FPGA Tool Qualification Kit are DO-254 and DO-330 tool qualification guidelines, tool documentation, quality assurance practices documentation and a compliant development processes certificate.

Additionally, a tool verification package, including a test set with expected results, documentation of internal test infrastructure, coverage and environment, as well as safety guidelines, comes with the tool qualification kit. Also included are building blocks for users to develop their plan for hardware aspects of certification (PHAC) and a hardware verification plan (HVP).

OneSpin provides assistance to users completing the DO-254 qualification.

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. This serves as independent output assessment for such implementation tools, which is required by the safety standard. 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.

Availability and Pricing

OneSpin 360 EC-FPGA DO-254 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.

About OneSpin Solutions

OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. 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. OneSpin: Making Electronics Reliable.

Leave a Reply

featured blogs
Sep 18, 2020
You might have noticed that Cadence has changed its website, its colours, its message. We have also changed the name of our user conference, what used to be CDNLive EMEA has become CadenceLIVE... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Sep 18, 2020
[From the last episode: We put the various pieces of a memory together to show the whole thing.] Before we finally turn our memory discussion into an AI discussion, let'€™s take on one annoying little detail that I'€™ve referred to a few times, but have kept putting off. ...
Sep 17, 2020
VITA, PICMG, COM-HPCTM, COM Express®, MicroSAM®, and MicroTCA® are all developing standards or updating with new additions and Samtec is moving along with them. Samtec’s involvement in standards has grown over the years, and there are no signs of that slowing down. B...
Sep 16, 2020
In addition to the Great Highland (Scottish) bagpipes, the Uilleann (Irish) bagpipes, and the Northumbrian (English) bagpipes, there are myriad other offerings spanning the globe....

Featured Video

AI SoC Chats: Host Processor Interconnect IP for AI Accelerators

Sponsored by Synopsys

To support host-to-AI accelerator connectivity, AI chipsets can use PCI Express, CCIX, and/or CXL, and each have their benefits. Learn how to find the right interconnect for your AI SoC design.

Click here for more information about DesignWare IP for Amazing AI

Featured Paper

The Cryptography Handbook

Sponsored by Maxim Integrated

The Cryptography Handbook is designed to be a quick study guide for a product development engineer, taking an engineering rather than theoretical approach. In this series, we start with a general overview and then define the characteristics of a secure cryptographic system. We then describe various cryptographic concepts and provide an implementation-centric explanation of physically unclonable function (PUF) technology. We hope that this approach will give the busy engineer a quick understanding of the basic concepts of cryptography and provide a relatively fast way to integrate security in his/her design.

Click here to download the whitepaper

Featured Chalk Talk

Embedded Display Applications Innovation

Sponsored by Mouser Electronics and Texas Instruments

DLP technology can add a whole new dimension to your embedded design. If you considered DLP in the past, but were put off by the cost, you need to watch this episode of Chalk Talk where Amelia Dalton chats with Philippe Dollo of Texas Instruments about the DLP LightCrafter 2000 EVM. This new kit makes DLP more accessible and less expensive to design in, and could have a dramatic impact on your next embedded design.

Click here for more information about Texas Instruments DLP2000 Digital Micromirror Device (DMD)