Requested Whitepaper
The Use of Advanced Verification Methods to Address DO-254 Design Assurance
MoreRequest White Paper
You will receive an email with a direct link to your requested white paper.
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.
You will receive an email with a direct link to your requested white paper.
It's free, will only take a minute, and will improve your experience on mentor.com.
1-800-547-3000 © Mentor Graphics, All rights reserved.
Site Map | Careers | Partners/Foundry Support | Contact Us | Terms and Conditions | Privacy Policy | International Websites