Effective Functional Verification Methodologies for DO-254 Level A/B and Other Safety-Critical Devices

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.