(57)【要約】【課題】消費電力に対する影響が大きいグリッチ発生源を特定する。【解決手段】一実施形態の回路設計支援方法は、回路に対するサイクルベース論理シミュレーションの実行により得られた第１動作情報を上記回路内で確率伝搬し、第１確定動作情報を生成することと、上記回路から複数のグリッチ発生源を抽出することと、上記第１動作情報に基づき、上記複数のグリッチ発生源のうちの１つについてグリッチを考慮した第２動作情報を上記回路内で確率伝搬し、第２確定動作情報を生成することと、上記第１確定動作情報及び上記第２確定動作情報を比較し、その比較結果が条件を満たすか否かを判定することと、上記第２確定動作情報を生成すること及び上記判定することを上記複数のグリッチ発生源の各々について実行し、上記条件を満たすと判定された１又は複数のグリッチ発生源をユーザに提示することと、を備える。【選択図】図５
2020149312.tif 000002
【特許請求の範囲】
【請求項１】
回路に対するサイクルベース論理シミュレーションの実行により得られた第１動作情報を前記回路内で確率伝搬し、第１確定動作情報を生成することと、
前記回路から複数のグリッチ発生源を抽出することと、
前記第１動作情報に基づき、前記複数のグリッチ発生源のうちの１つについてグリッチを考慮した第２動作情報を前記回路内で確率伝搬し、第２確定動作情報を生成することと、
前記第１確定動作情報及び前記第２確定動作情報を比較し、その比較結果が条件を満たすか否かを判定することと、
前記第２確定動作情報を生成すること及び前記判定することを前記複数のグリッチ発生源の各々について実行し、前記条件を満たすと判定された１又は複数のグリッチ発生源をユーザに提示することと、
を備えた、回路設計支援方法。
【請求項２】
前記判定することは、
前記第１確定動作情報に基づいて前記回路の第１消費電力を算出することと、
前記第２確定動作情報に基づいて前記回路の第２消費電力を算出することと、
前記第１消費電力に対する前記第２消費電力の差が前記条件を満たすか否かを判定することと、
を含む、
請求項１記載の回路設計支援方法。
【請求項３】
前記条件は、前記差が閾値を超えるか否かを含む、
請求項２記載の回路設計支援方法。
【請求項４】
前記複数のグリッチ発生源は、第１ノード、第２ノード、及び第３ノードを含み、
前記第１ノードは、前記回路の外部からの入力が供給され、
前記第２ノードは、少なくとも２つの入力に基づいて動作するように構成されたセルの出力が供給され、
前記第３ノードは、ブラックボックスセルの出力が供給される、
請求項１記載の回路設計支援方法。
【請求項５】
前記第２動作情報は、前記複数のグリッチ発生源のうちの１つを除く他のグリッチ発生源についてグリッチを考慮しない、
請求項１記載の回路設計支援方法。
【請求項６】
前記第１確定動作情報、及び前記第２確定動作情報は、前記回路内の複数のノードにおけるトグル率及びデューティを含む、
請求項１記載の回路設計支援方法。
【請求項７】
前記複数のグリッチ発生源のうちの１つについてグリッチを考慮することは、前記複数のグリッチ発生源のうちの１つにおける前記トグル率を補正することを含む、
請求項６記載の回路設計支援方法。
【請求項８】
プロセッサに、
回路に対するサイクルベース論理シミュレーションの実行により得られた第１動作情報を前記回路内で確率伝搬し、第１確定動作情報を生成することと、
前記回路から複数のグリッチ発生源を抽出することと、
前記第１動作情報に基づき、前記複数のグリッチ発生源のうちの１つについてグリッチを考慮した第２動作情報を前記回路内で確率伝搬し、第２確定動作情報を生成することと、
前記第１確定動作情報及び前記第２確定動作情報を比較し、その比較結果が条件を満たすか否かを判定することと、
前記第２確定動作情報を生成すること及び前記判定することを前記複数のグリッチ発生源の各々について実行し、前記条件を満たすと判定された１又は複数のグリッチ発生源をユーザに提示することと、
を実行させるための回路設計支援プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
実施形態は、回路設計支援方法、及び回路設計支援プログラムに関する。
【背景技術】
【０００２】
設計段階において回路の消費電力を推定する手段としてサイクルベース論理シミュレーションが知られている。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２０１３−６１８８１号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
消費電力に対する影響が大きいグリッチ発生源を特定する。
【課題を解決するための手段】
【０００５】
実施形態の回路設計支援方法は、回路に対するサイクルベース論理シミュレーションの実行により得られた第１動作情報を上記回路内で確率伝搬し、第１確定動作情報を生成することと、上記回路から複数のグリッチ発生源を抽出することと、上記第１動作情報に基づき、上記複数のグリッチ発生源のうちの１つについてグリッチを考慮した第２動作情報を上記回路内で確率伝搬し、第２確定動作情報を生成することと、上記第１確定動作情報及び上記第２確定動作情報を比較し、その比較結果が条件を満たすか否かを判定することと、上記第２確定動作情報を生成すること及び上記判定することを上記複数のグリッチ発生源の各々について実行し、上記条件を満たすと判定された１又は複数のグリッチ発生源をユーザに提示することと、を備える。
【図面の簡単な説明】
【０００６】
【図１】第１実施形態に係る回路設計支援装置のハードウェア構成を説明するためのブロック図。
【図２】第１実施形態に係るネットリストを模式的に説明するための回路図。
【図３】第１実施形態に係るグリッチ未考慮サイクルベース動作情報を説明するための概念図。
【図４】第１実施形態に係る回路設計支援装置の機能構成を説明するためのブロック図。
【図５】第１実施形態に係る回路設計支援装置における回路設計支援処理を説明するためのフローチャート。
【図６】第１実施形態に係る回路設計支援装置における回路設計支援処理のうちのグリッチ発生源抽出処理を説明するためのフローチャート。
【図７】第１実施形態に係るグリッチ発生源リストを説明するための概念図。
【図８】第１実施形態に係る回路設計支援装置における回路設計支援処理のうちの消費電力算出処理を説明するためのフローチャート。
【図９】第１実施形態に係るグリッチ未考慮確定動作情報を説明するための模式図。
【図１０】第１実施形態に係るグリッチ考慮サイクルベース動作情報を説明するための概念図。
【図１１】第１実施形態に係るグリッチ考慮確定動作情報を説明するための模式図。
【図１２】第１実施形態に係るグリッチ考慮確定動作情報を説明するための模式図。
【図１３】第１実施形態に係る回路設計支援装置における回路設計支援処理のうちの有意グリッチ発生源抽出処理を説明するためのフローチャート。
【図１４】第１実施形態に係る有意グリッチ発生源リストを説明するための概念図。
【発明を実施するための形態】
【０００７】
以下、図面を参照して実施形態について説明する。なお、以下の説明において、同一の機能及び構成を有する構成要素については、共通する参照符号を付す。
【０００８】
１．  第１実施形態
第１実施形態に係る回路設計支援方法について説明する。第１実施形態に係る回路設計支援方法は、例えば、設計されたＬＳＩ（Large-Scale Integrated circuit）等の半導体チップの消費電力をソフトウェア上で解析する技術に適用される。第１実施形態に係る回路設計支援方法を用いることによって、例えば、半導体チップの消費電力の有意な誤差要因となり得るグリッチの発生箇所が特定される。
【０００９】
１．１  構成
まず、第１実施形態に係る回路設計支援方法を実行する回路設計支援装置の構成について説明する。
【００１０】
１．１．１  ハードウェア構成
第１実施形態に係る回路設計支援装置のハードウェア構成について、図１を用いて説明する。
【００１１】
図１に示すように、回路設計支援装置１は、ＣＰＵ（Central Processing Unit）１１、ＲＯＭ（Read Only Memory）１２、ＲＡＭ（Random Access Memory）１３、ストレージ１４、ドライブ１５、及びインタフェース１６を備える。回路設計支援装置１は、ＬＳＩ等の半導体チップ内の回路の設計段階において消費電力を算出することにより、当該消費電力に有意な影響を与え得るグリッチの発生源を有意グリッチ発生源として抽出すると共にユーザに提示する機能を有する。
【００１２】
ＣＰＵ１１は、ＲＯＭ１２に記憶された各種処理プログラムを実行し、ＲＡＭ１３を作業領域として用いることにより、回路設計支援装置１全体の動作を制御する。
【００１３】
ストレージ１４は、例えば、ＨＤＤ（Hard Disk Drive）、ＳＳＤ（Solid State Drive）等の補助記憶装置である。ストレージ１４には、回路設計支援装置１で実行される回路設計支援プログラム１４４が記憶される。また、ストレージ１４には、回路設計支援プログラム１４４が実行される際に必要な入力情報として、例えば、ネットリスト１４１、グリッチ未考慮サイクルベース動作情報１４２、及び消費電力算出用データ１４３が記憶される。
【００１４】
ネットリスト１４１は、論理積回路や、排他的論理和回路等の論理ゲートで構成された半導体チップ等の回路の設計情報であり、回路設計支援装置１が有意グリッチ発生源を抽出する解析対象回路である。
【００１５】
グリッチ未考慮サイクルベース動作情報１４２は、ネットリスト１４１に対してサイクルベース論理シミュレーションによって得られた動作情報を含む。サイクルベース論理シミュレーションは、例えば、各種素子の遅延時間を無視しつつ静的に演算順序を決定しておき、クロックサイクル毎に演算することによって解析対象回路の動作情報を生成する手法である。一方、サイクルベース論理シミュレーションは、各種素子の遅延時間を考慮した論理シミュレーションに対して、解析対象回路の動的な挙動を省略することにより、短ＴＡＴ（Turn Around Time）かつ小出力サイズであるという特徴を有する。このため、グリッチ未考慮サイクルベース動作情報１４２は、容易に生成可能であるが、クロックサイクル内で意図しない信号変化を発生させるグリッチが考慮されない。
【００１６】
消費電力算出用データ１４３は、解析対象回路の消費電力を算出するために必要な各種情報を含み、例えば、配線容量及び回路毎の詳細な消費電力情報等を含む。
【００１７】
回路設計支援プログラム１４４は、回路設計支援処理を回路設計支援装置１に実行させるためのプログラムである。回路設計支援処理は、グリッチの影響を考慮した消費電力を算出する処理をグリッチ発生源毎に実行することによって有意グリッチ発生源を抽出し、抽出結果である有意グリッチ発生源リスト２６１をユーザに提示する処理を含む。回路設計支援プログラム１４４は、ＲＯＭ１２に記憶されていてもよい。なお、回路設計支援プログラム１４４の詳細については、後述する。
【００１８】
ドライブ１５は、例えば、ＣＤ（Compact Disk）ドライブ、ＤＶＤ（Digital Versatile Disk）ドライブ等であり、記憶媒体１５１に記憶されたプログラムを読み込むための装置である。ドライブ１５の種類は、記憶媒体１５１の種類に応じて適宜選択されてよい。上記ネットリスト１４１、グリッチ未考慮サイクルベース動作情報１４２、消費電力算出用データ１４３、及び回路設計支援プログラム１４４は、この記憶媒体１５１に記憶されていてもよい。
【００１９】
記憶媒体１５１は、コンピュータその他装置、機械等が記録されたプログラム等の情報を読取り可能なように、当該プログラム等の情報を、電気的、磁気的、光学的、機械的又は化学的作用によって蓄積する媒体である。
【００２０】
インタフェース１６は、回路設計支援装置１とその外部との間の情報の授受を司るインタフェースである。インタフェース１６は、例えば、有線又は無線による任意の通信方式を適用した通信インタフェース、プリンタ、及び表示画面（例えば、ＬＣＤ（Liquid Crystal Display）又はＥＬ（Electroluminescence）ディスプレイ、ブラウン管等）を介したＧＵＩ（Graphical User Interface）等の任意のインタフェースを含む。インタフェース１６は、回路設計支援装置１内で生成された有意グリッチ発生源リスト２６１をユーザに提示する機能を有する。
【００２１】
図２は、第１実施形態に係るネットリストの具体例を模式的に示す回路図である。
【００２２】
図２に示すように、ネットリスト１４１は、例えば、インスタンスＩＮＳＴ１及びＩＮＳＴ２、論理積回路ＡＮＤ、排他的論理和回路ＸＯＲ、並びにバッファ回路ＢＵＦ１及びＢＵＦ２を含む。
【００２３】
インスタンスＩＮＳＴ１は、第１プライマリ入力が供給されるノードＰ１に接続された入力端と、ノードＩＮＳＴ１＿１に接続された第１出力端と、ノードＩＮＳＴ１＿２に接続された第２出力端と、を含む。
【００２４】
バッファ回路ＢＵＦ１は、ノードＩＮＳＴ１＿１に接続された入力端と、第１出力信号を出力するノードＯＵＴ１に接続された出力端と、を含む。
【００２５】
バッファ回路ＢＵＦ２は、第２プライマリ入力が供給されるノードＰ２に接続された入力端と、論理積回路ＡＮＤの第１入力端に接続された出力端と、を含む。
【００２６】
論理積回路ＡＮＤは、ノードＰ１に接続された第１入力端と、上記第２入力端と、インスタンスＩＮＳＴ２の入力端に接続された出力端と、を含む。
【００２７】
インスタンスＩＮＳＴ２は、上記入力端と、排他的論理和回路ＸＯＲの第１入力端に接続された出力端と、を含む。
【００２８】
排他的論理和回路ＸＯＲは、上記第１入力端と、ノードＩＮＳＴ１＿２に接続された第２入力端と、第２出力信号を出力するノードＯＵＴ２に接続された出力端と、を含む。
【００２９】
図３は、第１実施形態に係るグリッチ未考慮サイクルベース動作情報の具体例を示す概念図である。図３は、図２に示したネットリスト１４１に対するサイクルベース論理シミュレーション結果に相当する。
【００３０】
図３に示すように、グリッチ未考慮サイクルベース動作情報１４２は、例えば、ネットリスト１４１内のノード（対象ノード）毎に、当該対象ノードの種別、当該対象ノードに供給される信号のトグル率Ｔ、及びデューティＤが関連づけられる。
【００３１】
種別は、例えば、対象ノードに出力端が接続された素子においてグリッチが発生し得るか否かの観点に基づいて、対象ノードを「プライマリ入力」、「２入力以上の組合せセル」、「ブラックボックスセル」、及び「非グリッチ発生源」のいずれかに分類する。種別「プライマリ入力」、「２入力以上の組合せセル」、及び「ブラックボックスセル」は、対象ノードに接続された直前の素子においてグリッチが発生し、対象ノードにグリッチの影響が重畳する可能性がある場合に対応する。種別「非グリッチ発生源」は、対象ノードに接続された直前の素子においてグリッチが発生する可能性が低い（又は可能性が無いと見なし得る）場合に対応する。
【００３２】
より具体的には、対象ノードにネットリスト１４１の外部からの信号が入力される場合、当該対象ノードは、種別「プライマリ入力」に分類される。ネットリスト１４１では、ノードＰ１及びＰ２が該当する。
【００３３】
対象ノードに出力端が接続された素子が２入力以上の組合せに基づいて出力を決定する論理回路である場合、当該対象ノードは、種別「２入力以上の組合せセル」に分類される。ネットリスト１４１では、論理積回路ＡＮＤ及び排他的論理和回路ＸＯＲの出力ノード（以後、それぞれノードＡＮＤ及びＸＯＲと呼ぶ）が該当する。
【００３４】
対象ノードに出力端が接続された素子の構成が具体的に定まっていない（ブラックボックスである）場合、当該対象ノードは、種別「ブラックボックスセル」に分類される。ネットリスト１４１では、ノードＩＮＳＴ１＿１及びＩＮＳＴ１＿２，並びにインスタンスＩＮＳＴ２の出力ノード（以後、ノードＩＮＳＴ２と呼ぶ）が該当する。
【００３５】
対象ノードが上記「プライマリ入力」、「２入力以上の組合せセル」、及び「ブラックボックスセル」のいずれにも該当しない場合、当該対象ノードは、種別「非グリッチ発生源」に分類される。ネットリスト１４１では、バッファ回路ＢＵＦ１及びＢＵＦ２の出力ノード（以後、それぞれノードＢＵＦ１及びＢＵＦ２と呼ぶ）が該当する。
【００３６】
トグル率Ｔ及びデューティＤは、回路設計支援処理において用いられる動作情報の具体例である。トグル率Ｔは、例えば、基準クロックの１サイクル内において信号が反転する回数の期待値を示す。デューティＤは、例えば、“Ｈ”レベル又は“Ｌ”レベルのいずれか一方の論理レベルをとる信号が、“Ｈ”レベルである期間の割合を示す。
【００３７】
図３の例では、対象ノードＰ１及びＰ２のトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３，０．５）及び（０．４，０．６）に設定される。
【００３８】
対象ノードＡＮＤ及びＸＯＲのトグル率Ｔ及びデューティＤはそれぞれ、（Ｔｉｎ１×Ｄｉｎ２＋Ｔｉｎ２×Ｄｉｎ１，Ｄｉｎ１×Ｄｉｎ２）及び（Ｔｉｎ１＋Ｔｉｎ２，Ｄｉｎ１（１−Ｄｉｎ２）＋（１−Ｄｉｎ１）Ｄｉｎ２）に設定される。なお、Ｔｉｎ１及びＤｉｎ１はそれぞれ、対象ノードに出力端が接続されるセルの第１入力端におけるトグル率Ｔ及びデューティＤを示し、Ｔｉｎ２及びＤｉｎ２はそれぞれ、対象ノードに出力端が接続される論理回路の第２入力端におけるトグル率Ｔ及びデューティＤを示す。
【００３９】
対象ノードＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２のトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（Ｔｉｎ×１．１，Ｄｉｎ）、（Ｔｉｎ×２，Ｄｉｎ）、及び（Ｔｉｎ×１．８，Ｄｉｎ）に設定される。なお、Ｔｉｎ及びＤｉｎはそれぞれ、対象ノードに出力端が接続されるセルの入力端におけるトグル率Ｔ及びデューティＤを示す。
【００４０】
対象ノードＢＵＦ１及びＢＵＦ２のトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（Ｔｉｎ，Ｄｉｎ）に設定される。
【００４１】
なお、図２及び図３で示したネットリスト１４１及びグリッチ未考慮サイクルベース動作情報１４２はあくまで一例であり、図２で示した回路構成、及び図３で示した各種回路構成の動作情報に限定するものではない。
【００４２】
１．１．２  機能構成
次に、第１実施形態に係る回路設計支援装置の機能構成について説明する。
【００４３】
回路設計支援装置１のＣＰＵ１１は、例えば、ストレージ１４に記憶された回路設計支援プログラム１４４をＲＡＭ１３に展開する。そして、ＣＰＵ１１は、ＲＡＭ１３に展開された回路設計支援プログラム１４４を解釈及び実行して、各構成要素を制御する。
【００４４】
図４は、第１実施形態に係る回路設計支援装置の機能構成を説明するためのブロック図である。
【００４５】
図４に示すように、回路設計支援装置１は、回路設計支援処理を実行する際、グリッチ発生源抽出部２１、グリッチ考慮部２２、動作情報確定部２３、消費電力算出部２４、消費電力比較部２５、及び有意グリッチ発生源抽出部２６を備えるコンピュータとして機能する。
【００４６】
グリッチ発生源抽出部２１は、ネットリスト１４１をストレージ１４から読み出し、ネットリスト１４１内の全てのノードを、グリッチ発生可能性がある対象ノードとして抽出する。グリッチ発生源抽出部２１は、抽出した全てのノードがリストアップされたグリッチ発生源リスト２１１を生成し、グリッチ考慮部２２に送出する。
【００４７】
グリッチ考慮部２２は、グリッチ未考慮サイクルベース動作情報１４２をストレージ１４から読み出し、グリッチ発生源リスト２１１内の全てのノードに対してグリッチの影響を考慮に入れた補正を行う。当該補正は、上述したような各種素子の遅延時間を考慮した論理シミュレーションに適用可能な補正ではなく、サイクルベース論理シミュレーションに適用可能な範囲での補正である。すなわち、グリッチ考慮部２２は、グリッチ未考慮サイクルベース動作情報１４２内のトグル率Ｔ及びデューティＤについて、所定の補正処理（例えば、所定の係数を乗じる又は所定の定数を足す等）を行うことにより、静的にグリッチの影響を考慮する。これにより、グリッチ考慮部２２は、グリッチ考慮サイクルベース動作情報２２１を生成し、動作情報確定部２３に送出する。
【００４８】
動作情報確定部２３は、グリッチ未考慮サイクルベース動作情報１４２を用いて、グリッチが発生しないと見なした各種素子の動作情報を後段の素子に対して確率伝搬させる。なお、動作情報確定部２３は、消費電力算出用データ１４３をストレージ１４から更に読み出し、確率伝搬に適用してもよい。これにより、動作情報確定部２３は、ネットリスト１４１内の各素子の出力ノードにおける信号の動作情報を確定させてグリッチ未考慮確定動作情報２３１を生成し、消費電力算出部２４に送出する。
【００４９】
また、動作情報確定部２３は、グリッチ考慮サイクルベース動作情報２２１を用いて、一部の素子についてグリッチが発生すると見なした動作情報を後段の素子に対して確率伝搬させる。これにより、動作情報確定部２３は、ネットリスト１４１内の各素子の出力ノードにおける信号の動作情報を確定させてグリッチ考慮確定動作情報２３２を生成し、消費電力算出部２４に送出する。なお、後述するように、グリッチ考慮確定動作情報２３２は、どの素子においてグリッチが発生すると見なすかに応じて、複数パターンが生成される。
【００５０】
消費電力算出部２４は、グリッチ未考慮確定動作情報２３１に基づき、グリッチの影響を考慮しない場合におけるネットリスト１４１の消費電力又は消費電力に対応する指標を算出し、当該算出結果を示す情報としてグリッチ未考慮消費電力情報２４１を生成する。また、消費電力算出部２４は、複数のグリッチ考慮確定動作情報２３２の各々に基づいてネットリスト１４１の消費電力を算出し、当該算出結果を示す情報としてグリッチ考慮消費電力情報２４２を生成する。消費電力算出部２４は、グリッチ未考慮消費電力情報２４１及び複数のグリッチ考慮消費電力情報２４２を、消費電力比較部２５に送出する。
【００５１】
消費電力比較部２５は、グリッチ未考慮消費電力情報２４１と、複数のグリッチ考慮消費電力情報２４２の各々とを比較して複数のパターン毎に消費電力比較結果２５１を生成し、有意グリッチ発生源抽出部２６に送出する。複数の消費電力比較結果２５１の各々は、例えば、２つの消費電力（すなわち、グリッチを考慮しない場合の消費電力、及び考慮した場合の消費電力）の差分に対応する情報を含む。
【００５２】
有意グリッチ発生源抽出部２６は、複数のパターン毎の消費電力比較結果２５１に基づき、消費電力が有意に増加したパターンにおいてグリッチが発生すると仮定したグリッチ発生源を、有意グリッチ発生源として抽出する。有意グリッチ発生源抽出部２６は、当該抽出した有意グリッチ発生源をリストアップした有意グリッチ発生源リスト２６１を生成し、ユーザに提示する。
【００５３】
回路設計支援装置１は、以上のような機能構成を実装することにより、回路設計支援処理を実行することができる。
【００５４】
１．２  動作
次に、第１実施形態に係る回路設計支援装置の動作について説明する。
【００５５】
１．２．１  回路設計支援処理の概要
まず、第１実施形態に係る回路設計支援装置における回路設計支援処理の概要について、図５に示すフローチャートを用いて説明する。
【００５６】
図５に示すように、ステップＳＴ１０において、回路設計支援装置１は、グリッチ発生源抽出処理を実行する。これにより、回路設計支援装置１は、ネットリスト１４１内から、グリッチが発生する可能性がある全てのノードをリストアップし、グリッチ発生源リスト２１１を生成する。
【００５７】
ステップＳＴ３０において、回路設計支援装置１は、グリッチ発生源毎のグリッチ影響確認処理を実行する。これにより、回路設計支援装置１は、グリッチ発生源においてグリッチが発生した場合の影響の大きさをグリッチ発生源毎に評価し、その評価結果として複数の消費電力比較結果２５１を生成する。
【００５８】
ステップＳＴ５０において、回路設計支援装置１は、有意グリッチ発生源抽出処理を実行する。これにより、回路設計支援装置１は、複数の消費電力比較結果２５１に基づき、グリッチ発生源のうち、消費電力に有意な影響を与え得るグリッチ発生源を有意グリッチ発生源としてリストアップし、有意グリッチ発生源リスト２６１を生成する。回路設計支援装置１は、有意グリッチ発生源リスト２６１をユーザに提示することにより、ネットリスト１４１内のグリッチ対策が必要な箇所を具体的に示すことができる。
【００５９】
以上で、回路設計支援処理が終了する。
【００６０】
１．２．２  回路設計支援処理の詳細
次に、第１実施形態に係る回路設計支援装置における回路設計支援処理の詳細について説明する。なお、以下に示す回路設計支援処理の詳細では、一例として、図２において説明したネットリスト１４１に対して、図３において説明したグリッチ未考慮サイクルベース動作情報１４２を適用する場合について説明する。
【００６１】
１．２．２．１  グリッチ発生源抽出処理
まず、第１実施形態に係る回路設計支援処理のうちのグリッチ発生源抽出処理について、図６に示すフローチャートを用いて説明する。図６におけるステップＳＴ１１〜ＳＴ１４は、図５において説明したステップＳＴ１０に対応する。ステップＳＴ１１〜ＳＴ１４において、回路設計支援装置１は、グリッチ発生源抽出部２１として機能する。
【００６２】
図６に示すように、ステップＳＴ１１において、グリッチ発生源抽出部２１は、ネットリスト１４１に示された回路情報から、ノードを１つ選択する。具体的には、図２の例では、グリッチ発生源抽出部２１は、ノードＰ１，Ｐ２，ＡＮＤ，ＸＯＲ（ＯＵＴ２），ＢＵＦ１（ＯＵＴ１），ＢＵＦ２，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２のうちから、任意のノードを１つ選択する。
【００６３】
ステップＳＴ１２において、グリッチ発生源抽出部２１は、ステップＳＴ１１において選択したノード（選択ノード）に接続された出力端を含む素子でグリッチが発生する可能性があるか否か（選択ノードでグリッチが発生する可能性があるか否か）を判定する。
【００６４】
具体的には、グリッチ発生源抽出部２１は、選択ノードの種別が「プライマリ入力」、「２入力以上の組合せセル」、又は「ブラックボックスセル」である場合、選択ノードでグリッチが発生する可能性があると判定し（ステップＳＴ１２；ｙｅｓ）、処理はステップＳＴ１３に進む。一方、グリッチ発生源抽出部２１は、選択ノードの種別が上記の３種類以外、すなわち「非グリッチ発生源」である場合、選択ノードでグリッチが発生する可能性がないと判定し（ステップＳＴ１２；ｎｏ）、処理はステップＳＴ１４に進む。
【００６５】
ステップＳＴ１３において、グリッチ発生源抽出部２１は、選択ノードをグリッチ発生源リスト２１１に追加する。
【００６６】
ステップＳＴ１４において、グリッチ発生源抽出部２１は、ネットリスト１４１内の全てのノードを選択したか否かを判定する。選択されていないノードが存在する場合（ステップＳＴ１４；ｎｏ）、処理はステップＳＴ１１に戻り、全てのノードが選択されるまで上述のステップＳＴ１１〜ＳＴ１３の処理が繰り返される。全てのノードが選択された場合（ステップＳＴ１４；ｙｅｓ）、グリッチ発生源抽出部２１は、グリッチ発生源リスト２１１の生成が完了したと判定する。
【００６７】
図７は、第１実施形態に係るグリッチ発生源リストを説明するための概念図である。図７は、ネットリスト１４１においてグリッチ発生源抽出処理を実行した場合に生成されるグリッチ発生源リスト２１１の一例を示す。
【００６８】
図７に示すように、グリッチ発生源リスト２１１には、ネットリスト１４１のノードのうち、ノードＢＵＦ１及びＢＵＦ２が除外され、ノードＰ１，Ｐ２，ＡＮＤ，ＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２がリストアップされる。
【００６９】
以上で、グリッチ発生源抽出処理が終了する。
【００７０】
１．２．２．２  グリッチ発生源毎のグリッチ影響確認処理
次に、第１実施形態に係る回路設計支援処理のうちのグリッチ発生源毎のグリッチ影響確認処理について、図８に示すフローチャートを用いて説明する。図８におけるステップＳＴ３１〜ＳＴ３８は、図５において説明したステップＳＴ３０に対応する。ステップＳＴ３１〜ＳＴ３８において、回路設計支援装置１は、グリッチ考慮部２２、動作情報確定部２３、消費電力算出部２４、及び消費電力比較部２５として機能する。
【００７１】
図８に示すように、まずステップＳＴ３１及びＳＴ３２において、グリッチを考慮しない場合の消費電力（グリッチ未考慮消費電力情報２４１）が算出される。
【００７２】
ステップＳＴ３１において、動作情報確定部２３は、グリッチ未考慮サイクルベース動作情報１４２、及び消費電力算出用データ１４３に基づき、ネットリスト１４１内の各素子の動作情報を後段の素子に確率伝搬し、最終的な動作情報を確定する。これにより、動作情報確定部２３は、グリッチ未考慮確定動作情報２３１を生成する。
【００７３】
図９は、第１実施形態に係るグリッチ未考慮確定動作情報を説明するための模式図である。図９では、グリッチ未考慮サイクルベース動作情報１４２に基づく確率伝搬後の最終的な動作情報として、ネットリスト１４１内の各ノードにおけるトグル率Ｔ及びデューティＤが（Ｔ，Ｄ）の形式で示される。
【００７４】
図９に示すように、ノードＰ１及びＰ２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３，０．５）及び（０．４，０．６）となる。
【００７５】
ノードＩＮＳＴ１＿１及びＩＮＳＴ１＿２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３３（＝０．３×１．１），０．５）及び（０．６（＝０．３×２），０．５）となる。
【００７６】
ノードＢＵＦ１及びＢＵＦ２におけるトグル率Ｔ及びデューティＤはそれぞれ、ノードＩＮＳＴ１＿１及びＰ２から変化しないため、（Ｔ，Ｄ）＝（０．３３，０．５）及び（０．４，０．６）となる。
【００７７】
ノードＡＮＤにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．３８（＝０．３×０．６＋０．４×０．５），０．３（＝０．５×０．６））となる。
【００７８】
ノードＩＮＳＴ２におけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．６８４（＝０．３８×１．８），０．３）となる。
【００７９】
ノードＸＯＲにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（１．２８４（＝０．６＋０．６８４），０．５（＝０．５（１−０．３）＋０．３（１−０．５）））となる。
【００８０】
このように、グリッチ未考慮確定動作情報２３１を生成することにより、グリッチを考慮しない場合における、ネットリスト１４１内の全てのノードのトグル率Ｔ及びデューティＤが確定する。
【００８１】
図８に示すフローチャートの説明に戻る。
【００８２】
ステップＳＴ３２において、消費電力算出部２４は、グリッチ未考慮確定動作情報２３１に基づいて、グリッチを考慮しない場合におけるネットリスト１４１の消費電力をグリッチ未考慮消費電力情報２４１として算出する。
【００８３】
消費電力は、生成される信号がスイッチングする回数に応じて増加する傾向があると考えられる。このため、以下では、説明の便宜上、消費電力に対応する指標の一例として、ネットリスト１４１内の各素子の出力ノードにおけるトグル率Ｔの総和を想定する。
【００８４】
消費電力算出部２４は、図９におけるノードＡＮＤ，ＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，ＩＮＳＴ２，ＢＵＦ１及びＢＵＦ２のトグル率Ｔの総和である４．００８（＝０．３３＋０．３３＋０．６＋０．４＋０．３８＋０．６８４＋１．２８４）を、グリッチ未考慮消費電力情報２４１として算出する。
【００８５】
なお、上述した消費電力（に対応する指標）の算出手法はあくまで一例であり、上述の例に限らず、任意の手法が適用可能である。
【００８６】
続いて、ステップＳＴ３３〜ＳＴ３６において、グリッチ発生源毎にグリッチを考慮した場合の消費電力（グリッチ考慮消費電力情報２４２）が算出される。
【００８７】
ステップＳＴ３３において、グリッチ考慮部２２は、所定の考慮条件に従い、グリッチ考慮サイクルベース動作情報２２１を生成する。素子毎のグリッチの考慮条件は、任意に設定可能であるが、以下では、説明の便宜上、グリッチが発生する可能性があるノードにおけるトグル率Ｔに一律の係数が乗算されるものとする。
【００８８】
図１０は、第１実施形態に係るグリッチ考慮サイクルベース動作情報２２１を説明するための模式図である。
【００８９】
図１０に示すように、対象ノードのうち、グリッチが発生する可能性があるノード（すなわち、種別が「非グリッチ発生源」以外のノード）は、グリッチ未考慮サイクルベース動作情報１４２におけるトグル率Ｔに対して一律に係数（１．３）が乗算される。これにより、各ノードにおいてグリッチが発生した場合の影響を、サイクルベールの動作情報内に付加することができる。
【００９０】
再び、図８のフローチャートの説明に戻る。
【００９１】
ステップＳＴ３４において、動作情報確定部２３は、グリッチ発生源リスト２１１に示されたグリッチ発生源から、ノードを１つ選択する。具体的には、動作情報確定部２３は、図７に示されたノードＰ１，Ｐ２，ＡＮＤ，ＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２から、任意のノードを１つ選択する。
【００９２】
一例として、上記ノードからノードＰ１を選択した場合について説明する。
【００９３】
ステップＳＴ３５において、動作情報確定部２３は、グリッチ未考慮サイクルベース動作情報１４２、消費電力算出用データ１４３、及びグリッチ考慮サイクルベース動作情報２２１に基づき、ネットリスト１４１内の各素子の動作情報を後段の素子に確率伝搬し、最終的な動作情報を確定する。確率伝搬に際し、動作情報確定部２３は、ステップＳＴ３４において選択したノード（選択ノード、すなわちノードＰ１）についてのみグリッチを考慮した動作情報を適用し、残りのノードについてはグリッチを考慮しない動作情報を適用する。これにより、動作情報確定部２３は、選択ノードのみグリッチを考慮した動作情報であるグリッチ考慮確定動作情報２３２を生成する。
【００９４】
図１１は、第１実施形態に係るグリッチ考慮確定動作情報を説明するための模式図である。図１１では、選択ノードＰ１に関するグリッチ考慮サイクルベース動作情報２２１、及びその他のノードに関するグリッチ未考慮サイクルベース動作情報１４２に基づく確率伝搬後の最終的な動作情報として、ネットリスト１４１内の各ノードにおけるトグル率Ｔ及びデューティＤが（Ｔ，Ｄ）の形式で示される。
【００９５】
図１１に示すように、ノードＰ１及びＰ２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３９（＝０．３×１．３），０．５）及び（０．４，０．６）となる。
【００９６】
ノードＩＮＳＴ１＿１及びＩＮＳＴ１＿２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．４２９（＝０．３９×１．１），０．５）及び（０．７８（＝０．３９×２），０．５）となる。
【００９７】
ノードＢＵＦ１及びＢＵＦ２におけるトグル率Ｔ及びデューティＤはそれぞれ、ノードＩＮＳＴ１＿１及びＰ２から変化しないため、（Ｔ，Ｄ）＝（０．４２９，０．５）及び（０．４，０．６）となる。
【００９８】
ノードＡＮＤにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．４３４（＝０．３９×０．６＋０．４×０．５），０．３（＝０．５×０．６））となる。
【００９９】
ノードＩＮＳＴ２におけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．７８１２（＝０．４３４×１．８），０．３）となる。
【０１００】
ノードＸＯＲにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（１．５６１２（＝０．７８＋０．７８１２），０．５（＝０．５（１−０．３）＋０．３（１−０．５）））となる。
【０１０１】
このように、グリッチ考慮確定動作情報２３２を生成することにより、選択ノードＰ１のみグリッチを考慮した場合における、ネットリスト１４１内の全てのノードのトグル率Ｔ及びデューティＤが確定する。
【０１０２】
再び、図８のフローチャートの説明に戻る。
【０１０３】
ステップＳＴ３６において、消費電力算出部２４は、選択ノードＰ１のみグリッチを考慮した場合のグリッチ考慮確定動作情報２３２に基づいて、ネットリスト１４１の消費電力をグリッチ考慮消費電力情報２４２として算出する。具体的には、消費電力算出部２４は、図１１におけるノードＡＮＤ，ＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，ＩＮＳＴ２，ＢＵＦ１及びＢＵＦ２のトグル率Ｔの総和である４．８１４４（＝０．４２９＋０．４２９＋０．７８＋０．４＋０．４３４＋０．７８１２＋１．５６１２）を、選択ノードＰ１のみグリッチを考慮した場合のグリッチ考慮消費電力情報２４２として算出する。
【０１０４】
ステップＳＴ３７において、消費電力比較部２５は、ステップＳＴ３２及びＳＴ３６においてそれぞれ算出したグリッチ未考慮消費電力情報２４１及びグリッチ考慮消費電力情報２４２を比較し、消費電力比較結果２５１を生成する。具体的には、消費電力比較部２５は、ネットリスト１４１の消費電力に対応するトグル率Ｔの総和について、グリッチを考慮しない場合（＝４．００８）と、選択ノードＰ１のみグリッチを考慮した場合（＝４．８１４４）との差分（＝０．８０６４）を算出する。これにより、選択ノードＰ１のみグリッチを考慮した場合の消費電力比較結果２５１が生成される。
【０１０５】
ステップＳＴ３８において、消費電力比較部２５は、グリッチ発生源リスト２１１内の全てのノードを選択したか否かを判定する。選択されていないノードが存在する場合（ステップＳＴ３８；ｎｏ）、処理はステップＳＴ３４に戻り、全てのノードが選択されるまで上述のステップＳＴ３４〜ＳＴ３７が繰り返される。
【０１０６】
例えば、次のステップＳＴ３４においてノードＰ２が選択された場合、次のステップＳＴ３５において、図１２に示すようなグリッチ考慮確定動作情報２３２が生成される。
【０１０７】
図１２に示すように、ノードＰ１及びＰ２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３，０．５）及び（０．５２（＝０．４×１．３），０．６）となる。
【０１０８】
ノードＩＮＳＴ１＿１及びＩＮＳＴ１＿２におけるトグル率Ｔ及びデューティＤはそれぞれ、（Ｔ，Ｄ）＝（０．３３（＝０．３×１．１），０．５）及び（０．６（＝０．３×２），０．５）となる。
【０１０９】
ノードＢＵＦ１及びＢＵＦ２におけるトグル率Ｔ及びデューティＤはそれぞれ、ノードＩＮＳＴ１＿１及びＰ２から変化しないため、（Ｔ，Ｄ）＝（０．３３，０．５）及び（０．５２，０．６）となる。
【０１１０】
ノードＡＮＤにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．４４（＝０．３×０．６＋０．５２×０．５），０．３（＝０．５×０．６））となる。
【０１１１】
ノードＩＮＳＴ２におけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（０．７９２２（＝０．４４×１．８），０．３）となる。
【０１１２】
ノードＸＯＲにおけるトグル率Ｔ及びデューティＤは、（Ｔ，Ｄ）＝（１．３９２（＝０．６＋０．７９２），０．５（＝０．５（１−０．３）＋０．３（１−０．５）））となる。
【０１１３】
そして、次のステップＳＴ３６において、ネットリスト１４１の消費電力に対応するトグル率Ｔの総和である４．４０４（＝０．３３＋０．３３＋０．６＋０．５２＋０．４４＋０．７９２＋１．３９２）がグリッチ考慮消費電力情報２４２として算出される。
【０１１４】
次のステップＳＴ３７において、ネットリスト１４１の消費電力に対応するトグル率Ｔの総和について、グリッチを考慮しない場合（＝４．００８）と、選択ノードＰ２のみグリッチを考慮した場合（＝４．４０４）との差分（＝０．３９６）が算出され、選択ノードＰ２のみグリッチを考慮した場合の消費電力比較結果２５１が生成される。
【０１１５】
上述のような処理が繰り返された後、全てのノードが選択された場合（ステップＳＴ３８；ｙｅｓ）、消費電力比較部２５は、グリッチ発生源リスト２１１内の全てのノードについて、各ノードのみグリッチが発生した場合の消費電力比較結果２５１の生成が完了したと判定する。
【０１１６】
以上で、グリッチ発生源毎のグリッチ影響確認処理が終了する。
【０１１７】
１．２．２．３  有意グリッチ発生源抽出処理
次に、第１実施形態に係る回路設計支援処理のうちの有意グリッチ発生源抽出処理について、図１３に示すフローチャートを用いて説明する。図１３におけるステップＳＴ５１〜ＳＴ５５は、図５において説明したステップＳＴ５０に対応する。ステップＳＴ５１〜ＳＴ５５において、回路設計支援装置１は、有意グリッチ発生源抽出部２６として機能する。
【０１１８】
図１３に示すように、ステップＳＴ５１において、有意グリッチ発生源抽出部２６は、図８におけるステップＳＴ３６において生成されたグリッチ発生源毎の消費電力比較結果２５１から１つを選択する。
【０１１９】
ステップＳＴ５２において、有意グリッチ発生源抽出部２６は、ステップＳＴ５１において選択した消費電力比較結果２５１が所定の条件を満たすか否かを判定する。所定の条件は、例えば、消費電力比較結果２５１の値が所定の閾値を超えるか否か、であってもよい。消費電力比較結果２５１が所定の条件を満たす場合（ステップＳＴ５２；ｙｅｓ）、処理はステップＳＴ５３に進み、所定の条件を満たさない場合（ステップＳＴ５２；ｎｏ）、処理はステップＳＴ５４に進む。
【０１２０】
ステップＳＴ５３において、有意グリッチ発生源抽出部２６は、選択した消費電力比較結果２５１に対応するノードを有意グリッチ発生源として抽出する。
【０１２１】
ステップＳＴ５４において、有意グリッチ発生源抽出部２６は、全ての消費電力比較結果２５１を選択したか否かを判定する。選択されていない消費電力比較結果２５１が存在する場合（ステップＳＴ５４；ｎｏ）、処理はステップＳＴ５１に戻り、全ての消費電力比較結果２５１が選択されるまで上述のステップＳＴ５１〜ＳＴ５３が繰り返される。全ての消費電力比較結果２５１が選択された場合（ステップＳＴ５４；ｙｅｓ）、処理はステップＳＴ５５に進む。
【０１２２】
ステップＳＴ５５において、有意グリッチ発生源抽出部２６は、ステップＳＴ５３において抽出された全ての有意グリッチ発生源リスト２６１にリストアップし、ユーザに提示する。提示の方法は、ユーザが有意グリッチ発生源を認知しうる任意の方法が適用可能である。例えば、有意グリッチ発生源リスト２６１は、インタフェース１６を介してディスプレイに表示されてもよいし、プリンタを介して紙出力されてもよい。
【０１２３】
これにより、ユーザは、ネットリスト１４１内のノードのうち、グリッチが発生した場合に消費電力が有意に変化し得るノードを有意グリッチ発生源として特定することができる。
【０１２４】
図１４は、第１実施形態に係る有意グリッチ発生源リストを説明するための概念図である。
【０１２５】
図１４に示すように、有意グリッチ発生源リスト２６１では、グリッチ発生源のうちネットリスト１４１の消費電力に大きな影響を与え得るノードが特定可能な情報を含む。図１４の例では、全てのグリッチ発生源に対して、上述したステップＳＴ３７において生成した消費電力比較結果２５１が所定の閾値（＝０．５）と共に記載される。そして、当該所定の閾値を超える消費電力比較結果２５１に対応するノード（グリッチ発生源）に対して、判定結果として「対策要」が記載されている。
【０１２６】
具体的には、図１１を参照して説明したように、ノードＰ１でグリッチが発生した場合、消費電力比較結果（＝０．８０６４）は、閾値（＝０．５）を上回る。このため、ノードＰ１でグリッチが発生した場合、ネットリスト１４１の消費電力が無視できない程度に増加すると判定され、「対策要」の判定結果が付与される。
【０１２７】
一方、ノードＰ２でグリッチが発生した場合、消費電力比較結果（＝０．３９６）は、閾値（＝０．５）を下回る。このため、ノードＰ２でグリッチが発生した場合、ネットリスト１４１の消費電力は無視できない程度には増加しないと判定され、「対策要」の判定結果は付与されない。
【０１２８】
その他のノードＡＮＤ，ＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２についても同様の判定が行われる。これにより、図１４の例では、ノードＡＮＤについては「対策要」の判定結果が付与され、ノードＸＯＲ，ＩＮＳＴ１＿１，ＩＮＳＴ１＿２，及びＩＮＳＴ２については「対策不要」の判定結果が付与される。
【０１２９】
ユーザは、上述したような有意グリッチ発生源リスト２６１を提示されることにより、ノードＰ１及びＡＮＤが特に消費電力に大きな影響を与えるグリッチ発生源であることを把握することができ、以降の設計作業の方向性を決定することができる。
【０１３０】
以上で、有意グリッチ発生源抽出処理が終了する。
【０１３１】
１．３  本実施形態に係る効果について
第１実施形態によれば、消費電力に対する影響が大きいグリッチ発生源を特定することが出来る。本効果につき、以下に説明する。
【０１３２】
第１実施形態によれば、動作情報確定部２３は、サイクルベース論理シミュレーションの実行によりネットリスト１４１に対して生成されたグリッチ未考慮サイクルベース動作情報１４２を確率伝搬し、グリッチ未考慮確定動作情報２３１を生成する。また、動作情報確定部２３は、グリッチ未考慮サイクルベース動作情報１４２及びグリッチ考慮サイクルベース動作情報２２１に基づき、グリッチ発生源リスト２１１内の複数のグリッチ発生源のうちの１つについてグリッチを考慮した動作情報を確率伝搬し、グリッチ考慮確定動作情報２３２を生成する。グリッチ考慮確定動作情報２３２は、複数のグリッチ発生源の各々について生成される。消費電力算出部２４及び消費電力比較部２５は、グリッチ未考慮確定動作情報２３１に基づくグリッチ未考慮消費電力情報２４１と、グリッチ考慮確定動作情報２３２に基づくグリッチ考慮消費電力情報２４２とを比較して消費電力比較結果２５１を生成する。消費電力比較結果２５１は、複数のグリッチ考慮確定動作情報２３２の各々について生成される。有意グリッチ発生源抽出部２６は、複数の消費電力比較結果２５１の各々について、所定の条件を満たすか否かを判定し、満たすと判定されたものを有意グリッチ発生源として特定する有意グリッチ発生源リスト２６１を生成し、ユーザに提示する。これにより、ユーザは、ネットリスト１４１内に無数に存在するグリッチ発生源の中から、消費電力の有意な増加に起因する可能性のある有意グリッチ発生源を特定することができる。このため、以降の回路設計において、対策が必要な箇所を適切に把握することができる。したがって、回路設計に要するユーザの負荷の増加を抑制することができる。
【０１３３】
２．  その他
なお、上述の第１実施形態は、種々の変形が可能である。
【０１３４】
第１実施形態では、有意グリッチ発生源抽出処理における消費電力比較結果の判定に適用される条件として、所定の閾値を用いる場合について説明したが、これに限られない。例えば、有意グリッチ発生源抽出部２６は、グリッチ発生源のうち、対応する消費電力比較結果が全体の上位数％に含まれるものを有意グリッチ発生源として抽出してもよい。
【０１３５】
また、第１実施形態では、グリッチ影響確認処理において、複数のグリッチ発生源のうちの１つでグリッチが発生する場合の動作情報を確定し、グリッチ考慮確定動作情報２３２を生成する場合について説明したが、これに限られない。例えば、動作情報確定部２３は、複数のグリッチ発生源のうちの２つ以上でグリッチが発生する場合についても同様に動作情報を確定し、グリッチ考慮確定動作情報２３２を生成してもよい。この場合、消費電力比較結果２５１の数は、グリッチが発生するグリッチ発生源の組み合わせに応じて増加し得る。しかしながら、当該組み合わせ毎の消費電力比較結果２５１を分析することにより、グリッチ発生源が消費電力に与える影響をより詳細に把握することができ、対策が必要な箇所を精度よく特定できる。
【０１３６】
本発明のいくつかの実施形態を説明したが、これらの実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施形態やその変形は、発明の範囲や要旨に含まれると同様に、特許請求の範囲に記載された発明とその均等の範囲に含まれるものである。
【符号の説明】
【０１３７】
１…回路設計支援装置、１１…ＣＰＵ、１２…ＲＯＭ、１３…ＲＡＭ、１４…ストレージ、１５…ドライブ、１６…インタフェース、２１…グリッチ発生源抽出部、２２…グリッチ考慮部、２３…動作情報確定部、２４…消費電力算出部、２５…消費電力比較部、２６…有意グリッチ発生源抽出部、１４１…ネットリスト、１４２…グリッチ未考慮サイクルベース動作情報、１４３…消費電力算出用データ、１４４…回路設計支援プログラム、１５１…記憶媒体、２１１…グリッチ発生源リスト、２２１…グリッチ考慮サイクルベース動作情報、２３１…グリッチ未考慮確定動作情報、２３２…グリッチ考慮確定動作情報、２４１…グリッチ未考慮消費電力情報、２４２…グリッチ考慮消費電力情報、２５１…消費電力比較結果、２６１…有意グリッチ発生源リスト。
【図１】
2020149312.tif 000003
【図２】
2020149312.tif 000004
【図３】
2020149312.tif 000005
【図４】
2020149312.tif 000006
【図５】
2020149312.tif 000007
【図６】
2020149312.tif 000008
【図７】
2020149312.tif 000009
【図８】
2020149312.tif 000010
【図９】
2020149312.tif 000011
【図１０】
2020149312.tif 000012
【図１１】
2020149312.tif 000013
【図１２】
2020149312.tif 000014
【図１３】
2020149312.tif 000015
【図１４】
2020149312.tif 000016