Patmos provides both DO-178B/DO-254 certification services and FPGA/PCG design expertise with DO-254 experience.
Aeroconseil is a leading aeronautical company offering aeronautical engineering and certification services.
Enea offers software (DO-178B/C) and hardware (DO-254) certification and turnkey design services.
Qualtech offers FAA DER services, including gap analysis, training and certification roadmaps, for DO-178B, DO-278 and DO-254.
LogiCircuit provides DO-254 design services including design and verification (IP, FPGA, circuit card, entire design) adhering to the DO-254 standard.
Based on the Verisense automated in-hardware verification platforms for DO-254 certification, Verisense offers a complete array of services for FPGA hardware certification. Verisense also offers complete design and verification services for DO-254 ASIC and FPGA applications.
HDL DH is fully committed to the DO-254 life cycle, offering complete development and verification services to get customers products to a certifiable level. Starting from upper level requirements, HDL DH provides both complete designs and IP needed to create the necessary hardware design life cycle data according to a DO-254 requirement process.
Mathworks offers model-based design solutions, supporting both DO-178B and DO-254 flows.
Xilinx offers a comprehensive ecosystem of FPGA platforms, tool flows, and expert design services for the development of DO-254 solutions.
Qualtech offers document templates and web-based compliance management tools to streamline DO-178B, DO-278 and DO-254 compliance.
Verisense offers a set of automated in-hardware verification platforms for DO-254 certification of FPGAs either on the operational board or on a dedicated platform. Verisense offers a modular approach to maximize reuse between platforms and products and includes complete support for high speed interfaces.
DMAP offers "DO-254 Ready" IP verified using advanced methods and Mentor Graphics tools.