Denali MMAV

MMAV (Memory Modeler - Advanced Verification) verification IP is the industry standard solution for memory simulation and system verification. MMAV dramatically enhances verification by enabling you to observe and operate on system-level data transactions during simulation. This "data-driven verification" approach is key to optimizing regressions and accelerating your overall verification process.

Modeling and Simulation
Denali's MMAV product provides the most complete solution for modeling and simulating memory. We are committed to providing the highest-quality models for any memory device, in any verification environment - and we meet this commitment every day for our customer base of over 400 leading-edge companies.

MMAV utilizes a powerful and effective approach to modeling memory. The generic functionality of the various memory architectures are captured in a set of highly-optimized 'C' models. The vendor-specific features and timing for any particular memory device are defined within a SOMA file. Once the MMAV model objects are linked into the simulation environment, modeling any type of memory is as simple as referencing the appropriate SOMA file for that particular memory device. MMAV automatically monitors the all timing and protocol requirements specified by the memory vendor.

The MMAV model objects are integrated to all popular simulation/verification environments, and Denali maintains a comprehensive database of over 3000 SOMA files online at

MMAV offers tremendous benefits in any system-level verification environment. At a very basic level, MMAV provides direct access to memory through commands that enable you to read, write, save, preload, and compare memory contents at any time during simulation. For data-driven verification, MMAv provides robust assertions to catch erroneous data transactions and difficult bugs associated with: uninitialized memory accesses, redundant reads, and data overwrites. These powerful assertions can trigger breakpoints to catch bad data transactions as they happen, not thousands of cycles later when/if the erroneous condition propagates data to an observable output.

A built-in address manager makes it easy to assemble any number of discrete memory components to form a contiguous memory address space, or "system memory". Any of the memory commands or assertions can then be applied to system memory. Other application-specific data structures include linked-lists and mirrored memory arrays.

MMAV supports PureView, a powerful debugging tool that enables you to view and edit memory contents interactively, or during post-simulation analysis. PureView also provides concise memory transaction data in the form of a history window which displays the transaction history for the device, or all transactions associated with a specific memory location. PureView also accelerates waveform level debugging with popular tools such as Novas Debussy where the tools enable synchronized views of waveform information, memory data, and memory transaction for advanced debugging.

Get Demo | Previous Page | Downloads Search

If you found this page useful, bookmark and share it on: