Overview
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.
In addition, Actel's Protocol
Design Services Group offers solutions that cover all aspects of
the DO-254 process from planning through design, implementation, and
verification.

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