Designers of FPGAs for military and aerospace applications need to increase the reliability and availability of their designs. This is particularly true in the case of mission-critical and safety-critical electronic systems. This paper provides brief definitions of key concepts: mission-critical, safety-critical, high-reliability, and high-availability. It then considers the various elements associated with the creation of high-reliability and high-availability FPGA designs including: FPGA design and verification flows, methodologies, processes and standards, architectural and algorithmic exploration, geographically distributed design teams, IP selection and verification, DO-254 compliance and much more.
Angela Sutton, Staff Product Marketing Manager, Synopsys

This whitepaper is designed to provide an understanding of how to build a DO-254 compliant ASIC/FPGA verification flow using the productivity enhancing features VMM Planner and Universal Report Generator which are found in Synopsys VCS®. The paper explains how differentiating tool features can be used to enhance and facilitate critical stages of the DO-254 verification process.
Dr. Paul Marriott XtremeEDA Corporation Anthony D. Stone Synopsys, Inc

This whitepaper is designed to provide a basic understanding of the main concepts of the DO-254 compliance specification for electronic component design. It outlines the major steps involved in a DO-254 compliant ASIC/FPGA design and verification process, and explains how differentiating tool features can be mapped to enhance and facilitate critical stages of the DO-254 process.
Dr. Paul Marriott XtremeEDA Corporation Anthony D. Stone Synopsys, Inc