DSO.ai
もっと詳しく知る →
VC LP
ローパワー?サインオフとスタティック検証
モバイル機器からサーバー、ネットワーク機器まで、現在の電子機器製品はほとんどが高度なパワー?マネジメントへの対応を求められており、多くのSoCデザインがローパワー设计手法を採用するようになっています。パワー?ゲーティング、リテンション、低VDDスタンバイ、DVS（Dynamic Voltage Scaling）など、電圧制御によってきめ細やかなパワー?マネジメントを実現する高度なローパワー手法の採用が拡大しています。しかしローパワー?デザインは通常の常時オンのデザインとはアーキテクチャや動作が異なるため、ローパワーの検証とサインオフは指数関数的に複雑になります。シノプシスのスタティック?ローパワー検証ソリューション VC LPは、400を超えるチェック機能とローパワー?スタティック?サインオフ達成に必要なフルチップの検証容量と性能を備えています。
机能と利点
VC LPはRTLはもちろん、合成後ならびに配置?配線後にも実行でき、ローパワー设计のバグを従来の手法より早期かつ迅速に特定できます。ローパワー设计手法では、设计フローのさまざまな工程で新しいデザイン要素が追加されます。ローパワー设计の原則に違反したアーキテクチャ设计上のバグは、RTLでも存在することがあります。通常、アイソレーション?セルは自動的に合成されます。合成完了後にリテンション?レジスタ接続を検証した後、配置配線後にも再度検証する必要があります。マルチVDDデザインでは、電源ピンとグランド?ピンを所定の電源レールに適切に接続する必要があります。そのためこれらすべてのケースでインプリメンテーションとビヘイビアの正しさを正確に検証するには、ローパワー?スタティック?チェックは设计フローのあらゆる工程を網羅して動作する必要があります。VC LPはこれを実現するために包括的なチェック機能を提供します。
- ローパワー设计意図の整合性チェック: UPF（Unified Power Format）に対してシンタックスとセマンティクスのチェックを実行し、インプリメンテーション前にUPFの整合性を確認します。間違ったローパワー设计意図は、結果として間違ったローパワー设计のインプリメンテーションに繋がります。
- アーキテクチャ?チェック:&苍产蝉辫;パワー?アーキテクチャのルールに違反している信号をRTLでグローバルにチェックします。VC LPはデザイン全体を検証し、各種電力モードにおけるデザイン内の重要な信号ネットワークをチェックします。これらのチェックにより、機能上の不具合の原因となるコネクティビティ関連のバグを设计サイクルの早期段階で見つけることができます。
- 构造チェックとパワー/グランド（笔骋）チェック:&苍产蝉辫;アイソレーション?セル、パワー?スイッチ、レベル?シフタ、リテンション?レジスタ、常时オン?セルの挿入と接続を、合成から配置配线までインプリメンテーション?フロー全体にわたってチェックします。
- 机能チェック:&苍产蝉辫;アイソレーション?セルとパワー?スイッチの機能的な正しさをチェックします。VC LPは、业界標準のIEEE 1801 UPFで記述したローパワー设计意図をきわめて正確にサポートしており、量産実績も豊富です。
さらに、違反の分析/デバッグ/修正は、设计者がローパワー设计のバグを早期かつ効果的に排除できるよう、簡単かつ効率的に実行できなければなりません。
- 阶层型のパワー?ステート解析:&苍产蝉辫;多数のパワー?ドメインを含むデザインでは、階層型パワー?ステート?テーブルの自動導出機能が役立ちます。VC LPはローパワー设计意図を理解し、多数のパワー?ステートを種類別に分類してごくわずかなパワー?ステートに落とし込みます。このため、すべてのパワー?ステート、遷移、シーケンスを指定して検証する手間が省けます。
- 复雑なパワー?ステート?テーブルのデバッグ:&苍产蝉辫;階層型パワー?ステート解析と関連して、VC LPには生成された複雑なパワー?ステート?テーブルをユーザーが理解し、必要に応じてデバッグもできる機能があります
- 痴别谤诲颈をベースにした强力なデバッグ:&苍产蝉辫;VC LPでは、使い易く直感的なVerdiパワー?アウェア?デバッグ環境を用いてローパワー違反を可視化/解析/デバッグすることが可能です