/ Products / MMAV
 

Memory Models MMAV

MMAV 検証IPは、メモリ・インターフェイスの検証とシステムの正確性の確認を行う業界標準ソリューションです。MMAVにより、シミュレーション時のシステム・レベルのデータ・トランザクションの観察および実行が可能になるため、検証が大幅に強化されます。このアプローチは、再テストを最適化し、検証プロセス全体を加速化するうえで鍵となります。

新しいMMAV2010パッケージには、最新のメモリとメモリカード・モデルが追加されました。MMAV2010パッケージに、CE-ATA、eMMC 4.4、I2C、LBA NAND、LL DRAM、SD 3.0、SDIO (Host) および Toggle NANDが新たにメモリライブラリとして追加されました。また、MMAV2010には、デバッグを容易化するための強力な検証タスクを提供します。~データ転送エラーの捕捉をするためのアサーション機能やコールバック機能、仮想的な論理メモリマッピング、エラー挿入、トランザクション履歴、カバレッジレポート生成機能など。~

Evaluate MMAV icon

Key Features:
  • High-quality memory models - Vendor Certified
  • Advanced verification features
  • Second-sourcing options with variable memories
  • Support for all commercial verification tools, languages, & methodologies

Architecture

MMAV には、あらゆるメモリベンダの全メモリタイプに対応したシミュレーションモデルが含まれています。

  • DDR1、DDR2、DDR3、Mobile SDR/DDR、LPDDR2、GDDR2、GDDR3、GDDR4、GDDR5 を含むすべてのDRAM に対応
  • QDR、PSRAM を含むすべてのSRAM に対応
  • NOR、NAND、OneNAND、ONFi 2.2、Perfect NAND、Toggle NAND、LBA NAND を含むすべてのFlash に対応
  • CE-ATA、CompactFlash、SDCard、SD3.0、eSD(embedded SDCard)、Memory Stick、Memory Stick Pro、MMC、eMMC 4.4 を含むすべてのメディアカードメモリに対応
  • AMBA (AXI, APB, AHB), DFI (DDR PHY Interface), I2C, OCP, SDIO (host) を含むすべてのプロトコルに対応

MMAV

Modeling/Simulation

DenaliのMMAV製品は、メモリのモデリングとシミュレーションにおいて最も包括的なソリューションを提供します。当社の方針は、あらゆる検証環境でメモリ・デバイスにおける最高品質のモデルを提供することです。500社を超える最先端の企業から成る顧客に対してこの経営方針を貫いています。

MMAVでは、メモリのモデリングにおいて強力かつ効果的なアプローチを使用しています。さまざまなメモリ・クラスおよびアーキテクチャの一般的機能は、高度に最適化された一連の"C"モデルに組み込まれています。ベンダ固有の機能や特定のメモリ・デバイスのタイミングは、SOMA (Specification of Modeling Architecture) ファイルに定義されています。MMAVモデル・オブジェクトをシミュレーション環境にリンクすると、あらゆるタイプのメモリのモデリングは、その特定のメモリ・デバイスに適したSOMAファイルを参照するだけで済みます。MMAVは、メモリ・ベンダによって指定されたタイミングとプロトコルの要件をすべて自動的に監視します。

MMAVモデル・オブジェクトは、すべての検証/シミュレーション環境に統合できます。また、Denaliは、eMemory.comで15,000を超えるSOMAファイルの包括的なデータベースをオンラインで維持しています。

Advanced Verification

MMAVは、システムレベルの検証環境において絶大な利益をもたらします。MMAVの基本的なレベルでは、コマンドを通じてメモリに直接アクセス可能で、シミュレーション中いつでもメモリ・コンテンツをリード、ライト、保存、プレロードおよび比較できます。高度な検証においてMMAVは下記を提供します。

  • 強力なアサーション
  • エラー・コンフィギュラビリティ
  • トランザクション・コールバック
  • アサーション・レポート
  • システムメモリ構築

コールバック機能は、間違ったデータ転送や初期化されないメモリへのアクセス、重複リード、データ上書きに関連づけられる複雑なバグを捕捉します。強力なアサーション機能によって、間違ったデータ転送が発生すると、その時点でブレイクポイントをトりガすることができます。エラー状態が観測ポイントまで伝搬するまでの何千サイクルを待つ必要がありません。トランザクション・コールバック機能は、スコアボーディングおよびカバレッジを可能にします。オンデマンドWebCast にてSystemVerilogを用いたコールバック機能「Utilizing Callback Features in MMAV(英語)」の紹介をしていますのでご覧ください。

