The Use of Advanced Verification Methods to Address DO-254 Design Assurance
This paper covers a project that is using advanced functional verification methods to verify an RTCA DO-254/EUROCAE ED80 Level A/B design. The methods include Constrained Random Simulation, Design Intent Specification (designer-added assertions), the Total Coverage Model (Unified Coverage Database), and Formal Verification (formal model checking). The project is a real design currently being developed at Rockwell Collins.
Please disable any pop-up blockers for proper viewing of this Whitepaper.