DO-254, Design Assurance Guidance for Airborne Electronic Hardware is a standard for complex electronic hardware development published by RTCA, Incorporated.

The DO-254 standard defines the means of compliance to FAA´s and International regulations for the design of complex electronic hardware in airborne systems. Complex electronic hardware includes devices like Field Programmable Gate Arrays (FPGAs), Programmable Logic Devices (PLDs), and Application Specific Integrated Circuits (ASICs). The DO-254 standard is the counterpart to the well-established software standard RTCA DO-178B/EUROCAE ED-12B.

With DO-254, the FAA has indicated that avionics equipment contains both hardware and software, and each is critical to safe operation of aircraft. There are five levels of compliance, A-E, which depend on the effect a failure of the hardware will have on the operation of the aircraft. Level A is the most stringent, defined as "catastrophic", while a failure of Level E hardware will not affect the safety of the aircraft. Meeting Level A compliance for complex electronic hardware requires a much higher level of validation and verification than Level E compliance.

Magillem provides the required software tools to follow requirements capturing and tracking throughout the design and verification process