White Papers 

Synopsys’ HAPS System Speeds Proof-of-Concept Prototypes
The purpose of the PoC is to demonstrate that an algorithm, piece of intellectual property (IP), or system produce the correct results according to a target specification. In the Mil-Aero market, developing the PoC can be a critical step in the process of bidding for and winning government contracts. Design teams also use PoCs to demonstrate the viability of their products to potential investors and customers in advance of product availability. The PoC serves as a tangible deliverable and physical proof that a conceptual idea actually works.
Peter Calabrese, Applications Consultant Synopsys, Inc.

No Room for Error: Creating Highly Reliable, High-Availability FPGA Designs
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

A Methodology for a DO-254 Compliant Verification Flow using HVP
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

Understanding DO-254 Compliance for the Verification of Airborne Digital Hardware
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