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 Design for requirements analysis, design, automatic HDL code generation, and verification to produce airborne electronic hardware that adheres to DO-254. Model-Based Design for DO-254 combines automation tools from MathWorks and Mentor Graphics for design and verification to support a development process that goes from concept through implementation. This paper discusses this flow.
Download White Paper
DO-254, FormalPro, HDL Designer, HDL Designer, ModelSim®, Precision Physical, Precision RTL, Precision RTL Plus, Questa® Advanced Simulator, Questa® CDC Verification, Questa® Formal Verification, ReqTracer