|
SpyGlass®-CDCは、チップ検証の最先端ソリューションで、論理設計者に初のアサーション・ベースの検証（ABV）をご提供します。SpyGlass®-CDCにより、設計者は迅速かつ簡単に重要なバグを削減し、後工程の検証、再設計作業を数週間から数ヶ月削減することができます。
業界で最も包括的、実際的かつ強力なCDCソリューション
SpyGlass®-CDCは、業界で最も包括的、実際的かつ強力なCDCソリューションです。Spyglass®-CDCはあらゆる同期方式を自動的に特定し、形式検証を行います。
検証格差を縮小
近年システム・オン・チップ（SoC）設計者が直面している多くの検証課題の中で、クロック・ドメイン・クロッシング（CDC）は難しさという観点から、ほぼトップに位置づけられます。最新のSOCには、数ダースないし数千ものクロック・ドメインがありますが、その多くはシミュレーションのような従来のツールを利用して検証することが難しくなっています。シミュレーションでこれらのバグを検出するには、長時間にわたってシミュレーションを実行し、偶然の結果を期待するほかありません。その結果、CDCは設計エラーの主要原因となっています。このようなエラーは、設計やデバッグに膨大な時間とコストをもたらし、シリコンまでの段階でコストのかかる再設計の必要性がでてくる危険性があります。
業界で最も包括的、実践的かつ強力なCDCソリューション
CDC関連問題の典型的な例を2つあげると、FIFOベースの同期メカニズムとハンドシェーク・ベースの同期メカニズムがあります。どちらもシミュレーションを利用して検証するのは困難、あるいは不可能です。また、従来のスタティックCDC解析ツールは対応規模が不十分であるとともに、実際の設計エラーを見落としたり、膨大な違反箇所を過剰にレポートしてしまいます。その結果、ユーザはエンドレスにバグの検出作業を行わなければならず、設計者のやる気をそぎ、実際のバグを特定できずに終わってしまう危険性があります。
メソドロジ
AtrentaのSpyGlass®-CDC手法は、RTLでCDC問題を解決する使いやすく包括的な手法を提供し、コストのかかるシリコンの再設計を回避します。
-
ソフトウェア導入の一貫として、メソドロジ・ドキュメントとルール・セットをご提供します。
-
ユーザをガイドするCDCサブメソドロジを使用することで、重要な違反を減少させ、RTL設計者の時間を節約します。
-
推奨ステップ・バイ・ステップアプローチにより、チップレベルと同様、ブロックレベルでもCDC問題を解析することができます。このステップには、設計設定、設定確認、設計各部の統合、チップレベルCDC検証があり、レビューやCDC検証サインオフをレポートします。
機能と特徴
-
複雑なハンドシェーク、FIFO同期メカニズムを自動的に認識します。
-
ハンドシェーク、FIFOを含む同期メカニズムの機能を自動的に形式検証します。
-
データの安定性を形式検証します。
-
リ・コンバージェンス信号に対しグレイコード・ロジックを自動的に認識、形式検証します。
-
様々なシンクロナイザ（2段FF、Common-Mux、Mux-Lock、ユーザ定義のシンクロナイザ）をサポートしています。
-
ノイズ（擬似エラー）を自動的に削減します。
-
ノイズデバッグ時間を削減します。
-
シミュレーションによる補足的なCDCテストが不要です。
-
CDC信号を検証するためのアサーション記述が不要です。
-
検証のための最適な同期メカニズムを自由に選択可能です。
-
ツールの操作が容易で簡単に導入可能です。
-
既存のSpyglass構造を利用し、確実に生産性を最大限に向上することが可能です。
|
