Questa Clock Domain Crossing（CDC）検証

業界で最も包括的で使いやすいClock-Domain Crossing（CDC）検証ソリューション

最近のチップ設計では、高性能と低消費電力の要件を満たすために、高度なマルチクロック・アーキテクチャがますます採用されるようになってきました。Questa Clock Domain Crossing（CDC）検証ソリューションでは、異なるクロック・ドメイン間の相互の影響に重点が置かれています。Questa CDCは、シミュレーションベースの検証技術では対処できない、多数の重要な検証問題を解決します。

マルチ・クロック・ドメイン設計の場合、RTLやゲートレベルのシミュレーションでは、異なるクロック・ドメイン間のデータ転送のタイミングを正確にとらえることができません。したがって、シミュレーションを実行してもシリコンの動作を正確に予測できず、検証プロセスにおいて重大なバグを見逃してしまう可能性があります。Questa CDC検証ソリューションは、このような問題を解決します。

概要

Questa CDC検証の動作方法

Questa CDCでは、非同期転送（Clock-Domain-Crossing）の検証を簡単に実行できます。CDCコンパイラがRTLコードを解析し、すべてのクロックおよびクロック・ドメイン間の非同期転送を特定します。次に、直観的で充実したデバッグ環境を利用して、あらゆる種類のCDC問題を解決できます。問題を解決したら、RTLコードのシミュレーションにリンクしたプロトコル・アサーションとメタスタビリティ・モデルが自動的に生成されます。

CDC検証の3つの基本的要素

Questa CDCは、非同期転送（CDC）検証ソリューションに求められる3つの基本的な要素、つまり、構造的または静的CDC解析、CDCプロトコル検証、CDCリコンバージェンス検証のすべてをサポートしています。Questa CDC検証は、シリコンの動作を正確に予測できる唯一のソリューションとして、業界をリードしています。これにより、テープアウト前に、CDCのバグをすべて確実に検出し、リスピン・コストの発生を防ぐことができます。

利点

    • 生産性を即座に向上: Questa CDCがクロックおよびクロック分配ストラテジを自動的に特定し、セットアップ時間を最短化
    • テストベンチ不要: Questa CDCがRTL設計を読み込むだけで、すべての潜在するCDC問題を正確に検出
    • 極めて正確なレポート: 業界のソリューションの中で誤検出率が最も低く、デバッグにかかる時間を最短化
    • わかりやすいビジュアル表示: CDC中心の解析／デバッグGUIでは、適所で見慣れた回路図や波形を使用
    • 柔軟性: 既存の検証インフラストラクチャとテストベンチをフルに利用することで、最大限の生産性を実現
    • 極めて包括的なデバッグ: 特許技術に基づいた自動メタスタビリティ・インジェクションにより、他の方法では検出できない複雑なCDCリコンバージェンスのバグを検出
    • 検証の管理: CDCプロトコルおよびリコンバージェンス検証のカバレッジ・レポートを自動生成し、検証プロセス全体を効果的に管理可能

データシート

ツールボックス