Using Assertions to Satisfy Elemental Analysis
White Paper
ABSTRACT
This paper discusses DO-254 and what it requires for verification (including advanced methods for DAL A/B designs), explains the original intent of Elemental Analysis, the way it is typically satisfied today with code coverage, introduces ABV, and proposes a method for using this technique to not only satisfy Elemental Analysis but also to support a systematic approach to satisfying a claim of Robustness testing.
Related Resources
Safety-critical Applications and xtUML
On-demand Web Seminar 35:15Safety-critical Applications and xtUML
Interest in adopting modeling practices is very high in domains requiring safety-critical design practices. In this presentation, the capabilities of BridgePoint and ReqTracer, two products from Mentor...
Explore the True Potential of Your FPGA Design
On-demand Web Seminar 19:27Explore the True Potential of Your FPGA Design
In this seminar, you’ll discover how to leverage FPGA Precision Synthesis technology to find the true potential of your design.
First time’s a charm for FPGA verification at Lockheed...
Success StoryFirst time’s a charm for FPGA verification at Lockheed Martin Space Systems Company
Lockheed Martin uses SystemVerilog, OVM and Mentor Graphics tools for first-pass FPGA verification success