Assertion-Based Verification for a DO-254 Program
Technology Overview
Abstract
Assertion-based verification (ABV) is a more modern approach to verification that can also validate the requirements phase of a DO-254 program. In this video, DO-254 program manager Michelle Lange shows how Mentor Graphics Questa, the advanced functional verification platform, enables DO-254 ABV.
Duration: 27:09
Opens in New Window/External URL
Tags
Related Resources
Multimedia
Advanced UVM Debugging
This web seminar will highlight some new strategies for debugging UVM-based testbenches using Questa 10.2.…View On-demand Web Seminar
The 2012 Wilson Research Group Functional Verification Study
Every two years, Mentor Graphics commissions Wilson Research Group to conduct a broad, vendor-independent study of design verification practices around the world. In this presentation, Harry Foster...…View On-demand Web Seminar
Other Related Resources
FPGA Verification with Assertions: Why Bother? A Painless and Easy Step-by-Step Approach to Adopting Assertions
White Paper: This paper provides a practical, easy, step-by- step set of instructions on how to add assertions to your RTL design. By following the simple guidelines provided in this paper you will benefit by cutting...…View White Paper
Dot Hill Systems Corp.
Success Story: How Dot Hill designed an verified a new 30-million-gate RAID accelerator using advanced OVM-based verification.…View Success Story
Parameters and OVM: Can’t They Just Get Along?
White Paper: This paper discusses the methods that have proven useful for verifying a highly parameterized DUT within an OVM testbench. This includes enhancing the default OVM functionality to create parameterized OVM...…View White Paper