Verification IP – PureSpec
Denali PureSpec™ は、複雑なバスインタフェースデザイン(PCI Express、USB、SATA、Ethernet など) を検証するための包括的な検証IPソリューションです。PureSpec 製品には、すべてのプロトコル・レイヤおよびデバイス・タイプのシミュレーション・モデルが含まれており、トラフィック生成や、適合性を検定する一連のテストが可能です。PureSpec検証IPでは、トポロジ内のすべてのコンポーネントに対応した構成可能なバス機能モデル、プロトコルモニタ、アサーションライブラリを含んでいます。PureSpec には、定義済みの制約付ランダム・シーケンス/シナリオ・バス・トラフィックをすべてのレイヤで駆動するための高度なデータ生成エンジンが用意されています。PureSpec は、すべてのSoCインタフェース標準をサポートし、高品質、高性能、およびシームレスなEDA統合を実現するように設計されています。
| Supported Protocols (click for more detail) | |
|---|---|
| AMBA (AXI, AHB, APB) | CE-ATA 2.0/3.0 |
| DFI | Ethernet 1M/10M/1G/10G/40G/100G |
| I2C | OCP |
| PCI Express 1.1/2.0/3.0/ + IOV | CoreConnect PLB 4/6 |
| SDIO (Host) | Serial ATA 2.0/3.0 |
| USB 2.0/OTG | USB 3.0 |
Key Features:
- Comprehensive coverage of the protocol specification
- Complete protocol validation and planning solution
- Configurable test plans reduce verification efforts
- Pre-built coverage and sequence libraries
- Integration with third-party verification planners
- Compliance suite
- Verification tool/language agnostic
