Libertyファイル検証

Liberty Analyzer™は、Liberty™ファイルのタイミング、パワー、ノイズ、面積の表示、解析、比較、検証を行います。Liberty Analyzerは、複数のNLDM、NLPM、CCS、ECSM、LVFモデルをライブラリ、セル、ピン、個別アークのレベルで処理し、統計的なデータを提供します。相対的な差と絶対的な差を設定可能なしきい値で表示、プロットし、トレンドや異常値を簡単に見つけることができます。検証ルーチンには、あらゆる設計フローで使用できるライブラリを検証するサニティ・チェックが含まれています。

シルバコのLiberty Analyzerは、あらゆるツールやキャラクタライズ・フローで作成されたLibertyファイル(.lib)を読み込み、さまざまなライブラリのパフォーマンスを評価します。

特長と利点

• 複数のライブラリから機能、タイミング、消費電力、ノイズ、面積などのデータを抽出し、各ライブラリの弱点を特定することが可能
• 1つのライブラリを使用して、またはリファレンス・ライブラリと直接比較して、キャラクタライズの結果を詳細に分析し、速度が遅すぎるセルや消費電力が大きすぎるセルを特定
  解析により、アーク、ピン、トランジション/ロードのペアのベスト/ワーストを容易に表示
• 異なるキャラクタライズ・ツールまたは異なるSPICEエンジンで処理されたライブラリの比較を容易にし、キャラクタライズ・データをまとめてキャラクタライズの結果を迅速に分析可能
• サードパーティの設計フローで使用するためのLibertyファイルの検証、または合成ツールや(S)STAツールの入力としての検証
• 論理的に同種なセルや多種にわたるドライブ能力などの任意のセル・グループにおいて、直線性と完全性を検証
• キャラクタライズの結果に基づいて、エレクトロマイグレーションや最大キャパシタンス/トランジション違反を検出
• CCSやECSMのライブラリをNLDM形式に変換し、比較・解析が容易にすることが可能
• LVFモーメントのサポートを含む、シグマ・ターゲットを設定可能なバリエーション対応LVFライブラリのタイミング分布の比較

判定

• ライブラリ間、セル間、ピン間、アーク間のタイミングとパワーの比較
• 異なるモデリング・フォーマットでエンコードされた複数のライブラリ間の面積、タイミング、電力、ノイズの絶対的、相対的な差異を正確に表示
• 論理ファミリ内のセルを自動的に比較し、ライブラリが制約を尊守していることを確認可能
• 実験的な値、セルの縮小セット、異なるキャラクタライズモデルを含むLibertyファイルに対し、マージやエクスポートが可能
• 測定タイプ、テーブルサイズ、インデックス範囲、入力トランジション、波形入力、状態依存の測定値とワーストケース測定値の比較をするための選択、照合、補間、正規化を実行
• データから出力までの遅延、フルサイクル電力、タイミング変動分布、メタステーブルウィンドウ、結果の品質など、有用なメトリクスを導き出します
• 比較にはプロファイリンググラフと統計を含む
• 元データへのトレーサビリティにより、Libertyファイル内の外れ値を特定可能

ライブラリの差異をハイライト

• すべてのアークにおけるポイント間の偏差を示すトレンド・プロットを含むスプレッドシートを出力
• 元データへのトレーサビリティを確保した偏差レポートの作成
• NLDM、NLPM、CCS、ECSM、LVFデータ（モーメントを含む）を、ライブラリ間の性能や相関に着目して比較可能
• 設定可能なしきい値を用いて差異をハイライトし、一致するセル、完全性、パフォーマンスの異常値を絶対的または相対的に容易に識別可能

階層型データブック

• 階層構造のHTMLデータブックは、どのHTMLブラウザでも表示でき、簡単に理解できるようにLibertyデータを明確に表示します。
• クリックをするだけのユーザ・フレンドリなメイン・ページから、セル、サマリ、グループの各ページ、プロファイリング・プロットへと階層が降りていき、すべてオリジナル・データへのトレーサビリティが確保されています。

2次元および3次元プロットおよびグラフ

• タイミングとパワーに関するルック・アップ・テーブル(LUT)データを選択し、ライブラリの性能基準を2Dおよび3Dでプロット(CCSおよびECSMの波形プロットを含む)
• 絶対的および相対的な偏差値をプロットし、これらの値に関する統計情報を提供
• CCS電流波形とその結果としての電圧波形のグラフ化

入力

• NLDM、NLPM、CCS、ECSM、LVF、LVFモーメント拡張を含むLibertyライブラリ・モデル・ファイル
• 特定のセル、測定値、統計、プロット、偏差のしきい値、フォーマットなどのカスタム分析を行うためのオプションの設定ファイル

出力

• セル、ピン、アーク、レポート、統計データへのハイパーリンクによる階層的なナビゲーションを備えたHTMLデータブック
• すべてのアークの相関データとプロットを含むMS Excelシート
• 容易に確認可能なPDF形式とCSV/TSV形式の生データのエクスポート
• 2Dおよび3Dカラープロット用のPNGプロットデータ
• プルーニング、結合されたLibertyファイル