Actel

DO-254 Verification

DO-254 (Design Assurance Guidance for Airborne Electronic Hardware) is a standard adopted by the Federal Aviation Administration (FAA) for electronics that include FPGA designs intended for flight use. Aldec provides a software/hardware solution that eases verification in DO-254 compliance.

DO-254 process

Features and Benefits

  • Complete solution for mixed VHDL/Verilog hardware design verification
  • Rapid design validation in hardware using RTL testbench
  • Automatic setup of the design to hardware
  • Automatic architecture retargeting for design prototyping
  • Hardware-in-loop

Documentation