PowerPro Automatic Power Optimization

PowerProのシーケンシャル最適化は、Siemens EDAの特許取得済みのディープシーケンシャル解析エンジンに基づいており、レジスタとメモリのマルチサイクル分析を実行して、クロックゲーティングとメモリゲーティングの最適なイネーブル条件を見つけます。ディープシーケンシャル分析は、オブザーバビリティ分析エンジンと安定性分析エンジンを組み合わせたものです。オブザーバビリティ分析エンジンは、出力が観察できないロジックについて詳細な逐次分析を行います。ただし、安定性ベースの分析では、出力が安定しているロジックについて詳細な逐次分析を行います。ディープシーケンシャル分析では、複数のサイクルを横断して、複数のレジスタをゲートし、それらのレジスタによって駆動されるデータパスロジックを遮断するために適用できるイネーブル条件を見つけ、大きな利益をもたらします。

PowerProの最先端で生産実績のあるRTL書き込みエンジンは、そのシーケンシャル最適化技法、クロックゲーティング、メモリゲーティングに合わせて電力最適化RTLを自動的に書き出します。PowerProが挿入したイネーブルを簡単に識別できるように、always ブロックの「if」ブランチにイネーブル条件を挿入し、ユーザーのRTLにコメントを追加します。また、コードのインデントと手つかずの元のRTLを「そのまま」維持することで、RTLを完全に読みやすくします。自動的に実装されたイネーブルロジックは別のモジュールに保存され、自動生成されたRTLを含む新しいファイルリストは作業ディレクトリにあります。Write RTLエンジンは、オプションを設定することで、さまざまな方法で電力最適化RTLを書き込むように設定できます。ユーザーは、ツールに自動的に実装させたい機会を選択することもできます。

SLEC-Proは、PowerProの自動最適化ソリューションに付属しているシーケンシャル・ロジックの等価性チェックツールです。SLEC-Proは、ユーザーのオリジナルRTLとPowerProの自動生成された低電力RTLとの間の論理的等価性を検証することができます。PowerProは、本質的にマルチサイクルによる最適化の機会を見つけるので、その検証にはシーケンシャルLECツールが必要です。ユーザーはSLEC-Proをセットアップする必要はありません。PowerProは、必要なすべての設定を含むスクリプトを自動的に生成します。このスクリプトを実行するだけでSLEC-PROを実行し、正式な検証を行うことができます。RTL設計者は、自動的に最適化された低電力RTLの正式な検証に投資する必要はありません。