SV Technical Publications

Processor-Driven Verification

Posted in: Testbench Creation & Automation

Current techniques of applying test vectors from an HDL testbench only begin to mimic processor bus behavior. The introduction of processor driven testbenches into the existing verification methodology enables real-world verification and extensive re-use of testbench software throughout the project. One of the limitations to effective utilization of processor driven tests has been the difficulty debugging software in a processor running in a logic simulator. This paper presents proven methods of debugging and trace technology which overcome the limitations to enable the benefits of processor driven tests throughout various hardware and software integration stages of your project.

Download

Getting Started with the OVM 2.0: AVM Backward Compatibility and Migration

Posted in: Testbench Creation & Automation

This document provides information for existing users of the Advanced Verification Methodology (AVM) users or people familiar with the AVM to begin using the Open Verification Methodology. There are a few levels of compatibility available that we address

Download

Overview of Sequence Based Stimulus Generation in OVM 2.0

Posted in: Testbench Creation & Automation

This document provides an overview of sequences and shows all the code necessary to use sequences within the OVM.

Download

Using inFact in an OVM Environment--An Application Note

Posted in: Testbench Creation & Automation

The Open Verification Methodology (OVM) provides a framework that includes both a methodology and code libraries that a verification engineer can use to build a testbench that is modular, interoperable, and reusable. The inFact® intelligent testbench automation tool allows the user to build testbench components whose activity is controlled by one or more rule graphs that define the verification scenarios and stimuli that are to be applied to the device under verification (DUV) or to one of its interfaces.

This application note describes how you would construct an inFact OVM component and include it within an OVM-based testbench. It is assumed that the user is already familiar with other aspects of the inFact tool, such as building the rule graphs, coverage objects etc. It is also assumed that the user has a good understanding of the OVM.

Download

The Use of Advanced Verification Methods to Address DO-254 Design Assurance

Posted in: Testbench Creation & Automation
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.
Download

Achieving Quality and Traceability in FPGA/ASIC Flows for DO-254 Aviation Projects

Posted in: Testbench Creation & Automation

With the recent FAA/EASA mandate, companies providing flight hardware for commercial aviation systems now must build their complex electronic hardware components (i.e., ASIC/FPGA) to the standard known as DO-254. Focusing on design assurance (including quality, traceability, and strict configuration management), the DO-254 standard can have a profound impact on a company's development processes and design flows.

This paper discusses the application of advanced methodologies and integrated tool flows for ASIC/FPGA design and verification, showing how to implement a high quality flow that provides the required assurance while maintaining cost and schedules.

Download

The New Wave in Functional Verification: Intelligent Testbench Automation

Posted in: Testbench Creation & Automation

Intelligent testbench automation enables design teams to leverage the benefits of common testbench languages while providing a next-generation level of automation that increases functional coverage, which in turn, reduces overall testbench programming. This new technology uses algorithms to automate generation of simulation sequences, data, and checks from a concise behavioral description of a design's specifications.

Intelligent testbench automation achieves a higher level of functional coverage at the module, sub-module, and system level and finds more bugs faster than traditional methods. When intelligent testbench automation is employed, project teams design with a higher level of confidence, design quality improves in a fraction of the time, and manufacturing respins are dramatically reduced.

Download

Closing the Loop in Testbench Automation

Posted in: Testbench Creation & Automation

Existing testbench techniques offer various benefits. However, once a testbench is initiated, it runs open-loop, generating results and then reporting them to an engineer. In turn, the engineer analyzes the results, makes some modifications to the system, and runs it again - and then repeats the process. The process runs open-loop, requires human intervention, and the iterations can span weeks, or even months.

Most verification engineers consider the "learning testbench" to be a vision of the future. However, a new advanced closed-loop testbench automation system "learns" from both the DUT and the testbench modules during simulations. By combining concepts previously associated with compiler test automation and logic design synthesis, along with some innovative recently-patented technology, Mentor Graphics augments directed testing and constrained random testing with intelligent testing - a learning-based system that actively targets desired results, rather than merely reporting them.

Download

Applying Assertion-Based Formal Verification to Verification Hot Spots

Posted in: Testbench Creation & Automation

Based on our experience helping many design teams deploy assertions and formal verification, we recommend deploying ABV (including formal model checking) on the most salient verification hot spots in a design, following a seven-step, formal verification planning process. By focusing ABV on verification hot spots, a design team can adopt ABV incrementally as they continue to use their simulation-based methodology. This has the added benefit of minimizing the risks involved with adopting a new methodology while maximizing the return-on-investment.

Download
© Mentor Graphics Corp. All rights reserved.