Aerospace and Defense Verification

Accelerating Innovation in Aerospace and Defense Electronics Design

Electronics design for Military and Aerospace applications requires high performance FPGA synthesis, multi-domain verification capabilities and maximum flow traceability for compliance to safety standards like DO-254. Synopsys’ solutions enable customers in this market deliver innovative products faster, cheaper and meet the higher safety standards required by the aerospace and defense industry.

DO-254 was formally recognized in 2005 as the standard for ensuring the highest level of safety in electronic airborne systems. As a process based standard, DO-254 does not specify or certify individual tools, but requires that the development and verification of complex hardware complies with a predetermined process of rigorous, structured design and verification.