Questa simulation and verification, Calibre, HDL Designer. Enterprise-class verification platform with code coverage, functional coverage, and formal verification capabilities used across major avionics programs.

Agilex, Stratix, Cyclone, MAX families. Quartus Prime synthesis and fitter. Recently independent from Intel. Growing presence in defense and avionics with new Agilex 5 and 7 compliance packages.

PolarFire, SmartFusion2, IGLOO2, ProASIC3 families. Libero SoC design suite. Flash-based FPGAs with inherent configuration security advantages for airborne applications. Strong position in space-grade and radiation-tolerant designs.

Virtex, Kintex, Artix, UltraScale+, Versal ACAP families. Vivado synthesis and implementation. Largest installed base in avionics FPGA programs. DO-254 compliance packages available for most device families.

Riviera-PRO simulation, ALINT-PRO linting, DO-254/CTS compliance tool suite. One of the few EDA vendors with tools specifically designed for DO-254 compliance workflows including requirements tracing and structural coverage analysis.

AI-augmented FPGA engineering services for DO-254 programs. Design, verification, IP qualification, and schedule recovery across DAL A through D. Architecture-level expertise on Xilinx, Altera, and Microchip platforms with a patented AI methodology that compresses development timelines from months to weeks.

Xcelium simulation, JasperGold formal verification, Conformal equivalence checking. Strong in formal methods and equivalence checking — critical for demonstrating synthesis correctness at higher DAL levels.

Industry-standard requirements management tool used across aerospace. Bidirectional traceability from system requirements through hardware requirements to test cases. Widely accepted by DERs and certification authorities.

Modern requirements management platform with live traceability. Growing adoption in avionics programs as an alternative to DOORS. Web-based interface with API integration capabilities for CI/CD workflows.

Git-based source control with branch management and pull request workflows. Widely used for HDL source control. Must be supplemented with formal CM procedures and baseline documentation for DO-254 compliance.

Finding a qualified DER with FPGA/DO-254 experience is one of the most critical decisions in a certification program. Early DER engagement prevents the most common and expensive findings. Contact the FAA or your local ACO for referrals.