Questa inFact: Verifying a DMA Controller

Technology Overview

Requires Flash Player.

Questa inFact is a stimulus-generation tool that accelerates functional coverage closure. In this demo, you will see how Questa inFact is applied to verification of a DMA controller. The key features of the Questa inFact Integrated Development Environment and Questa inFact Distributed Verification are shown, as well as Questa inFact's 10-100x-faster coverage closure.

Duration: 17:05

Tags: Questa® inFact

View Technology Overview (Opens in New Window/External URL)

Related Resources

Multimedia

Accelerating Coverage Closure with Intelligent Testbench Automation

Mentor Graphics has a proven methodology to accelerate functional coverage closure, freeing up resources to achieve more verification. Questa Ultra’s Intelligent Testbench Automation solution generates...…View On-demand Web Seminar

Solutions Expo Keynote:

Performance is key to achieving verification productivity. Yet, traditional brute force approaches to improving performance will only provide incremental benefits, which will not keep up with Moore's Law....…View Technology Overview

Accelerating Coverage Closure with Intelligent Testbench Automation

The Questa Questa inFact Intelligent Testbench Automation solution generates stimulus according to the user s functional coverage goals, eliminating redundant stimulus and efficiently targeting corner cases....…View On-demand Web Seminar

Other Related Resources

Using Questa inFact with OVM Sequences

White Paper: This article examines how inFact’s coverage driven stimulus generation solution can be deployed in an OVM sequence environment and compares simulation performance between sequences developed using...…View White Paper

Evolving the Coverage-Driven Verification Flow

White Paper: Over the past decade, coverage-driven verification has emerged as a means to deal with increasing design complexity and ever more constrained schedules. Among the benefits of the new methodology -- a dramatically...…View White Paper

Harvesting Real Productivity from Simulation Farms

White Paper: This paper examines a graph-based technique for describing and spatially distributing a verification task efficiently across multiple machines in a simulation farm. Design examples are used to explore typical...…View White Paper