Tech Papers
The Use of Advanced Verification Methods to Address DO-254 Design Assurance
Mentor Graphics
James P. Keithan et al.Mentor Graphics Technical Library
April 2008
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.
Note: By clicking on the above link, this paper will be emailed to your TechOnline log-in address by Mentor Graphics.
Rate this Content
|
|
|
|
|
Navigate to related information
