Code Coverage Explained: For DO-254 Projects
White Paper
ABSTRACT
Level A/B designs governed by RTCA/DO-254 must have additional verification for added design assurance. DO-254 Appendix B specifies several methods by which this can be accomplished. Today, the most common method is "Elemental Analysis," which typically involves using code coverage to ensure that the verification activities exercise all the design code. The issue is that code coverage is not one thing, but rather an umbrella term that includes numerous code-oriented metrics. This paper explains each of those metrics, what is covered and what isn't, and how the Mentor Graphics functional verification tools can be used to easily generate these metrics during simulation.
Related Resources
ModelSim PE Simulation Download and Trial
Software EvaluationModelSim PE Simulation Download and Trial
Now is your opportunity for a risk free 21-day trial of the industry’s leading simulator with full mixed language support for VHDL, Verilog and SystemVerilog and a comprehensive debug environment...
Understanding DO-254 and Solutions to Facilitate...
White PaperUnderstanding DO-254 and Solutions to Facilitate Compliance
RTCA/DO-254 (also known as DO-254 in the US or ED-80 in Europe) provides guidelines to facilitate requirements-based design of airborne electronic hardware. Now mandated by the US Federal Aviation Association...
TAGS: DO-254
Enabling Model-Based Design for DO-254 Compliance...
White PaperEnabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools
DO-254 compliance is becoming increasingly common on commercial and military aviation projects. Companies often struggle with the requirements and costs of DO-254 compliance. Engineers can use Model-Based...
TAGS: DO-254