DO-254合规性
RTCA/DO-254是包含FPGA、PLD和ASIC的机载电子硬件开发的合规性手段。根据DO-254指南进行FPGA设计和验证是一项严格的任务，需要设计、仿真和硬件验证工具的特殊功能和能力。联邦航空管理局（FAA）和其他国际认证机构认可FPGA设计和验证常用工具的使用，如RTL模拟器、合成、位置和路线以及静态时序分析。对于DAL A和B FPGA，FAA还认可了其他可改进设计、验证、可追溯性和项目管理的工具，包括需求管理、可追溯性、测试管理、设计规则检查、时钟域交叉（CDC）分析、代码覆盖率和FPGA物理测试系统。
Aldec用于FPGA设计和验证的专用工具可提高生产率，并帮助申请人实现DO-254合规性：规格跟踪器，ALINT-PRO，有源HDL和DO-254/CTS. Aldec的工具已由几家主要航空电子公司实施和部署，并得到认证机构的认可，经证明可将FPGA设计和验证周期从数月缩短到数周。
