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.