/ Products / PureSpec PCIe
 

PCI Express Verification IP

PCI Express 1.1, 2.0x, 3.0 + I/O Virtualization

PureSpec™-PCI Express (PCIe) は、PCI Express設計の適合性を検証するための包括的な検証IPソリューションです。PureSpec 製品には、すべてのプロトコル・レイヤおよびデバイス・タイプのシミュレーション・モデルが含まれており、トラフィック生成や、適合性を検定する一連のテストが可能です。PureSpec検証IPでは、トポロジ内のすべてのコンポーネントに対応した構成可能なバス機能モデル、プロトコルモニタ、アサーションライブラリを含んでいます。PureSpec-PCIe は、高品質、高性能、および検証生産性を向上できるように設計されています。また、サードパーティの検証プランニングツールにシームレスに統合可能です。

Evaluate PureSpec-PCIe icon

Key Features:
  • Complete protocol validation & planning solution
  • Most extensive coverage of the PCie specification
  • Built on PureSpec proven architecture
  • Data generation and compliance suite
  • Supports verification tools, languages, & methodologies

Coverage

Coverage of the PCI Express Specification (1.1, 2.0, 3.0)

PureSpec-PCI Express は PCIe 仕様において、最も広く使われている検証IPです。次の特長を含みます。

  • PCI Expressの全タイミング、バス機能モデル
  • I/O Virtualization (シングルおよびマルチルート) をサポート
  • PCI-SIG® のコンプライアンス・チェックリストに基づく制御可能なルール・チェック
  • PCI Express全レイヤ および 全デバイス・タイプをサポート
  • PCI Expressパワー管理をサポート
  • 構成レジスタに直接アクセス可能
  • 詳細にわたる累積的な機能カバレッジ
  • 完全なPCIeエニュメレーション
  • PIPE 1.0, 2.0

Fabric Topography

PureSpec-PCIe は、ルート・コンプレックス、スイッチ、エンドポイント、PCI ExpressとPCI間のブリッジなど、トポロジ内のすべてのPCI Expressデバイスをモデリングします。PCI Express仕様に適合する汎用デバイスもモデリングできます。ポート、機能、または仮想チャネル別の複合構成もサポートされています。一般的なPCI Express仕様デバイス構成ライブラリは、デナリからオンラインで入手できます。

Protocol LayerModel Highlights
Transaction Layer Completely models protocol, plus manages transaction requests and completions. Checks for all the packet rules. Supports message requests as well as multi-functions.
Link Layer Completely models protocol, plus manages data integrity (CRC), supports flow control initialization.
Physical Layer Completely models protocol, plus supports power-on-state machines and training sequence, and clock recovery. 8b/10b encoding and data scrambling are modeled.
Configuration Registers Maintains configuration info in a separate memory space. Supports register queries and updates through a testbench interface.

 

Architecture

PureSpec は、複雑なインターフェイス・プロトコルへのコンプライアンスと互換性を検証するための包括的な検証IPソリューションです。

  • 検証作業を軽減する構成可能なテストプラン
  • ビルトインされたカバレッジ および シーケンス・ライブラリ
  • サードパーティの検証プランニングツールにシームレスに統合可能
  • コンプライアンス・テスト・スイート
Additional features:
  • 数千のランタイム・チェックを行う完全なアサーションライブラリ
  • コンフィギュレーション可能なバス機能モデルとプロトコル・モニタ
  • 制約付きランダムトラフィック生成
  • 定義済みのシーケンス・ライブラリ
  • 検証カバレッジを向上させるビルトイン・ライブラリ
  • 相互運用性テストのモニタ
  • 強力なエラー挿入機能
  • 累積的な機能カバレッジ・レポート
PureSpec Diagram

Compliance Suite

Constrained Random Data Generation and Compliance Suite

PureSpec-PCIe には、定義済みの疑似ランダム・バス・トラフィックをすべてのレイヤで駆動するための高性能データ生成エンジンが用意されています。挿入されたエラーおよびエラー状態にはフラグが付けられ、PCIe 仕様に従って修復されます。高度に統合されたPureSpec-PCIe のモデル動作およびデータ生成エンジンでは、コンテキストに応じた高度なデータ生成手法がテスト・プランの実行に適用されます。これにより、テスト・プランの定義から実装への直接変換が可能になるため、検証タスクが大幅に高速化され、検証全体の生産性が向上します。累積的なカバレッジ・データベース機能では、テスト・プラン全体でのDUTの十分な実行が保証されます。PureSpec-PCIe は、ピン・レベルで対話できるだけでなく、メモリ・イメージの直接ロードおよび保存、メモリ・ワードのリード/ライト、トランザクション・レベルでのコールバックの始動を行う手続き型インタフェースも持っています。

Language/Methodologies/Tools

Languages:
  • Verilog
  • SystemVerilog
  • VHDL
  • Cc
  • C++
  • SystemC
  • 'e'
  • OpenVERA
Directly integrated into all advanced verification methodologies
  • OVM
  • VMM
  • eRM
Verification tool:
  • Verilog HDL - VCS, Incisive Enterprise Simulator, ModelSim
  • VHDL - ModelSim, Incisive Enterprise Simulator
  • Specman Elite
  • SystemC - OSCI, Incisive Enterprise Simulator
  • Synopsys® VERA
  • CoWare® N2C, ConvergenSC

Customers

"Denali's PureSpec verification IP is an integral component to meet PCIe Gen II specifications. Multi-core, multi-socket processor servers are unleashing computing power today that poses critical traffic needs which can be met by incorporating our latest 20Gb/s InfiniBand and 10Gb Ethernet products. Denali's world class high-quality IP solutions gave us the confidence that our devices will be PCIe Gen II compatible with best performance."
Noam Bloch
Sr. Director of Engineering
Mellanox

"Denali's PureSpec is the most trusted solution for verifying PCI Express designs. We have a veteran design team with extensive experience in the server market and they asked for Denali's PureSpec. In addition to its superior technology for exposing design issues, the widespread use of PureSpec gives us the added confidence in verifying interoperability with other PCI Express designs."
Chris Pettey
Chief Technology Officer
NextIO

"NetEffect was pleased with Denali's PureSpec PCIe VIP solutions for PCIe 1.1 and has expanded our relationship by embracing Denali's PCIe 2.0 design IP and verification IP solutions. Denali's PCIe core and PureSpec verification IP are integral enablers in meeting the PCIe Gen 2.0 specifications. Today's demanding data center networks address their increasing traffic needs by incorporating our latest accelerated 1Gb and 10Gb Ethernet products. Denali's reputation and track record speaks volumes for creating and delivering high-quality, complete IP solutions for the latest process technologies."
Terry Hulett
Vice President of Engineering
NetEffect

Partners

Paradigm Works is a global provider of electronic design technology, services, and training, through the use of its offerings in EDA Free Open Source Software (FOSS), design verification and layout consulting services, and methodology training, More information about the company, its products, and services can be found a www.paradigm-works.com.