James P. Keithan et al.
Mentor Graphics and XtremeEDA
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.
|
