The Use of Advanced Verification Methods to Address DO-254 Design Assurance
|
Contributor: James P. Keithan, David Landoll, Paul Marriott, Bill Login Format: PDF Document This paper covers a project that is using advanced functional verification methods to verify a RTCA DO-254/EUROCAE ED80 Level A/B design. These 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. |