avionics

May 19, 2022
DO-254 CDC FeatIM

Fly the friendly skies with automated CDC verification for DO-254

CDC-related metastability is hard to catch by hand and processes are error prone. Tools offer a more comprehensive approach.
Article  |  Topics: EDA Topics, EDA - Verification  |  Tags: , , , , ,   |  Organizations:
February 25, 2015
Pranav Ashar

DO-254 without tears

Compliance with aviation’s hardware design standard is seen as a ‘tough ask’, but EDA’s own evolution has made that process easier than you may think.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , , , ,   |  Organizations:
April 10, 2012

Using assertions in ‘elemental analysis’ for airborne hardware development – Part Two

The article continues the discussion of the verification requirements within the RTCA DO-254 design assurance guidelines. Part Two focuses on assertion-based verification. It proposes a method for using ABV to meet 'elemental analysis' requirements and underpin a systematic approach to robustness testing.
Article  |  Topics: EDA Topics, EDA - Verification  |  Tags: ,
February 28, 2012

Using assertions in ‘elemental analysis’ for airborne hardware development – Part One

This two-part article discusses the verification requirements of the RTCA DO-254 design assurance guidelines, including advanced methods for use on class DAL A/B designs. The first part provides a general overview. It also explains the original intent behind the concept of 'elemental analysis', how it is typically satisfied today with code coverage, and the limitations [...]
Article  |  Topics: EDA Topics, EDA - Verification  |  Tags: ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors