This paper discusses advanced functional verification in the context of the mil-aero industry’s DO-254 safety-critical assurance process for complex hardware electronics. Advanced functional verification methods are explained that can be beneficial in terms of safety assurance and productivity gains, benefiting both the design assurance goals of certification authorities, as well as the hardware vendors themselves.

Note: By clicking on the above link, this paper will be emailed to your TechOnline log-in address by Mentor Graphics.