CE-ATAデザインのコンプライアンスと互換性を検証するための包括的な検証IPソリューションです。PureSpec検証IPでは、トポロジ内のすべてのコンポーネントに対応した構成可能なバス機能モデル、プロトコルモニタ、アサーションライブラリを含んでいます。検証生産性を向上できるように設計されています。CE-ATA仕様において、最も広く使われている検証IPです。CE-ATAでは、トポロジ内のCE-ATAホストやデバイスコンポーネントを完全にモデリングできます。仕様に準拠した一般的なモデルもエミュレートできます。共通のCE-ATAコンポーネント・コンフィギュレーションのライブラリは、デナリからオンラインで入手できます。複雑なインターフェイス・プロトコルへのコンプライアンスと互換性を検証するための包括的な検証IPソリューションです。CE-ATAには、定義済みの疑似ランダム・バス・トラフィックをすべてのレイヤで駆動するための高性能データ生成エンジンが用意されています。挿入されたエラーおよびエラー状態にはフラグが付けられ、CE-ATA仕様に従って修復されます。CE-ATAのモデル動作およびデータ生成エンジンでは、コンテキストに応じた高度なデータ生成手法がテスト・プランの実行に適用されます。これにより、テスト・プランの定義から実装への直接変換が可能になるため、検証タスクが大幅に高速化され、検証全体の生産性が向上します。累積的なカバレッジ・データベース機能では、テスト・プラン全体でのDUTの十分な実行が保証されます。