Aldec, HighRely and leading FPGA vendors establish DO-254 ecosystem

HENDERSON, USA: Aldec Inc., an EDA leader in FPGA and ASIC Verification, and HighRely Inc., industry-leading DO-254/DO-178B avionics development and engineering services company, have announced the establishment of a DO-254 ecosystem, including Aldec, HighRely and industry-leading programmable logic vendors: Actel, Altera and Xilinx.

Aldec and HighRely provide a comprehensive certifiable DO-254 solution which covers the entire front-end and back-end of DO-254 compliance requirements for any DO-254 program that requires in hardware programmable logic validation.

Aldec DO-254 at-speed in-hardware verification solution has been adopted at five global avionics companies over the last nine months and helped those organizations achieve Level A and B compliance all of which included programmable logic devices.

Partnering with HighRely will extend the reach of Aldec’s current industry-proven DO-254 compliance solution and provide customers with access to HighRely’s highly popular JumpCert-254 solution which includes dedicated DO-254 RelyTRACE traceability tool, RelyCHECK DO-254 processes/checklists, DO-254 training services, gap analysis and DER certification support.

Zbyszek Zalewski, GM of Aldec Hardware Business Unit, said: “Our end goal is to provide our existing and new customers full support of DO-254 compliant tools, training and services. We want to help and guide them to attain DO-254 compliance and certification for their DO-254 project from start to finish avoiding common confusion, pitfalls and mistakes.”

Tony Baghai, Co-founder of HighRely, said: “Costly mistakes result from lack of understanding, planning and applying DO-254’s true intent which can actually be very cost-effective when executed properly. DO-254 compliance will be straightforward if the right tools and expertise is applied.”

He added: “The activities related to development and certification of hardware can improve the quality, reliability and maintainability of product, if done properly. HighRely’s JumpCert-254 is the world’s most popular DO-254 jumpstart to DO-254 in use at dozens of companies today. The integration with Aldec’s best-in-class tools was an easy decision and a win-win for everyone, particularly all the avionics developers requiring DO-254 compliance.”

The establishment of the DO-254 Ecosystem is the beginning of a larger expansion of the Aldec DO-254 solution in order to meet customers’ requirements for a front- to back-end solution which achieves DO-254 compliance. The Ecosystem is currently supported by the three largest programmable logic device vendors Actel, Altera and Xilinx.