組み込みアドレス・マネージャにより、別個のメモリ・コンポーネントを簡単にアセンブルして、隣接したメモリ・アドレス・スペースまたは「システム・メモリ」を形成できます。この後、すべてのメモリ・コマンドまたはアサーションをシステム・メモリに適用できます。その他のアプリケーション固有のデータ構造には、連結リストやミラー化メモリ・アレイが含まれます。

MMAVにより、設計者は複数のメモリベンダの異なる種類のメモリをセカンドソースとして検証することができます。シミュレーション実行中に、メモリを次から次へとダイナミックに変更することができます。将来のメモリ供給やメモリコストの変化による設計変更のインパクトを減らすことができます。

Debugging

MMAVは、対話形式で、またはシミュレーション後の解析時にメモリの内容を表示および編集できる強力なデバッグ・ツールであるPureViewをサポートしています。PureViewによっても簡単なメモリ・トランザクション・データを履歴ウィンドウの形式で表示できます。このウィンドウにはデバイスのトランザクション履歴や特定のメモリ・ロケーションに関連する全トランザクションが表示されます。また、PureViewは、波形情報、メモリ・データおよびメモリ・トランザクションの同期表示を可能にすることで、一般的なツールを使用した波形レベルのデバッグを短時間で行えるようにします。

Language/Tool Support

Denaliの検証IPは、主要なEDAツールと検証言語に統合可能です。また、VMM、OVM、eRMなどの最新検証メソドロジをサポートします。当社のワールド・クラスのサポート・チームは、Denali製品への投資によってお客様が最大限の価値を継続的に得ることができるよう取り組んでいます。

Languages
  • Verilog
  • SystemVerilog
  • VHDL
  • C/C++
  • SystemC
  • Specman e
  • OpenVERA
Simulation/Verification Tools
  • Verilog HDL - VCS, Incisive Enterprise Simulator, ModelSim
  • VHDL - ModelSim, Incisive Enterprise Simulator
  • Specman Elite
  • C/C++
  • SystemC
  • Specman e
  • OpenVERA

Resources

MMAV™ 2010 — NEW!

Sanjiv Kumar presents an in-depth look at the MMAV verification IP architecture and why it is the industry's standard solution for verifying memory interfaces and ensuring system correctness. Sanjiv covers how to enhance your overall verification process as well as many of the new MMAV 2010 package features, including: peek/poke, load/restore, error injection, memory and transaction callback, assertions report generation, errors configurability and more...

View Webcast Now!icon

Utilizing Callback Features in MMAV

The webcast presents several examples of using callbacks in a SystemVerilog testbench in a variety of advanced verification methodologies.

View Webcast Now!icon

Customers

"Today's SoC design specifications necessitate high-quality IP and VIP and Denali's solutions and expertise unlike any other vendor. We were pleased with the unmatched performance and overall ease of integration of Denali's Databahn memory controllers into our chip design. We used Databahn controller and MMAV in our design to support our required DDR2 memory interface and TSMC's 65nm CMOS technology. During the design and verification phases, we found that Denali's IP and VIP were easy-to-use and to integrate which facilitated our very fast design cycle."
Rafy Carmon
Vice President
Precello Ltd.

"Wintegra customers are faced with challenging design specifications for today's programmable multi-protocol networking solutions and in the Service Provider access equipment market. Utilizing Denali's MMAV we were able to accelerate our time-to-market by verifying our DDR memory system quickly and deliver high-quality WinPath2 processors."
Yoram Yeivin
Vice President of Engineering
Wintegra, Inc.

"AppliedMicro values working with leading IP providers, such as Denali, who can provide high-quality products to help us achieve our design requirements in the most cost-effective manner. In order to get to market quickly with lower risk of integration errors, AppliedMicro chose Denali verification IP architected for seamless integration into our advanced SystemVerilog design and verification methodology. Denali's products' performance and integration gives us confidence that our end-products will properly interoperate with these industry standard interfaces."
Amal Bommireddy
Vice President of Engineering
AppliedMicro