LPローパワー・サインオフとスタティック検証モバイル機器からサーバー、ネットワーク機器まで、現在の電子機器製品はほとんどが高度なパワー・マネジメントへの対応を求められており、多くのSoCデザインがローパワー設計手法を採用するようになっています。Scaling)など、電圧制御によってきめ細やかなパワー・マネジメントを実現する高度なローパワー手法の採用が拡大しています。ローパワー・デザインは通常の常時オンのデザインとはアーキテクチャや動作が異なるため、ローパワーの検証とサインオフは指数関数的に複雑になります。LPは、400を超えるチェック機能とローパワー・スタティック・サインオフ達成に必要なフルチップの検証容量と性能を備えています。LPはRTLはもちろん、合成後ならびに配置・配線後にも実行でき、ローパワー設計のバグを従来の手法より早期かつ迅速に特定できます。ローパワー設計手法では、設計フローのさまざまな工程で新しいデザイン要素が追加されます。ローパワー設計の原則に違反したアーキテクチャ設計上のバグは、RTLでも存在することがあります。通常、アイソレーション・セルは自動的に合成されます。合成完了後にリテンション・レジスタ接続を検証した後、配置配線後にも再度検証する必要があります。マルチVDDデザインでは、電源ピンとグランド・ピンを所定の電源レールに適切に接続する必要があります。そのためこれらすべてのケースでインプリメンテーションとビヘイビアの正しさを正確に検証するには、ローパワー・スタティック・チェックは設計フローのあらゆる工程を網羅して動作する必要があります。LPはこれを実現するために包括的なチェック機能を提供します。Format)に対してシンタックスとセマンティクスのチェックを実行し、インプリメンテーション前にUPFの整合性を確認します。間違ったローパワー設計意図は、結果として間違ったローパワー設計のインプリメンテーションに繋がります。パワー・アーキテクチャのルールに違反している信号をRTLでグローバルにチェックします。LPはデザイン全体を検証し、各種電力モードにおけるデザイン内の重要な信号ネットワークをチェックします。これらのチェックにより、機能上の不具合の原因となるコネクティビティ関連のバグを設計サイクルの早期段階で見つけることができます。アイソレーション・セル、パワー・スイッチ、レベル・シフタ、リテンション・レジスタ、常時オン・セルの挿入と接続を、合成から配置配線までインプリメンテーション・フロー全体にわたってチェックします。アイソレーション・セルとパワー・スイッチの機能的な正しさをチェックします。UPFで記述したローパワー設計意図をきわめて正確にサポートしており、量産実績も豊富です。違反の分析/デバッグ/修正は、設計者がローパワー設計のバグを早期かつ効果的に排除できるよう、簡単かつ効率的に実行できなければなりません。多数のパワー・ドメインを含むデザインでは、階層型パワー・ステート・テーブルの自動導出機能が役立ちます。LPはローパワー設計意図を理解し、多数のパワー・ステートを種類別に分類してごくわずかなパワー・ステートに落とし込みます。このため、すべてのパワー・ステート、遷移、シーケンスを指定して検証する手間が省けます。