(57)【要約】【課題】回路を最適化する際にミスすることなく不必要な回路を削除し、削除したが本来は必要な回路は速やかに復活させる。【解決手段】回路設計データとテストベクタのみを用い、回路を検証する為に用意した全テストベクタから求めるラインカバレッジとトグルカバレッジ情報等により不必要回路を削除する。また、不必要な回路であると判断する要因となった信号名と、削除した行番号をファイルに格納しておくことにより、不必要な回路であると判断する要因となった信号が変化した場合に、信号名と行番号情報を格納したファイルにより、再度必要となった部分の回路を復活させる。【選択図】図１
2008102768.tif 000002
【特許請求の範囲】
【請求項１】
カバレッジ情報を用いて行単位の順次の最適化により回路設計データの最適化を行なう回路最適化装置において、
前記回路設計データを検証する為の複数のテストベクタにより得られるラインカバレッジとトグルカバレッジの情報を整理し保存する全カバレッジ情報マージ手段と、
前記保存された全カバレッジ情報について、前記テストベクタにより実行されないコードまたは信号があるか否かの監視をする動作チェック手段と、
前記動作することのないコードまたは信号があると判断された場合には、そのコードまたは信号の不必要な記述をコメントアウトする設計回路不活性化手段と、
前記コメントアウトした要因となったコードまたは信号名と行番号を格納した情報ファイルを作成する情報ファイル作成・修正手段と、
前記全カバレッジ情報マージ手段からの情報（前回最適化時と今回最適化時のトグルカバレッジ情報とラインカバレッジ情報）と前記情報ファイルから必要であると判断された行のコメントアウトを削除する回路設計再活性化手段を有し、
前記情報ファイル作成・修正手段は、前記設計回路再活性化手段においてコメントアウトを削除する要因となったコードまたは信号名と、コメントアウトを削除した行番号の格納されている情報を情報ファイルから削除することを特徴とする回路最適化装置。
【請求項２】
カバレッジ情報を用いて行単位の順次の最適化により回路設計データの最適化を行なう回路最適化方法において、
回路設計データと回路設計データに対する検証用のテストベクタによりラインカバレッジとトグルカバレッジをそれぞれ計測する第１段階と、
前記計測された全カバレッジ情報を整理し保存し、さらに前回最適化時のカバレッジ情報と今回最適化時のカバレッジ情報との差異も検出する第２段階と、
前記保存されているカバレッジ情報により動作していないコードや信号があるか否かの判断を行う第３段階と、
前記動作していないコードや信号があると判断された場合に前記回路設計データのコード最適化を行う第４段階と、
前記最適化した要因となった信号名とコメントアウトした行番号を格納した情報ファイルを作成する第５段階と、
前回最適化時のカバレッジ情報と今回最適化時のカバレッジ情報が同じであるか否かの判断を行う第６段階と、
前記第６段階で前回最適化時のカバレッジ情報と今回最適化時のカバレッジ情報に情報差異があるならば、カバレッジ情報の差異（変化するようになった信号）と前記情報ファイルを基に、変化するようになった信号により既にコメントアウトした行の回路設計データのコメントアウトの削除を行う第７段階と、
前記コメントアウトの削除をする要因となった信号名とコメントアウトを削除した行番号の格納されている情報を前記情報ファイルから削除する第８段階を有し、
以上の第１段階〜第８段階を回路設計データの全ての行について繰り返すことを特徴とする回路最適化方法。
【請求項３】
前記第３段階は、
前記保存されているラインカバレッジ情報を利用して当該行が実行されたか否かの判断を行う第３−１段階と、
当該行が実行されている場合は前記保存されているトグルカバレッジ情報を利用して当該行の信号が変化したか否かの判断を行う第３−２段階と、
当該行が実行されていないと判断された場合は前記保存されているトグルカバレッジ情報を利用して当該行の信号が変化したか否かの判断を行う第３−３段階から成ることを特徴とする請求項２記載の回路最適化方法。
【請求項４】
前記第４段階の最適化は、前記第３−２段階で当該行の信号が変化していないと判断された場合または前記第３−３段階で当該行の信号が変化したと判断されたならば、実行されない行と、実行はされるが値が変化しない行、さらに場合によっては条件の行も含め前記回路設計データのコメントアウトを行うことを特徴とする請求項３記載の回路最適化方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、集積回路装置等に対する回路最適化装置および回路最適化方法、特に、ハードウェア記述言語による回路設計データについて、回路の最適化と、ラインカバレッジおよびトグルカバレッジ等のカバレッジ情報を利用した回路最適化装置および回路最適化方法に関する。
【背景技術】
【０００２】
従来、LSIやFPGA等の回路設計において、VHDL/Verilogなどのハードウェア記述言語が用いられており、設計者はテストベクタにより回路設計データがどれくらいテストされているかを見積もる為に、ラインカバレッジやトグルカバレッジといった周知の技術が利用されている。
【０００３】
ラインカバレッジは、テストベクタにより検証を行った際に、回路設計データの内で実行された行と未実行の行を計測し、全回路設計データにおける検証された行の網羅率を計算し、検証による品質の向上に役立てる。また、トグルカバレッジは、テストベクタにより検証を行った際に、回路設計データ中のある信号において、値が設定されていない信号や、「0」→「1」および「1」→「0」へ変化することを計測し、回路設計データについての検証が網羅されているかを確認することができ、品質の向上に役立てる。
【０００４】
この種の具体的な従来技術として、実行されたコードと非実行コードとを計測してコードカバレッジ情報を得、非実行コードを不要なコードとして削除し回路のコード最適化を行っているもの（例えば、特許文献１参照）や、予め動的な制限情報を設定しておき設定した制限の条件が成り立った場合に、制限情報に基づき指定された信号またはモジュールをシミュレーション対象から削除し、予め指定しておいた制限を解除する設定条件が成り立った場合に、信号またはモジュールをシミュレーション対象から削除する前の回路に戻しシミュレーションを継続するもの（例えば、特許文献２参照）が知られている。
【０００５】
図９は特許文献１記載の集積回路装置の設計装置・方法の一例を表したブロック図である。回路設計データ100はカバレッジの対象であるシステムまたはハードウェアまたはソフトウェアの機能を記述した設計データ、検証ベクタ101は回路設計データ100の機能を検証するための検証ベクタ、カバレッジ計測手段102は検証ベクタ101によって回路設計データ100の各コード行が実行されたか実行されなかったかを計測するコードカバレッジ計測手段、全カバレッジ情報保存手段103はカバレッジ計測手段102から出力されるコードカバレッジ情報を格納するコードカバレッジデータベースであり、コード最適化手段104はコードカバレッジ情報を用いて回路設計データ100および検証ベクタ101の最適化を行なう。
【０００６】
【特許文献１】特開2004−355030号公報（第６頁−第７頁、図１）
【特許文献２】特開2001−022808号公報（第４頁−第５頁、図１）
【発明の開示】
【発明が解決しようとする課題】
【０００７】
しかしながら、上述したコードカバレッジを利用したコード最適化では、削除したコードを復活させることができない為、この構成では全機能を十分に検証することができる検証ベクタを用意していることが前提にあり、全検証用のデータが揃ってからでなくては本来削除されては困るコードも削除されてしまう可能性があるといった課題がある。さらに、一旦最適化した設計データを基に、新たに作成した検証ベクタで最適化することはできず、最適化前の設計データを基に新たな検証ベクタも加えた、全検証ベクタにより最適化をし直さなければならないといった課題もある。
【０００８】
また、特許文献２記載の技術では、予めある条件が揃った時に削除する回路を指定したり基の回路に戻す指定をしたりと、シミュレーション担当者が対象回路の全動作を把握していなければならない為、シミュレーションを行える人が限られてしまう上、指定ミスをすることがあるといった問題がある。さらに、不要な回路を削除後、復活させる条件が成り立ち復活させたとしても、削除の前の回路に戻すだけであり、複数削除した回路のうち一部分だけを復活させたい場合、復活と他の部分の削除を同時に行い効率よく回路の最適化を行いたいときであっても、数多くの箇所を少しずつ削除・復活を繰り返し、より最適化を行うことができないといった問題もある。
【０００９】
そこで、本発明の目的は、予め削除する・復活させる箇所を指定するといった動的な制限情報を必要とすることなく、設計者の用意したテストベクタにて、ラインカバレッジおよびトグルカバレッジを利用し、本来は不必要であった回路や、用意したテストベクタでは動作することがない信号を判断し回路設計データの最適化を行うことができる回路最適化装置および回路最適化方法を提供することにある。
【００１０】
本発明の他の目的は、途中段階で不要と判断されたテストベクタがあった場合は、既に最適化された回路設計データを基に、さらなる回路設計データの最適化を行い、途中段階で追加されたテストベクタがあった場合は既に最適化された回路設計データを基に、場合によっては該当箇所のコメントアウトを削除することにより、短時間での回路設計データの最適化を行い回路検証作業の効率化を図り、回路の性能向上と開発コストを低減することができる回路最適化装置および回路最適化方法を提供することにある。
【課題を解決するための手段】
【００１１】
本発明は、設計者の用意したテストベクタにて動作することのない箇所については動作しない回路に自動で変更する機能を有する。より具体的には、ラインカバレッジ計測手段およびトグルカバレッジ計測手段と、全カバレッジ情報マージ手段を用いることにより、予め条件を与えることなく動作チェック手段が不活性な箇所を判断し、回路設計データ不活性化手段は動作しないようにする。
【００１２】
また、動作しないと判断され動作しないように最適化した箇所が、後にテストベクタが追加され動作することになった場合には、前述にて動作しないように最適化した箇所を再度自動で復活させる機能を有する。具体的には、再度、不活性箇所が動作するようになったことを全カバレッジ情報マージ手段から判定し、情報ファイル作成・修正手段によりコメントアウトした箇所を示す情報ファイルを作成・修正し、設計回路再活性化手段は情報ファイルにより再び活性化した箇所を動作させるようにする。
【００１３】
このような構成を採用し、用意したテストベクタにおいて動作する箇所、しない箇所を判断することにより本発明の目的を達成することができる。
【００１４】
本発明では、先ず、設計した回路を検証する為に複数のテストベクタを用いた検証を行い、ラインカバレッジ計測手段は、テストベクタにより実際に実行された行と実際には実行されなかった行を計測し、トグルカバレッジ計測手段は、各信号の各ビットが「0」→「1」および「1」→「0」へ変化していない、つまり全く動作していないことを計測する。全カバレッジ情報マージ手段は、上記のラインカバレッジ計測手段およびトグルカバレッジ計測手段により求めた、全てのテストベクタによるカバレッジ情報を整理し保存する。
【００１５】
次に、動作チェック手段は、不活性な箇所を判断し、設計回路不活性化手段は、回路設計データのうち不活性な箇所を動作しないように回路を変更する。情報ファイル作成・修正手段は、コメントアウトの要因となったコードまたは信号名と行番号を格納した情報ファイルを作成する。
【００１６】
次に、設計回路再活性化手段は、全カバレッジ情報マージ手段と情報ファイル作成・修正手段により再活性化した箇所があるか否かの判定をし、不活性であった為に、既に動作しないようにしてしまっている箇所を、再度動作するように回路を変更する。
【００１７】
さらに、情報ファイル作成・修正手段は、設計回路不活性化手段で不活性な回路、設計回路再活性化手段で再活性となった回路の要因となった信号名と、コメントアウトした行番号を情報ファイルに格納する。
【００１８】
このように不活性な箇所を動作しないように変更したり、極稀に動作する回路を動作するように変更したりすることにより、ほとんど動作することのない回路を検証時に動作させる必要がなく効率的に検証作業を進めることができ、もしも極稀に動作する回路の検証を行う場合にも、速やかに再度動作するように変更することが可能である。大規模な回路では極稀にしか動作しない回路を残し検証しているよりも、必要であると判断された時にのみ、動作するように変更したほうが、トータルでみた検証作業の効率は上がることになる。
【発明の効果】
【００１９】
本発明の第１の効果は、新たにテストベクタが追加されたことなどにより、動作していなかった回路の一部または全てが動作した場合に、一旦削除（コメントアウト）してしまった回路について、速やかに該当箇所の回路設計データを復活することができるということである。その理由は、前回最適化した行と今回最適化する行のカバレッジ情報との比較や、情報ファイル作成・修正手段によるファイル情報とを組み合わせることにより、最適化を初めの状態、または以前の最適化の状態に戻すことなく、既に最適化した現在の回路から回路設計データを復活することができる為である。
【００２０】
また、第２の効果は、検証対象の回路設計データとテストベクタ以外の制限情報等を用意する必要はなく、回路設計データとテストベクタのみを用意することにより検証回路の最適化を図ることができる為、制約条件等を指定・作成するための時間や、制約条件指定ミスが入り込まず開発コストを低減することができるということである。
【発明を実施するための最良の形態】
【００２１】
次に、本発明の実施の形態について図面を参照して詳細に説明する。
【００２２】
［構成の説明］
図１は、本発明の回路最適化装置・方法の一例を表した図である。この図は、集積回路装置に対するラインカバレッジとトグルカバレッジを用いた回路最適化装置を表すブロックであるとともに、回路最適化方法の処理手順をも示している。
【００２３】
図１において、回路設計データ10はソフトウェアやハードウェア等の設計データであり、テストベクタ11は回路設計データ10を検証する為のデータである。ラインカバレッジ計測手段12はテストベクタ11により回路設計データ10のコードの実行された行および未実行の行を計測する。トグルカバレッジ計測手段13はテストベクタ11により回路設計データ10の信号において、値が設定されていない信号や、「0」→「1」および「1」→「0」へ値が変化していることを計測する。全カバレッジ情報マージ手段14は回路設計データ10を検証する為の、複数のテストベクタ11により得られる、ラインカバレッジ計測手段12とトグルカバレッジ計測手段13からの情報を整理し保存する。
【００２４】
動作チェック手段15は、用意したテストベクタ11により、実行されないコードまたは信号があるか否かの監視をする。設計回路不活性化手段16は、動作チェック手段15で、用意されたテストベクタ11において動作することのないコードまたは信号があると判断された場合には、そのコードまたは信号は不必要な設計データであると判断し不必要な記述をコメントアウト（削除）する。
【００２５】
さらに、情報ファイル作成・修正手段17は、設計回路不活性化手段16においてコメントアウトした要因となった信号名と、コメントアウトした行番号を格納した情報ファイル20を作成する。また、回路設計再活性化手段18は、全カバレッジ情報マージ手段14からの情報（前回最適化時と今回最適化時のトグルカバレッジ情報とラインカバレッジ情報）と情報ファイル作成・修正手段17によって作成された情報ファイル20により、必要であると判断された行のコメントアウトを削除する。
【００２６】
そして、さらに情報ファイル作成・修正手段19は、設計回路再活性化手段18においてコメントアウトを削除する要因となった信号名と、コメントアウトを削除した行番号の格納されている情報を情報ファイル20から削除する。情報ファイル作成・修正手段19は、ものとしては情報ファイル作成・修正手段17と同一であるが、処理の上では二度現れるため明示している。
【００２７】
本発明の集積回路装置の設計装置および設計方法は、このように、予め削除・復活を指示するような条件等は必要とせずに、回路設計データ10とシミュレーション用のテストベクタ11のみを用意し、回路の最適化を行うものである。
【００２８】
［動作の説明］
次に、カバレッジ情報を利用した回路最適化方法の処理について、図２に示すフローチャートを参照して説明する。
【００２９】
回路設計データ10に対する検証用のテストベクタ11により検証が開始されると、ラインカバレッジ計測手段12はラインカバレッジ、トグルカバレッジ計測手段13はトグルカバレッジをそれぞれ計測する（図２のステップS1）。そして、全カバレッジ情報マージ手段14は、計測された全カバレッジ情報を整理し保存し、さらに前回に最適化した時のトグルカバレッジ情報とラインカバレッジ情報と、今回最適化する時のトグルカバレッジ情報とラインカバレッジ情報との差異も検出する（ステップS2）。
【００３０】
動作チェック手段15は、全カバレッジ情報マージ手段14に保存されているカバレッジ情報により、動作していないコードや信号があるか否かの判断を行う（ステップS3〜S5）。すなわち、動作チェック手段15は、全カバレッジ情報マージ手段14に保存されているラインカバレッジ情報を利用し、その行が実行されたか否かの判断を行う（ステップS3）。その行が実行されている場合は、全カバレッジ情報マージ手段14に保存されているトグルカバレッジ情報を利用し、その行の信号が変化したか否かの判断を行う（ステップS4）。その行の信号が変化したと判断されたならばステップS11、その行の信号が変化していないと判断されたならばステップS6に進む。
【００３１】
一方、ステップS3において、その行が実行されていないと判断された場合はステップS5に進み、全カバレッジ情報マージ手段14に保存されているトグルカバレッジ情報を利用し、その行の信号が変化したか否かの判断を行う。その行の信号が変化したと判断されたならば、ステップS6に進む。なお、その行の信号が変化していないと判断された場合でも、ステップS6に進む。ただし、ステップS4からと、ステップS5のＹＥＳ、ＮＯのどちらからの経路によりS6に到達したかにより、最適時の最適化のされかたが異なってくる。
【００３２】
ステップS6において、設計回路不活性化手段16は、ステップS4とステップS5からの情報を基に、実行されない行と、実行はされるが値が変化しない行、さらに場合によっては条件の行も含め回路設計データの最適化（コメントアウト）を行う。情報ファイル作成・修正手段17は、ステップS6で設計回路不活性化手段16が最適化（コメントアウト）する要因となった信号名と、コメントアウトした行番号を情報ファイル20に格納し（ステップS7）、ステップS8に進む。
【００３３】
ステップS8においては、回路設計再活性化手段18は、全カバレッジ情報マージ手段104により計測した前回の最適化時と今回のカバレッジ情報を比較し、変化するようになったコードや信号（カバレッジ情報）があるか否かの判断を行う。前回のカバレッジ情報と今回のカバレッジ情報が同じであるならばステップS11に進み、前回のカバレッジ情報と今回のカバレッジ情報に差異があるならば、ステップS9に進む。
【００３４】
ステップS9において、回路設計再活性化手段18は、ステップS8のカバレッジ情報の差異（変化するようになった信号）とステップS7において作成される情報ファイル20の情報を基に、変化するようになった信号により既にコメントアウトした行の回路設計データの最適化（コメントアウトの削除）を行う。
【００３５】
そして、情報ファイル作成・修正手段19は、ステップS9で回路設計データ再活性化手段18が最適化（コメントアウトの削除）する要因となった信号名と、コメントアウトを削除した行番号の格納されている情報を、情報ファイル20から削除し、ステップS11に進む。
【００３６】
ステップS11において、情報ファイル作成・修正手段19は、回路設計データ10の最終行なのか否かの判断を行い、回路設計データ10の最終行ならば処理を終了する。一方、回路設計データ10の最終行でないと判断された場合には、回路設計データ10を１行進め（ステップS12）、ステップS3の処理に戻る。
【００３７】
次に、設計回路不活性化手段16が不必要回路をコメントアウトする為の最適化をする方法について、具体的例をとって図３〜図５により説明する。
【００３８】
図３〜図５において、左側に示すような最適化前の回路設計データ10を検証用のテストベクタ11により検証を行う。その結果、図示するようなラインカバレッジ情報とトグルカバレッジ情報が得られる。当初、情報ファイル20は空白である。
【００３９】
図３の例では、図２のステップS3とステップS4により、矢印Ａの行14，16は実行されるが代入される信号が変化しない為に、信号“ＯＵＴ１”は変化しないとトグルカバレッジ情報より判断され、信号“ＯＵＴ１”は常に“０”であるということになる。そこで、“ＯＵＴ１”を“０”にする行12を残し、全てがコメントアウトされる。右側に示すような最適化後の回路設計データ10の行10〜行18の内で行12を除く全ての行に削除マーク「--」が付されている。この結果、ステップS7において情報ファイル20には、コメントアウトする要因となった信号名とコメントアウトした行番号が図示のように格納される。  
【００４０】
図４の例では、図２のステップS3とステップS5により、矢印Ｂの行16が実行されないが、信号“ＯＵＴ１”は変化するとトグルカバレッジ情報とラインカバレッジ情報より判断される。そこで、その行16と、行16を動作させる為の条件の行15がコメントアウトされる。この結果、ステップS7において情報ファイル20には、コメントアウトする要因となった信号名とコメントアウトした行番号が図示のように格納される。  
【００４１】
図５の例では、図２のステップS3により矢印Ｃの行は実行されるが、ステップS4により信号“ＯＵＴ１”は変化せず、また、ステップS3により矢印Ｄの行は実行されず、ステップS5により信号“ＯＵＴ１”は変化しないとトグルカバレッジ情報とラインカバレッジ情報より判断される。そこで、信号“ＯＵＴ１”は常に“０”であるということになり、“ＯＵＴ１”を“０”にする行12を残し、全てコメントアウトされる。また、ステップS7により情報ファイル20には、コメントアウトする要因となった信号名とコメントアウトした行番号が図示のように格納される。
【００４２】
次に、設計回路再活性化手段18が必要回路を復活させる為の最適化をする方法について、具体例をとって図６〜図８により説明する。  
【００４３】
図６の例では、図３で示した例では変化していなかった“ＩＮ１”、“ＩＮ２”が前回のカバレッジ情報と、今回のカバレッジ情報との比較より変化していることがわかる。よって、“ＩＮ１”、“ＩＮ２”が変化したことにより最適化するべき行があるかを情報ファイル20により調べると、“ＩＮ１”、“ＩＮ２”によりコメントアウトされた行番号情報がわかり、図６の右側のように該当行のコメントアウトが削除される。さらに、ステップS8により使用された“ＩＮ１”、“ＩＮ２”について情報ファイル20の更新が行われる。
【００４４】
図７の例では、図４で示した例では変化していなかった“SIG1(1)”が変化し、変化していた“SIG1(0)”が変化しなくなり、行14，15も実行されなくなることが前回のカバレッジ情報と、今回のカバレッジ情報との比較よりわかる。よって、SIG1(0)が変化しなくなったことにより動作しなくなった行14と、行14を動作させる為の条件の行13がコメントアウトされる。また、“SIG1(1)”が変化したことにより最適化するべき行があるかを情報ファイル20により調べると、“SIG1(1)”によりコメントアウトされた行番号情報がわかり、図７の右側のように該当行15，16のコメントアウトが削除される。  
【００４５】
さらに、ステップS10により、使用された“SIG1(1)”についての情報ファイル20の更新が行われる。つまり、いったん15，16行目をコメントアウトする前の図４の回路に戻してから改めて13，14行目をコメントアウトするといったプロセスをとらずに、一度の最適化でコメントアウトの削除と追加といった更なる最適化が行われる。  
【００４６】
図８の例では、図５で示した例では変化していなかった値“ＩＮ１”が変化し、行10，11，13，14，15，17，18も実行されなくなることが前回のカバレッジ情報と、今回のカバレッジ情報との比較よりわかる。よって、“ＩＮ１”が変化したことにより最適化するべき行があるかを情報ファイル20により調べると、“ＩＮ１”によりコメントアウトされた行番号情報がわかり、図８の右側のように該当行のコメントアウトが削除される。さらに、ステップS8により、使用された“ＩＮ１”についての情報ファイル20の更新が行われる。  
【００４７】
つまり、上記図７の説明と同様、一旦コメントアウトする前の図５の回路に戻してから、SIG1(1)が変化しない為に改めて行15，16をコメントアウトするといったプロセスをとらずに、行15，16以外のコメントアウトのみを削除するといった更なる最適化が行われる。  
【００４８】
このように、上記の例では、予め削除または復活させる箇所を指定するといった条件等を必要とすることなく、用意された検証用のテストベクタ11から求めるラインカバレッジとトグルカバレッジの情報により、動的に回路の最適化を行うことができる。しかも、検証用のテストベクタ11が追加等された場合に、コメントアウトした箇所が再び動作することを前回と今回のカバレッジ情報との比較や、情報ファイル作成・修正手段17による情報ファイル20とを組み合わせることにより検出し、既に最適化した回路設計データ10を基に、さらなる回路の最適化をすることも可能である。
【００４９】
なお、本発明は上記実施の形態に限定されず、最適化するための手段として、ラインカバレッジとトグルカバレッジだけに限定するものではなく、他の複数のカバレッジ情報や、その他の情報を基にするなどしてもよい。さらに、上記実施例では用意された検証用のテストベクタ11において不活性な回路を最適化しているが、多数用意したテストベンチにおいても、極稀にしか動作することのない回路も最適化することができるように、一定期間内に動作しない回路を最適化するなどしてもよい。その他、本発明の要旨を逸脱しない範囲で、実施の形態を変更し実施することができる。
【図面の簡単な説明】
【００５０】
【図１】本発明の回路最適化装置・方法の一例を表した図
【図２】本発明による、カバレッジ情報を利用した回路最適化方法の例を示すフローチャート
【図３】本発明による、不必要回路をコメントアウトする為の最適化をする方法を説明するための第１の例を示す図
【図４】本発明による、不必要回路をコメントアウトする為の最適化をする方法を説明するための第２の例を示す図
【図５】本発明による、不必要回路をコメントアウトする為の最適化をする方法を説明するための第３の例を示す図
【図６】本発明による、必要回路を復活させる為の最適化する方法を説明するための第１の例を示す図
【図７】本発明による、必要回路を復活させる為の最適化する方法を説明するための第２の例を示す図
【図８】本発明による、必要回路を復活させる為の最適化する方法を説明するための第３の例を示す図
【図９】従来のカバレッジ情報を用いた回路最適化装置・方法の一例を示す図
【符号の説明】
【００５１】
10  回路設計データ  11  テストベクタ  12  ラインカバレッジ計測手段  13  トグルカバレッジ計測手段  14  全カバレッジ情報マージ手段  15  動作チェック手段  16  設計回路不活性手段  17  情報ファイル作成・修正手段  18  設計回路再活性化手段
19  情報ファイル作成・修正手段
20  情報ファイル
【図１】
2008102768.tif 000003
【図２】
2008102768.tif 000004
【図３】
2008102768.tif 000005
【図４】
2008102768.tif 000006
【図５】
2008102768.tif 000007
【図６】
2008102768.tif 000008
【図７】
2008102768.tif 000009
【図８】
2008102768.tif 000010
【図９】
2008102768.tif 000011
【手続補正書】
【提出日】平成18年10月20日(2006.10.20)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】０００６
【補正方法】変更
【補正の内容】
【０００６】
【特許文献１】特開2004-355130号公報（第６頁−第７頁、図１）
【特許文献２】特開2001-022808号公報（第４頁−第５頁、図１）