(57)【要約】【課題】シミュレーション結果とその解析処理結果とを同一の画面上に表示し、複数のユーザ可能とし、解析結果の妥当性を十分把握できる設計検証システムを提供する。【解決手段】シミュレーション結果データを取得するシミュレーション結果データ取得部１０、シミュレーション結果データを解析前表示ファイルに変換・登録するデータ変換・登録部１１、シミュレーション結果データを解析するための解析情報を取得する解析情報取得部１２、その解析情報に基づいてシミュレーション結果データの解析処理を行い、解析後表示ファイルとして出力・登録する解析情報処理部１３、解析前及び解析後表示ファイル又はこれらと同等の内容の表示ファイルを記憶した（解析前／解析後）表示ファイル記憶装置７、解析前表示ファイルと解析後表示ファイルとを、またはこれらファイルと同等の内容を持つ表示ファイルを同一画面上に表示するデータ表示部１４とを備える。【選択図】      図１
2004240753.tif 000002
【特許請求の範囲】
【請求項１】
シミュレーション結果データを取得するシミュレーション結果データ取得部と、
前記シミュレーション結果データを解析前表示ファイルに変換するデータ変換・登録部と、
前記解析前表示ファイルを記憶する表示ファイル記憶装置と、
前記シミュレーション結果データを解析するための解析情報を取得する解析情報取得部と、
前記解析情報に基づいて、前記シミュレーションデータの解析処理を行い、解析後表示ファイルとして出力する解析情報処理部と、
前記解析後表示ファイルを登録する前記表示ファイル記憶装置と、
前記解析前表示ファイルと前記解析後表示ファイルとを同一画面上に表示するデータ表示部
とを備えることを特徴とする設計検証システム。
【請求項２】
解析前表示ファイルと解析後表示ファイルは同一の表示ファイルとして構成されていることを特徴とする請求項１に記載の設計検証システム。
【請求項３】
シミュレーション結果データは、コンピュータネットワークまたはインターネットを経由して複数のユーザから入力可能であり、データ表示部は複数のユーザが閲覧可能であることを特徴とする請求項１に記載の設計検証システム。
【請求項４】
データ変換・登録部と解析情報取得部はデータ処理部として統合されてなることを特徴とする請求項１記載の設計検証システム。
【請求項５】
表示ファイル記憶装置に格納された登録・解析済みのシミュレーション結果データに対し、同一かまたはわずかに異なる製品または機能ブロックのシミュレーション結果データが入力された場合、変更のない部分の未活性箇所に対する前記登録・解析済みのシミュレーション結果データの解析結果を流用することを特徴とする、請求項１乃至４のいずれか１項に記載の設計検証システム。
【請求項６】
品質の基準等の基準データを取得する基準データ取得部と、前記基準データを記憶した基準データ記憶装置を更に備えることを特徴とする請求項１乃至５のいずれか１項に記載の設計検証システム。
【請求項７】
前記データ表示部は、前記基準データに基づいて前記解析後表示ファイルの基準未達成の項目を他の項目と区別して表示することを特徴とする請求項６に記載の設計検証システム。
【請求項８】
前記シミュレーション結果データは、ＲＴＬコードカバレッジ情報を含む機能シミュレーションに伴う結果データ又は故障検出率を含む故障シミュレーション結果データであることを特徴とする請求項１乃至７のいずれか１項に記載の設計検証システム。
【請求項９】
シミュレーション結果データを取得するステップと、
前記シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップと、
前記シミュレーション結果データを解析するための解析情報を取得するステップと、
前記解析情報に基づいて、前記シミュレーション結果データの解析処理を行うステップと、
前記シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップと、
前記解析前表示ファイルと前記解析後表示ファイルとを同一画面上に表示するステップ
とを有することを特徴とする設計検証方法。
【請求項１０】
解析前表示ファイルと解析後表示ファイルは同一の表示ファイルとして構成されていることを特徴とする請求項９に記載の設計検証方法。
【請求項１１】
シミュレーション結果データは、コンピュータネットワークまたはインターネットを経由して複数のユーザから入力可能であり、データ表示部は複数のユーザが閲覧可能であることを特徴とする請求項９に記載の設計検証方法。
【請求項１２】
表示ファイル記憶装置に格納された登録・解析済みのシミュレーション結果データに対し、同一かまたはわずかに異なる製品または機能ブロックのシミュレーション結果データが入力された場合、変更のない部分の未活性箇所に対する前記登録・解析済みのシミュレーション結果データの解析結果を流用することを特徴とする、請求項９乃至１１のいずれか１項に記載の設計検証方法。
【請求項１３】
前記シミュレーション結果データは、ＲＴＬコードカバレッジ情報を含む機能シミュレーション結果データ又は故障検出率を含む故障シミュレーション結果データであることを特徴とする請求項９乃至１２のいずれか１項に記載の設計検証方法。
【請求項１４】
設計検証システムに、
シミュレーション結果データを取得するステップと、
前記シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップと、
前記シミュレーション結果データを解析するための解析情報を取得するステップと、
前記解析情報に基づいて、前記シミュレーション結果データの解析処理を行うステップと、
前記シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップと、
前記解析前表示ファイルと解析後表示ファイルとを同一画面上に表示するステップとを実行させることを特徴とする設計検証効率および品質向上プログラム。
【請求項１５】
解析前表示ファイルと解析後表示ファイルは同一の表示ファイルとして構成されていることを特徴とする請求項１４に記載の設計検証効率および品質向上プログラム。
【請求項１６】
シミュレーション結果データは、コンピュータネットワークまたはインターネットを経由して複数のユーザから入力可能であり、データ表示部は複数のユーザが閲覧可能であることを特徴とする請求項１４に記載の設計検証効率および品質向上プログラム。
【請求項１７】
表示ファイル記憶装置に格納された登録・解析済みのシミュレーション結果データに対し、同一かまたはわずかに異なる製品または機能ブロックのシミュレーション結果データが入力された場合、変更のない部分の未活性箇所に対する前記登録・解析済みのシミュレーション結果データの解析結果を流用することを特徴とする、請求項１４乃至１６のいずれか１項に記載の設計検証効率および品質向上プログラム。
【請求項１８】
前記シミュレーション結果データは、ＲＴＬコードカバレッジ情報を含む機能シミュレーション結果データ又は故障検出率を含む故障シミュレーション結果データであることを特徴とする請求項１４乃至１７のいずれか１項に記載の設計検証効率および品質向上プログラム。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、ＬＳＩの設計検証処理に利用される設計検証システム、設計検証方法及び設計検証プログラムに関する。
【０００２】
【従来の技術】
近年のＬＳＩ等の回路の急速な大規模化、複雑化に伴い、既に作製された設計資産を回路の設計段階において積極的に再利用しようとする動きが活発になっている。設計資産を再利用して回路を設計する際には、再利用する回路に対する検証確度に関する情報が大変重要となってくる。検証確度に関する情報としては、ＲＴＬコードカバレッジ情報やファンクショナルカバレッジ情報等が一般に広く利用されている。「ＲＴＬコードカバレッジ情報」とは、機能シミュレーション時に、ＲＴＬ（Ｒｅｇｉｓｔｅｒ  Ｔｒａｎｓｆｅｒ  Ｌｅｖｅｌ）にて記述された回路記述内のどの記述が実行されたかを記録した情報である。設計者は、このＲＴＬコードカバレッジ情報を参照することにより、機能シミュレーションによってどの程度の回路記述が実行されたかを数値（％）により認識し、検証確度を図る目安を得ることができる。ＲＴＬコードカバレッジとしては、以下で説明するステートメントカバレッジ、ブランチカバレッジ、トグルカバレッジに加え、ＲＴＬ記述内の分岐文の条件式の各信号の組合せの割合を見るコンデションカバレッジがあり、さらにはＦＳＭ（Ｆｉｎｉｔｅ  ＳｔａｔｅＭａｃｈｉｎｅ：状態遷移回路）内の状態をどれだけカバーしたかというステートカバレッジ、状態間の可能な遷移をどれだけ実行したかというアークカバレッジ等を含む場合もある。
【０００３】
従来、このようなＲＴＬコードカバレッジ情報を解析処理するために使用される設計検証システムでは、ＬＳＩ等の回路内部の個々の機能ブロック別の詳細結果をグラフ表示したり、カバレッジの低い機能ブロックから順に表示したり、要求基準に満たないものを例えば赤色で表示する等、ユーザの利便性を向上させる種々の工夫が加えられている場合はあるものの、基本的には機能シミュレーションに伴って得られる計算結果等をそのまま表示するのが一般的である。図１６に、従来の設計検証システムの表示内容の一例を示す。図１６は、レジスタ転送レベル（ＲＴＬ）記述で表現されるＬＳＩやＬＳＩ内部の機能ブロックに対し、テストパターン（検証パターン）がどの程度のＲＴＬコードカバレッジを達成しているかを機能シミュレーションにより実施した検証結果である。図１６に示すように、実行可能なＲＴＬ記述の各ステートメント（行）が実行された割合を示すための”ステートメントカバレッジ”の欄、実行可能な分岐文の真・偽が実行された割合を示すための”ブランチカバレッジ”の欄、ＲＴＬ記述の接続配線が１及び０の値をとった割合を示すための”トグルカバレッジ”の欄が表示されている。また、モジュール（対象とするＬＳＩ内部の機能ブロック）全体の結果を示すための”トータル”の欄と、モジュールを構成する幾つかの子モジュールの結果を示すための”Ａｂｃｄ”等の欄が表示されている。図１６の”トータル”−”ステートメントカバレッジ”欄の上段の値（９５．７％）は、対象とするＬＳＩのステートメントカバレッジの値を示し、分数表示の分母の値（１２８６）  は対象とするＬＳＩの機能ブロックのＲＴＬ記述内の全ステートメント数を示し、分数表示の分子の値（１２３１）  は、テストパターンによって活性化されたステートメント数を示し、括弧内の値（５５）は、テストパターンによって活性化されなかったステートメント数を示している。
【０００４】
この例で示すように、通常、新規開発のＬＳＩで設計検証を行った場合、ステートメントカバレッジやブランチカバレッジ等が最初から１００％になることは希である。このため、設計者が未活性箇所を逐一確認し、検証不足の場合にはテストパターンを追加して再度機能シミュレーションを実行する。このような追加検証を所定の基準を満足するまで実施し、その検証結果を設計検証システムに登録、検証確認のために使用したり、第三者に対して閲覧可能な状態にする。
【０００５】
【発明が解決しようとする課題】
しかし、実際には機能シミュレータ（または機能シュミレータにソフト的にＬｉｎｋされる専用算出ソフト）によるシミュレーションで得られる結果だけでは所定のカバレッジ基準を達成できない場合がしばしば起こり得る。その主な理由として、
１）冗長なＲＴＬ記述が混在している。例えば、論理合成ツールからの要求による特有の冗長な記述、仕様上の冗長な記述等が混在している。
【０００６】
２）開発中の製品固有の理由により冗長なＲＴＬ記述となっている。例えば、後で必要となる可能性を見込んで冗長な記述をしている、または、将来の拡張を考慮して冗長な記述を採用したが開発中の製品では利用しない，一部の機能ブロックを他から流用してきたが利用しない機能に関する記述がある等。
【０００７】
３）ＲＴＬ設計者がＲＴＬ記述の見やすさ（読みやすさ）のため、冗長なフリップフロップ（０または１のいずれかしか設定されないフリップフロップ）等を設ける場合がある。
勿論、作成した機能検証パターンの品質が不十分で本来活性化（検証）すべきＲＴＬコードが未活性となっている（特に開発中の製品の場合）こともあり、解析の結果、この場合に該当していることが判明した場合、それを解析結果として残せるようにしても良い。これは、解析が実際に行われたかどうかを正しく記録するという点で望ましい。
【０００８】
従って、真の結果は、機能シミュレーションに伴って得られる結果を解析し、上述したような冗長な記述に関する未活性箇所を除外したものである。機能シミュレーション時に得られた結果をそのまま登録、表示しただけでは、真の結果について知ることができないという大きな問題があった。このような問題を解決するため、別途解析結果をコメントとして記入し、ドキュメント化することが行われていた。その場合、上記の様な内容の区別まで行うことはまれであった。しかしながら、一つのシステムとして一覧としての結果表示に解析前と解析後の結果がフィードバックされるようになっているものや、また、解析前と解析後の区別を明確に表示するものはなかった。このように、従来はこうした機能シミュレーションに伴って得られる生のカバレッジ結果と真の結果、及び検証解析の経緯を効果的に表示する設計検証システムはなく、機能シミュレーションに伴って得られる生のカバレッジ結果に対しどのような解析が行われて真の結果が結論されたかという経緯を知ることができなかった。これは、特にＬＳＩやＬＳＩ内部の機能ブロックを再利用しようとする場合に大きな問題となる。上述したように、ＬＳＩの開発においては、将来の仕様拡張を考慮して現に設計している製品の一部の機能ブロックに冗長な機能を盛り込む場合が少なからずあり、開発期間、リソースの現実的な制約や、開発中の製品用の検証環境では検証できないという理由から検証を省略することがある。また、既に設計された機能ブロックを流用する場合も多いが、この機能ブロックの一部の機能が同じ理由によってまだ検証されていない場合や、流用した機能ブロックの検証済み機能の一部を利用しない場合もある。従来の設計検証システムでは、こうした製品固有の理由による未活性（未検証）機能については、解析の結果一律に冗長なものとして処理してしまうことになるため、ＬＳＩ又はＬＳＩの一部の機能ブロックを再利用しようとする設計者が、必要とする部分が確実に検証、テストされているか確認することができなかった。この結果、再利用時の情報不足という問題から、再利用製品での検証抜けを誘発する可能性が高くなるという問題があった。
【０００９】
本発明は上記問題に鑑みてなされたもので、機能シミュレータ（または機能シミュレータにソフト的にＬｉｎｋされる専用算出ソフト）による機能シミュレーションに伴って得られるコードカバレッジ結果データを表示すると共に、設計者による解析情報の入力可能で、その情報に基づきコードカバレッジ結果データを解析処理した解析処理結果を同一の画面上に表示でき、解析結果の妥当性を設計者以外の許可された人間が十分確認できる設計検証システム、設計検証方法及び設計検証プログラムを提供することを目的とする。
【００１０】
【課題を解決するための手段】
上記目的を達成するために、本発明の第１の特徴は、（イ）シミュレーション結果データを取得するシミュレーション結果データ取得部、（ロ）シミュレーション結果データを解析前表示ファイルに変換するデータ変換部、（ハ）解析前表示ファイルを記憶した表示ファイル記憶装置、（ニ）シミュレーション結果データを解析するための解析情報を取得する解析情報取得部、（ホ）解析情報に基づいて、シミュレーション結果データの解析処理を行い、解析後表示ファイルとして出力する解析情報処理部、（ヘ）解析後表示ファイルを登録した表示ファイル記憶装置、（ト）解析前表示ファイルと解析後表示ファイルとを同一画面上に表示するデータ表示部を備える設計検証システムを提供することである。本発明の第１の特徴において、品質の基準等の基準データを取得する基準データ取得部と、基準データを記憶した基準データ記憶装置を更に備えるとよい。さらに、データ表示部は、基準データに基づいて解析後表示ファイルの基準未達成の項目を他の項目と区別して表示することが望ましい。また更に、シミュレーション結果データは、コードカバレッジ情報を含む機能シミュレーション（または機能シミュレーションに伴って起動される専用ソフトによる）結果データ又は故障検出率を含む故障シミュレーション結果データであることが望ましい。
【００１１】
本発明の第１の特徴によれば、機能シミュレーションに伴って得られるＲＴＬコードカバレッジの結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を同一の画面上に表示でき、解析結果の妥当性を十分確認することが可能となる。
【００１２】
本発明の第２の特徴は、（イ）シミュレーション結果データを取得するステップと、（ロ）シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップ、（ハ）シミュレーション結果データを解析するための解析情報を取得するステップ、（ニ）解析情報に基づいて、シミュレーション結果データの解析処理を行うステップ、（ホ）シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップ、（ヘ）解析前表示ファイルと解析後表示ファイルとを同一画面上に表示する（解析後表示ファイルを解析前表示ファイルに解析結果を追加して構成する場合は解析後表示ファイルを表示する）ステップを有する設計検証結果処理方法を提供することである。本発明の第１の特徴において、シミュレーション結果データは、ＲＴＬコードカバレッジ情報を含む機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データ又は故障検出率を含む故障シミュレーション結果データであることが望ましい。
【００１３】
本発明の第２の特徴によれば、機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を同一の画面上に表示でき、解析結果の妥当性を十分確認することが可能となる。
【００１４】
本発明の第３の特徴は、設計検証システムに、（イ）ＲＴＬコードカバレッジ情報を含む機能シミュレーション結果データ又は故障検出率を含む故障シミュレーション結果データを取得するステップ、（ロ）機能シミュレーション結果データ又は故障シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップ、（ハ）機能シミュレーション結果データ又は故障シミュレーション結果データを解析するための解析情報を取得するステップ、（ニ）解析情報に基づいて、機能シミュレーション結果データ又は故障シミュレーション結果データの解析処理を行うステップ、（ホ）機能シミュレーション結果データ又は故障シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップ、（ヘ）解析前表示ファイルと解析後表示ファイルとを、または、これらのファイルと同等な内容を持ったファイルを同一画面上に表示するステップを実行させるための効率的な結果解析および登録、および、解析内容の詳細な表示により解析内容の誤りと機能ブロック流用時の検証漏れの危険を有効に低下させるプログラムを提供することである。
【００１５】
本発明の第３の特徴によれば、機能シミュレーション（に伴うＲＴＬコードカバレッジ評価）結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を同一の画面上に表示可能とする設計検証システムを制御することができる。
【００１６】
【発明の実施の形態】
次に、図面を参照して、本発明の実施の形態を説明する。以下の図面の記載において、同一又は類似の部分は同一又は類似の符号を付している。ただし、図面は模式的なものであり、各寸法の比率等は現実のものとは異なることに留意すべきである。従って、具体的な寸法等は以下の説明を参酌して判断すべきものである。また図面相互間においても互いの寸法の関係や比率が異なる部分が含まれていることは勿論である。
【００１７】
（第１の実施の形態）
本発明の第１の実施の形態に係る設計検証システム１００（後述）を構成する設計検証主要サブシステム１は、図１に示すように、コードカバレッジに関する情報を表示可能とし、検証評価中における解析状況を的確に把握できるように、演算処理部（ＣＰＵ）２、ＣＰＵ２に接続された表示装置３、入力装置４、出力装置５、主記憶装置６、（解析前／解析後）表示ファイル記憶装置７、２次記憶装置８から構成されている。ＣＰＵ２は、シミュレーション結果データ取得部１０、データ変換・登録部１１、解析情報取得部１２、解析情報処理部１３、データ表示部１４を備えている。表示装置３は、モニタなどの画面を指し、ＣＲＴ、液晶表示装置（ＬＣＤ）、発光ダイオード（ＬＥＤ）パネル、エレクトロルミネッセンス（ＥＬ）パネル等が使用可能である。入力装置４は、キーボード、マウス、ボイスデバイス、ＣＤ−ＲＯＭ、磁気テープ等の「記録媒体」の読取り装置、コンピュータネットワークへの接続デバイス、インターネットへの接続デバイス等から構成される。入力装置４から入力操作が行われると対応する情報（データ）がＣＰＵ２に伝達される。出力装置５は、インクジェットプリンタ、レーザープリンタ、コンピュータネットワークへの接続デバイス、インターネットへの接続デバイスなどにより構成される。主記憶装置６は、入力データ、シミュレーション結果データ、プログラムデータ等の各種データを格納するための装置であり、ＲＯＭ及びＲＡＭが組み込まれている。ＲＯＭはＣＰＵ２において実行される設計検証システムを制御するための設計検証プログラムを格納しているプログラムメモリ等として機能し、ＲＡＭはＣＰＵ２におけるプログラム実行処理中に利用されるデータ等を格納したり、作業領域として利用されるデータメモリ等として機能する。勿論、前記設計検証プログラムはＲＡＭに格納されて実行される構成になっていても良い。（解析前／解析後）表示ファイル記憶装置７は、機能シミュレーション結果データを編集処理した解析前表示ファイル、および（または）、解析処理結果を編集処理した解析後表示ファイルを保存している。２次記憶装置８は、ハードディスク装置のような磁気記憶装置等で構成され、入力装置４から入力された前記設計検証プログラム等のプログラムやデータ等が格納されたり、プログラムの処理結果が格納されるようになっている。２次記憶装置８は（解析前／解析後）表示ファイル記憶装置７を含んでいても良い。
【００１８】
第１の実施の形態に係る設計検証主要サブシステム１のＣＰＵ２に内蔵されたシミュレーション結果データ取得部１０は、ユーザからの登録要求に応じて、入力装置４からシミュレーション結果データ、即ち、例えばＲＴＬコードカバレッジ情報等の機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データを取得する。ＣＰＵ２にて機能シミュレーション等を実行可能な場合、この結果データは２次記憶装置８に格納されるので、そこから取得すれば良い。データ変換・登録部１１は、シミュレーション結果データ取得部１０により得られたシミュレーション結果データを表示装置３に表示するために必要な編集処理をすると共に、その編集処理結果を解析前表示ファイルとして（解析前／解析後）表示ファイル記憶装置７に登録する。解析情報取得部１２は、ユーザからの解析情報入力要求に応じて解析情報等を入力装置４から取得する。解析情報処理部１３は、解析情報取得部１２により得られた解析情報に基づいて、シミュレーション結果データの解析処理を行う。また、解析情報処理部１３は、シミュレーション結果データの解析処理結果を表示装置３に表示するために必要な編集処理をすると共に、その編集処理結果を解析後表示ファイルとして（解析前／解析後）表示ファイル記憶装置７に登録する。解析後表示ファイルは、解析前表示ファイルと異なっていても良いし、解析前表示ファイルの所定の箇所に解析情報が追加されたものでも良い。また、データ変換・登録部１１と解析情報処理部１３は、処理内容が類似する部分が多いため、特に解析前後で同じｆｏｒｍａｔの表示ファイルを利用する場合、両者を一つにまとめ、例えばデータ処理部（データ変換・登録・解析情報処理を実施）としても良い。
【００１９】
次に、図２を参照して、本発明の第１の実施の形態に係る設計検証主要サブシステム１の動作を説明する。
【００２０】
（イ）ステップＳ１１において、ユーザからの登録要求に応じて図１におけるシミュレーション結果データ取得部１０が入力装置４または２次記憶装置８からシミュレーション結果データ、即ち、例えばＲＴＬコードカバレッジ情報等の機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データを取得する。次に、図２のステップＳ１２において、図１におけるデータ変換・登録部１１は、シミュレーション結果データ取得部１０により得られたシミュレーション結果データを表示装置３に表示するための編集処理を行い、その編集処理結果を解析前表示ファイルとして（解析前／解析後）表示ファイル記憶装置７に登録する。
【００２１】
（ロ）一方、図２のステップＳ１３において、図１における解析情報取得部１２は、ユーザからの解析情報入力要求に応じて入力装置４を介して入力された解析情報を取得する。ここで、解析情報の入力は、機能又は論理的な冗長という理由により除外した場合と、現に設計中の製品での固有な理由により冗長と判断して除外した場合と、設計者がＲＴＬ記述の見やすさを優先して冗長にしているという理由により除外した場合とを区別できるようにする。さらに、解析が確実に実施されたか確認できるという意味からも、検証パターンが不十分という理由も解析結果として入力できるようにしておくことが望ましい。なお、解析情報の入力方式としては、予め具体的な解析情報として構成されたファイル等を入力してもよいが、ユーザが要解析箇所、例えば未活性なＲＴＬ記述部分が空白になった表示ファイル等を登録時または登録後に閲覧し、ユーザが解析を実施してその空白を埋めていく形で入力してもよい。
【００２２】
（ハ）次に、図２のステップＳ１４において、図１における解析情報処理部１３は、解析情報取得部１２により得られた解析情報に基づいて、シミュレーション結果データ、即ち、例えばＲＴＬコードカバレッジ情報等の機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データへの解析（結果）情報の付加（解析処理）を行う。次に、図２のステップＳ１５において、図１における解析情報処理部１３は、シミュレーション結果データの解析処理結果を表示装置３に表示するために必要な編集処理を行い、その編集処理結果を解析後表示ファイルとして（解析前／解析後）表示ファイル記憶装置７に登録する。なお、表示ファイルは、データ表示部１４において殆ど処理を加えないで良いような最終的な形態（フォーマット）のものでも良いし、または、シミュレーション結果データをベースに、解析情報を適宜追加できるようにした中間的な形態のものでも良い。後者の場合は、データ表示部１４が、最終的な表示のための形態への変換処理も行うことになる。いずれにしても、本発明の趣旨を最適に実施するため、いろいろな構成の仕方が存在する。
【００２３】
（ニ）図２のステップＳ１６において、図１におけるデータ表示部１４は、ステップＳ１２、Ｓ１５で編集処理された解析前表示ファイルと解析後表示ファイルを表示装置３に表示する。
【００２４】
図３に、本発明の第１の実施の形態に係る設計検証システム１００を示す。このシステムは全体としてインターネットにより相互に接続されてなるシステムとなっており、図１において説明した設計検証主要サブシステム１は、インターネットの面からは、Ｗｅｂサーバ５０として機能する。Ｗｅｂサーバ５０には、インターネットを経由して複数のクライアント（パーソナルコンピュータ（ＰＣ）やエンジニアリングワークステーション（ＥＷＳ）等）１０１、１０２、１０３、１０４、・・・が接続可能である。この図では、クライアント１０１は、別途属しているコンピュータネットワークに接続されたコンピュータ上で機能シュミレータ２０に接続されており、機能シミュレーションを実行する構成になっており（クライアント１０１自身で実行可能な場合もある）、その結果データ（ここでは機能シミュレーションに伴って得られるコードカバレッジ）を自身で管理している２次記憶装置に格納する。なお、機能シュミレータ２０は、ソフトウェアであることも多く、この場合、図の接続はクライアント１０１が機能シュミレータ２０を実行可能であることを概念的に表示したものということになる。さて、上記結果データを、インターネット接続デバイス経由にてＷｅｂサーバ５０に送付すると、Ｗｅｂサーバ５０の入力装置（インターネット接続デバイス）からデータが入力され、図１におけるシミュレーション結果データ取得部１０に送られる。図３のＷｅｂサーバ５０は、前述の処理フローに従って、解析前表示ファイルを作成し、図１における（解析前／解析後）表示ファイル記憶装置７に格納する。こうしてシミュレーション結果データの登録が行われる。図３のＷｅｂサーバ５０およびクライアント１０１を含めたクライアントからは、この設計検証システム１００全体の管理者から読出し許可を受けているメンバは、インターネットを経由してＷｅｂサーバ５０に対しユーザ名とパスワードを入力してデータ閲覧要求を行い、図１における（解析前／解析後）表示ファイル記憶装置７内のファイルを閲覧する（実際には、インターネットのプロトコルに従って利用中のクライアント内にファイルをコピーしている）ことができ、さらに、書き換えを許可されたメンバは、その結果に対し、解析情報を追加して解析後の表示ファイルを作成し、インターネット経由で図３のＷｅｂサーバ５０にその結果を転送し、前述の処理フローに従ってＷｅｂサーバ５０内の図１における（解析前／解析後）表示ファイル記憶装置７にその解析後の表示ファイルを格納することができる。この結果は、許可を受けたメンバが読むことが可能である。これにより、複数のメンバが並行してシミュレーション結果データ（ＲＴＬコードカバレッジ）の解析、判断結果を入力していくことが可能となり、また、その結果を同時に閲覧し、チェックすることができ、検証効率の向上と品質向上が同時に実現されることになる。（勿論、複数のメンバが同時にデータを書き換えようとした場合の問題等が生じることがあるが、こうした問題への対処法は格別困難なものではなく、本発明の範疇外でもあり、特に言及しない。）なお、以上のようなネットワークシステムは、インターネットだけでなく、よりローカルなコンピュータネットワークでも構築可能である。
【００２５】
次に、図４〜図８を参照して、図１の表示装置３上の具体的な表示例について説明する。まず、表示装置３に表示されるトップページには登録又は閲覧のいずれかを選択するボタンが表示されており、ここで閲覧が選択されると、図４に示すように、登録済みの”製品名”が”登録日”と共に表示される。図４において、例えば、製品”ａａａａａ”が選択されると、図５に示すように、その製品”ａａａａａ”の品質ランク、ＲＴＬコードカバレッジ評価ツールのバージョン情報、使用された機能シミュレータ（ＲＴＬシミュレータ）名等や”関連情報”のボタンが表示される。図５において、”関連情報”が選択されると、図６に示すように、製品名、製品のバージョン情報、登録者情報等や使用した”テストパターン”（バージョン情報が記載されることもある）のボタンが表示される。そして、図６において、”テストパターン”が選択されると、テストパターン名と検証内容を詳細に記載したリストが表示される（図面省略）。さて、図４において製品”ａａａａａ”を選択すると、図５と共に（図５と同じページ上に）、図７に示すように、ＲＴＬコードカバレッジやテストカバレッジ等のシミュレーション結果と、その解析処理結果、例えば冗長な未検出箇所を除外した解析情報入力結果が隣接して表示される。図７の”解析結果”欄下段の（ｘ＋ｙ＋ｚ／Ｎ）において、”ｘ”は今回の製品において使用していない機能または検証を省略した機能（テスト機能を含む）のため、未活性箇所から除外した数を表す。”ｙ”は、論理合成対応のデフォルト（ｄｅｆａｕｌｔ）文や、仕様上の理由から冗長なＲＴＬ記述（ＲＴＬコード）等の数を表す。”ｚ”は、設計者が意図的に設けたＲＴＬ記述（ＲＴＬコード）等の数を表す。また、”Ｎ”は解析前の機能シミュレーション結果における未活性箇所の数を表している。このように、図７に示すような表示を閲覧するユーザは、目的に応じて注意してチェックすべき箇所が容易に把握できる。この場合、特に”ｘ”が重要であり、閲覧者の注意を喚起するために、”ｘ”だけ他のデータと別の文字色等にしても良い。また、この部分を見ることにより、どの程度まで解析が実施されているかも把握することができる。すなわち、全体Ｎ個の解析対象箇所に対し、（ｘ＋ｙ＋ｚ）個は解析終了しており、最大で（Ｎ−（ｘ＋ｙ＋ｚ））個が未解析箇所または解析したが未活性理由が不明な箇所として残っていると把握することができる。この未解析箇所等の数を表示するようにしても良い。但し、より正確には、（Ｎ−（ｘ＋ｙ＋ｚ））個の中には、解析の結果、除外できない（即ち、検証パターン不足等の理由により未活性）と判定されたものも含まれる場合がある。そこで、例えば解析した結果検証パターン不足により未活性と判定された数をｗ個として、”（ｘ＋ｙ＋ｚ，ｗ）”のように表示すると、Ｎ−（ｘ＋ｙ＋ｚ＋ｗ）個は、解析したが未活性理由が不明な箇所の数と未活性箇所の数の和に等しくなる。（未解析箇所は、本発明の実際の運用時は、少なくとも解析担当者以外のユーザが閲覧する段階では（殆ど）存在しないことが望ましい。）さらに、図７において、”（ｘ＋ｙ＋ｚ／Ｎ）”が選択されると、図８に示すように、解析した結果を確認することができる（この図の場合、図７の表示は”（ｘ＋ｙ＋ｚ／Ｎ）”の代わりに”（ｘ＋ｙ＋ｚ，Ｗ）”としても良い）。各項目には該当するＲＴＬ記述と前述の３種類の冗長記述（除外できるもの）のいずれに属するかを指定する欄と、前述の検証パターン不足による未活性（除外できないもの）かを指定する欄、及び詳細な内容を自由記述する欄が設けてある。さらに、解析の結果、いずれにも判定できない（除外できない）場合を指定する欄も設けてあるが、チェックを入れずに自由記述だけで済ませるようにすることもできる。この図８の表示により、ユーザは最終結果に至った経緯を詳細かつ明確に把握することが可能となる。
【００２６】
本発明の第１の実施の形態に係る設計検証システム１００によれば、シミュレーション結果データ、即ち、例えばＲＴＬコードカバレッジ等の機能シミュレーションに伴って得られる結果等を表示すると共に、複数のユーザによって解析を行うことができ、入力した解析情報に基づいてシミュレーション結果データを解析処理した解析処理結果を同一の画面上に表示でき、これをより多くのユーザが閲覧でき解析結果の妥当性を十分確認することが可能となる。
【００２７】
（第２の実施の形態）
本発明の第２の実施の形態に係る設計検証システム１００を構成する設計検証主要サブシステム１は、品質の基準等が変化していく可能性を考慮したものであり、登録されたデータを異なる基準により評価できるようにしたものである。
【００２８】
本発明の第２の実施の形態に係る設計検証主要サブシステム１は、図９に示すように、演算処理部（ＣＰＵ）２、ＣＰＵ２に接続された表示装置３、入力装置４、出力装置５、主記憶装置６、（解析前／解析後）表示ファイル記憶装置７、２次記憶装置８、基準データ記憶装置９から構成されている。ＣＰＵ２は、シミュレーション結果データ取得部１０、データ変換・登録部１１、解析情報取得部１２、解析情報処理部１３、データ表示部１４、基準データ取得部１５を備えている。図１の第１の実施の形態に係る設計検証主要サブシステム１と比較すれば、図９の設計検証主要サブシステム１は、第１の実施の形態に係る設計検証主要サブシステム１が備える構成の他に、基準データ記憶装置９を備えていることとなる。さらに、図１の設計検証主要サブシステム１のＣＰＵ２が備える構成の他に、基準データ取得部１５を備えていることとなる。シミュレーション結果データ取得部１０、データ変換・登録部１１、解析情報取得部１２、解析情報処理部１３、データ表示部１４については、第１の実施の形態で説明したのでここでは省略する。基準データ取得部１５は、ユーザが入力する品質の基準等の基準データを取得する。基準データ記憶装置９は基準データ取得部１５により取得された基準データを保存している。
【００２９】
次に、本発明の第２の実施の形態に係る設計検証主要サブシステム１の動作を説明する。まず、ユーザが最新の基準等の基準データを入力装置４を介して設計検証主要サブシステム１に対して入力する。基準データ取得部１５は、権限を持ったユーザが入力した基準データを取得し、基準データ記憶装置９に登録する。データ表示部１４は、シミュレーション結果データを解析処理した解析処理結果が、基準データ記憶装置９に登録されている基準データに対して未達成の項目については、例えば、異なる文字色等により他と区別して表示する。デフォルトでの表示は、基準データ記憶装置９に登録された最新の基準データに沿ったものとなる。登録・解析されたデータを閲覧するユーザは過去の基準データによる表示を見たい場合には、基準データ記憶装置９に登録された基準データから指定すれば表示することも可能である。
【００３０】
上述のような設計検証主要サブシステム１を含み、前記第１の実施の形態と同様なネットワークで構成された本発明の第２の実施の形態に係る設計検証システム１００によれば、一般のユーザは登録されたデータを異なる基準により評価することが可能となる。
【００３１】
（第３の実施の形態）
本発明の第３の実施の形態に係る設計検証システム１００は、ＬＳＩやＬＳＩ内部の機能ブロックの再利用を前提としている。再利用しなくてもＲＴＬコードカバレッジ情報等を評価した結果、その一部が不十分であることが判明し、後にテストパターン追加して再度ＲＴＬコードカバレッジ等の評価を実施する場合がある。このような場合、ＬＳＩやＬＳＩ内部の機能ブロックが数回再利用されるかまたは１回以上テストパターン追加によるＲＴＬコードカバレッジ評価・解析が実施されることにより、未活性又は未検証箇所が徐々に減少していき、所定の基準を達成する場合が考えられる。そこで、本発明の第３の実施の形態に係る設計検証システム１００は、例えば同じＬＳＩやＬＳＩ内部の機能ブロックに対する機能シミュレーションに伴って得られるＲＴＬコードカバレッジ等の結果について更新がなされた場合（登録者が同じ）や複数の登録がなされた場合（登録者が異なる）、それぞれの機能シミュレーション（に伴って得られる）結果データ及びその解析処理結果を統合して表示することが可能である。
【００３２】
本発明の第３の実施の形態に係る設計検証システム１００の設計検証主要サブシステム１の構成の一部を図１０、図１１に示す。図１０に示す第３の実施の形態に係る設計検証主要サブシステム１は、例えば同じＬＳＩやＬＳＩ内部の機能ブロックに対するシミュレーション結果データ、即ち、例えば機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフト）によるＲＴＬコードカバレッジ等の結果について更新がなされた場合に対応するため、第１，第２の実施の形態に係る図１又は図９におけるデータ変換・登録部１１と解析情報処理部１３が図１０ではデータ処理部１１３として統合される。データ処理部１１３は、データ変換・登録部１１と解析情報処理部１３の機能に加え、登録・解析済みの解析後表示ファイル２２と更新用表示ファイル２３（解析前）とを入力され、双方を比較し、基本的にいずれにおいても未活性な箇所を未活性な箇所とした統合表示ファイル２４を出力する機能を持つ。なお、シミュレーション結果、データ取得部は、ユーザが入力しようとするデータが「新規登録」か「更新」か区別して入力するようになっている。更新用表示ファイル２３は、少なくとも追加テストパターンを含むテストパターンでのシミュレーション結果データを変換・登録したファイルである。データ処理部１１３は、登録済みの解析後表示ファイル２２では未活性であり追加テストパターンで活性化された部分については従来の解析結果を消去又は参照用としてのみ利用できるようにして、統合表示ファイル２４を作成して図１又は図９における（解析前／解析後）表示ファイル記憶装置７に登録する。同じＬＳＩやＬＳＩ内部の機能ブロックの登録結果を流用しようとする場合、更新時のデータの方が、未活性部分が多い可能性もある。こうした場合、そのような項目部分については、登録済みの解析処理結果を参考として表示し、検証担当者が登録時の解析処理結果を受け入れるかどうか判断できるようにしておけばよい。なお、解析前表示ファイルが（解析前／解析後）表示ファイル記憶装置７に登録されている場合は、更新といっても単にテストパターン追加後の機能シミュレーション結果を上書き登録するだけでよい。なお、本実施の形態の拡張として、対象とするＬＳＩまたはＬＳＩ内部の機能ブロックのＲＴＬ記述がわずかに変更されるような場合にも適用可能である。実際のＬＳＩの設計においては、わずかにＲＴＬ記述を変更する場合が少なからずあり、検証・未活性箇所の解析の効率化のためには、ＲＴＬ記述変更がなく、解析済みの未活性箇所の解析情報が再利用可能になっていることが重要である。この場合、シミュレーション結果データ取得部１０は、シミュレーション結果データの一部として、対象とするＬＳＩまたはＬＳＩ内部の機能ブロックのＲＴＬ記述も取得するようになっており、図１０のデータ処理部１１３は、変更前のＲＴＬ記述と変更後のＲＴＬ記述を比較し、変更のなかった部分にあった未活性箇所は、既に図１又は図９における（解析前／解析後）表示ファイル記憶装置７に格納されている解析後表示ファイルの内容を変更後の表示ファイル（更新用表示ファイル）にコピーし、変更のあった部分については解析前の状態として、変更後の表示ファイル（解析前）を作成し、（解析前／解析後）表示ファイル記憶装置７に格納する。これにより、ＲＴＬ記述にある程度の変更が生じた場合でも、既に実施された未活性箇所の解析結果を活用することができることとなり、設計検証が効率化されるという効果が得られることとなる。なお、簡便な方法としては、ユーザが変更を行ったＲＴＬ記述について小規模なモジュール単位でモジュール名を入力し、図１０のデータ処理部１１３がその情報に基づいて上記と同様な手順で変更後の表示ファイル（解析前）を作成するということも可能である。図１１に示す第３の実施の形態に係る設計検証システム１００の設計検証主要サブシステム１は、例えば同じＬＳＩやＬＳＩ内部の機能ブロックに対して複数のシミュレーション結果データが存在し、複数の登録・解析がなされた場合に対応するため、複数の解析後表示ファイル２２ａ，  ２２ｂ，  ２２ｃが、データ処理部１１３に入力され、データ処理部１１３は、これらの解析後表示ファイルを統合し、統合表示ファイル２４に変換して図１又は図９における（解析前／解析後）表示ファイル記憶装置７に登録する。この統合表示ファイルを閲覧することにより、複数の登録がなされた解析後表示ファイルを併せた品質達成状況を容易に知ることが可能となる。
【００３３】
本発明の第３の実施の形態に係る設計検証システム１００によれば、同じＬＳＩやＬＳＩ内部の機能ブロックに対するシミュレーション結果データについて更新がなされた場合や複数の登録がなされた場合、それぞれのシミュレーション結果データ及びその解析処理結果を統合して表示することが可能となり、権限のある複数のユーザがその内容を閲覧・チェックすることが可能となる。
【００３４】
（第４の実施の形態）
本発明の第４の実施の形態に係る設計検証システム１００は、基本的な設計検証主要サブシステム１の構成は上述した第１の実施の形態と同様（図１参照）であるが、品質データとしてＲＴＬコードカバレッジのデータに加え、故障検出率のデータを登録、閲覧することが可能である。第４の実施の形態に係る設計検証システム１００は、図１２に示すように、機能シミュレータ２０がクライアント１０１、１０２から実行できるように接続されており、故障シミュレータ２１がクライアント１０３から実行できるように接続されている。これら機能シミュレータ２０及び故障シミュレータ２１がソフトウェアである場合は、概念的な接続を示すものであることは、第１の実施の形態の場合と同様である。第４の実施の形態に係る設計検証主要サブシステム１（図１参照）において、ＣＰＵ２のデータ変換・登録部１１は、機能シミュレータ２０またはこれに伴って動作する専用ソフトにより得られるＲＴＬコードカバレッジ等の機能シミュレーション結果データと、故障シミュレータ２１により得られる故障検出率等の故障シミュレーション結果データの２種類に対応して表示装置３に表示するために必要なデータ変換を行い、その結果を（解析前／解析後）表示ファイル記憶装置７に登録する。故障検出率は、故障シミュレータ２１やＡＴＰＧ（Ａｕｔｏｍａｔｉｃ  Ｔｅｓｔ  Ｐａｔｔｅｒｎ  Ｇｅｎｅｒａｔｉｏｎ）ツール等によって得られるデータである。一般によく使用されるのはＬＳＩ内部の接続配線ノード又はＬＳＩの入出力端子を含めた内部の基本セルの入出力端子が０または１に固定される０縮退故障、１縮退故障をどれだけ検出できたかというデータである。
【００３５】
次に、図１３、図１４を参照して、図１における表示装置３上の具体的な表示例について説明する。図１３は、第１の実施の形態で説明した図７の表示に加えて、故障検出率（フォルトカバレッジ）を表示した図である。図１３に示すように、故障シミュレーション結果とその解析処理結果が隣接して表示される。故障シミュレーション結果の表示欄（フォルトカバレッジ）では、”ｘ＋ｙ／Ｎ”が用いられる。”Ｎ”は、解析前の故障シミュレーション結果における未検知故障の数を表し、”ｘ”は、今回の製品において使用していない機能にのみ関わる故障のため、未検出故障から除外した数を表す。”ｙ”は、論理的に冗長な故障のため、除外した数を表す。この結果を閲覧するユーザにとって”ｘ”が最も重要なのは、第１の実施の形態の場合と同様である。なお、解析結果の入力方法については、第１の実施の形態と同様であるので、ここでは省略する。図１４は、第１の実施の形態で説明した図８の表示と比べて、解析結果の欄が上述した”ｘ＋ｙ／Ｎ”に応じて異なっており、また、上述した０縮退故障と１縮退故障の２種類の故障を表示している点が異なる。解析結果の欄の”除外不可”の欄は、”テストパターン不足のため除外不可”、”解析困難のため除外不可”の２欄に分けるようにしても良い。図１４において、０縮退故障と１縮退故障はそれぞれ”ｓａ０”（ｓｔｕｃｋ−ａｔ−０）、”ｓａ１”（ｓｔｕｃｋ−ａｔ−１）と表示される。また、故障が存在しているノード又は端子を示す欄が設けられている。なお、故障検出率等の故障シミュレーション結果データの登録に関しては、このデータがＬＳＩの製造環境と関係があるため、レイアウト情報や最新の製造データ、例えば、製造工場（クリーンルーム名）、クリーンルーム清浄度（ダスト率）、ロット又はウェハ毎の歩留り等と関連づけて表示することにより豊富な情報を閲覧することが可能となる。また、図１５に示すように、各故障に対して適当なレイアウト要素、例えば、配線長、最小コンタクト数、またはそれらの適当な重み付けでの和等を重みとして付加して表示することも可能である。この場合、特に除外不可の故障について重みの順に降順（全体別あるいは機能ブロック別）で表示することも可能である。これにより設計者やテストパターン作成者が効率的に解析作業、テストパターン追加作業が実施できる。また、機能ブロック単位で重みの大きいものから順に表示する等の機能を付加することも可能である。
【００３６】
本発明の第４の実施の形態に係る設計検証システム１００によれば、品質データとしてコードカバレッジ情報に加え、故障検出率を登録、閲覧することが可能となる。
【００３７】
（設計検証プログラム）
次に、設計検証プログラムの実行命令の詳細について説明する。
【００３８】
設計検証プログラムは、
（イ）シミュレーション結果データ、即ち、例えばコードカバレッジ情報等の機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データ又は故障検出率等の故障シミュレーション結果データを取得するステップ；
（ロ）取得したシミュレーション結果データを表示装置に表示するための編集処理を行い、その編集処理結果を解析前表示ファイルとして表示ファイル記憶装置に登録するステップ；
（ハ）シミュレーション結果データを解析するための解析情報を取得するステップ；
（ニ）取得した解析情報に基づいて、シミュレーション結果データの解析処理を行うステップ；
（ホ）シミュレーション結果データの解析処理結果を表示装置に表示するために必要な編集処理を行い、その編集処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップ；
（ヘ）表示ファイル記憶装置に登録されている解析前表示ファイルと解析後表示ファイルを、または、これらのファイルと同等な内容を持つファイル、例えば後者を前者に対し解析結果を追加して構成する場合は後者（解析後表示ファイル）を表示装置に表示するステップ；
とから構成される。
【００３９】
以上のような設計検証プログラムは、コンピュータ読み取り可能な記録媒体に保存することができる。この記録媒体をコンピュータシステムによって読み込ませ、設計検証プログラムを実行してコンピュータを制御することにより、上述した設計検証システムを実現することができる。ここで、「記録媒体」とは、例えばコンピュータの外部メモリ装置、半導体メモリ、磁気ディスク、光ディスク、光磁気ディスク、磁気テープなどのプログラムを格納することができるような媒体を意味する。
【００４０】
（その他の実施の形態）
以上、コードカバレッジ情報、故障検出率等のデータに適用した設計検証システム１００を例にとって説明してきたが、本発明のその他の実施の形態として、他の類似の設計データに対しても容易に適用できる。例えば、設計したいＬＳＩが仕様を満たすクロック周波数で動作するかどうかを調べる静的タイミング解析において、最もディレイの大きいクリティカルパスのうち実際には活性化されないパスが混在している場合等に本発明の設計検証システム１００を利用することも可能である。従って、本発明の技術的範囲は上記の説明から妥当な特許請求の範囲に係る発明特定事項によってのみ定められるものである。
【００４１】
【発明の効果】
以上説明してきたように、本発明の設計検証システム、設計検証方法及び設計検証プログラムによれば、シミュレーション結果と真の結果、それに至る解析の経緯をすべて設計検証に関わる複数のメンバにより確実かつ効率的に確認することが可能となる。さらに、解析結果が登録されている製品に固有の理由によるものか否かまで確認できるため、シミュレーション結果の妥当性を必要十分なレベルで確認することが可能となる。したがって、特にＬＳＩまたはＬＳＩ内部の機能ブロックを他の製品の設計で再利用しようとする場合に、追加検証すべき機能ブロックを明確に把握することが可能となり、再利用時に起こりがちな検証抜けを未然に防ぐとともに再利用を促進できる。
【図面の簡単な説明】
【図１】本発明の第１の実施の形態に係る設計検証システムの設計検証主要サブシステムの構成を示す図である。
【図２】本発明の第１の実施の形態に係る設計検証システムの設計検証主要サブシステムの動作を説明するためのフローチャートである。
【図３】本発明の第１の実施の形態に係る設計検証システムの構成を示す図である。
【図４】本発明の第１の実施の形態に係る設計検証システムの表示画面の一例である（その１）。
【図５】本発明の第１の実施の形態に係る設計検証システムの表示画面の一例である（その２）。
【図６】本発明の第１の実施の形態に係る設計検証システムの表示画面の一例である（その３）。
【図７】本発明の第１の実施の形態に係る設計検証システムの表示画面の一例である（その４）。
【図８】本発明の第１の実施の形態に係る設計検証システムの表示画面の一例である（その５）。
【図９】本発明の第２の実施の形態に係る設計検証システムの設計検証主要サブシステムの構成を示す図である。
【図１０】本発明の第３の実施の形態に係る設計検証主要サブシステムの構成の一部を示す図である（その１）。
【図１１】本発明の第３の実施の形態に係る設計検証主要サブシステムの構成の一部を示す図である（その２）。
【図１２】本発明の第４の実施の形態に係る設計検証システムの構成を示す図である。
【図１３】本発明の第４の実施の形態に係る設計検証システムの表示画面の一例である（その１）。
【図１４】本発明の第４の実施の形態に係る設計検証システムの表示画面の一例である（その２）。
【図１５】本発明の第４の実施の形態に係る設計検証システムの表示画面の一例である（その３）。
【図１６】従来の設計検証システムの表示画面の一例である。
【符号の説明】
１…設計検証主要サブシステム
２…ＣＰＵ
３…表示装置
４…入力装置
５…出力装置
６…主記憶装置
７…（解析前／解析後）表示ファイル記憶装置
８…２次記憶装置
９…基準データ記憶装置
１０…シミュレーション結果データ取得部
１１…データ変換・登録部
１２…解析情報取得部
１３…解析情報処理部
１４…データ表示部
１５…基準データ取得部
２０…機能シミュレータ
２１…故障シミュレータ
２２…解析後表示ファイル
２２ａ，２２ｂ，２２ｃ…解析後表示ファイル
２３…更新用表示ファイル
２４…統合表示ファイル
５０…Ｗｅｂサーバ
１００…設計検証システム
１０１，１０２，１０３，１０４…クライアント
１１３…データ処理部
【図１】
2004240753.tif 000003
【図２】
2004240753.tif 000004
【図３】
2004240753.tif 000005
【図４】
2004240753.tif 000006
【図５】
2004240753.tif 000007
【図６】
2004240753.tif 000008
【図７】
2004240753.tif 000009
【図８】
2004240753.tif 000010
【図９】
2004240753.tif 000011
【図１０】
2004240753.tif 000012
【図１１】
2004240753.tif 000013
【図１２】
2004240753.tif 000014
【図１３】
2004240753.tif 000015
【図１４】
2004240753.tif 000016
【図１５】
2004240753.tif 000017
【図１６】
2004240753.tif 000018
【手続補正書】
【提出日】平成16年2月20日(2004.2.20)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
シミュレーション結果データを取得するシミュレーション結果データ取得部と、
前記シミュレーション結果データを解析前表示ファイルに変換するデータ変換・登録部と、
前記解析前表示ファイルを記憶する表示ファイル記憶装置と、
前記シミュレーション結果データを解析するための解析情報を取得する解析情報取得部と、
前記解析情報に基づいて、前記シミュレーションデータの解析処理を行い、解析後表示ファイルとして出力する解析情報処理部と、
前記解析後表示ファイルを登録する前記表示ファイル記憶装置と、
前記解析前表示ファイルと前記解析後表示ファイルとを画面上に表示するデータ表示部
とを備えることを特徴とする設計検証システム。
【請求項２】
シミュレーション結果データは、コンピュータネットワークまたはインターネットを経由して複数のユーザから入力可能であり、データ表示部は複数のユーザが閲覧可能であることを特徴とする請求項１に記載の設計検証システム。
【請求項３】
表示ファイル記憶装置に格納された登録・解析済みのシミュレーション結果データに対し、同一かまたはわずかに異なる製品または機能ブロックのシミュレーション結果データが入力された場合、変更のない部分の未活性箇所に対する前記登録・解析済みのシミュレーション結果データの解析結果を流用することを特徴とする、請求項１又は２に記載の設計検証システム。
【請求項４】
シミュレーション結果データを取得するステップと、
前記シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に入力するステップと、
前記シミュレーション結果データを解析するための解析情報を取得するステップと、
前記解析情報に基づいて、前記シミュレーション結果データの解析処理を促すステップと、
前記シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に入力するステップと、
前記解析前表示ファイルと前記解析後表示ファイルとを画面上に表示するステップ
とを有することを特徴とする設計検証方法。
【請求項５】
設計検証システムに、
シミュレーション結果データを取得するステップと、
前記シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップと、
前記シミュレーション結果データを解析するための解析情報を取得するステップと、
前記解析情報に基づいて、前記シミュレーション結果データの解析処理を行うステップと、
前記シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップと、
前記解析前表示ファイルと解析後表示ファイルとを画面上に表示するステップとを実行させることを特徴とする設計検証効率および品質向上プログラム。
【手続補正２】
【補正対象書類名】明細書
【補正対象項目名】００１０
【補正方法】変更
【補正の内容】
【００１０】
【課題を解決するための手段】
上記目的を達成するために、本発明の第１の特徴は、（イ）シミュレーション結果データを取得するシミュレーション結果データ取得部、（ロ）シミュレーション結果データを解析前表示ファイルに変換するデータ変換部、（ハ）解析前表示ファイルを記憶した表示ファイル記憶装置、（ニ）シミュレーション結果データを解析するための解析情報を取得する解析情報取得部、（ホ）解析情報に基づいて、シミュレーション結果データの解析処理を行い、解析後表示ファイルとして出力する解析情報処理部、（ヘ）解析後表示ファイルを登録した表示ファイル記憶装置、（ト）解析前表示ファイルと解析後表示ファイルとを画面上に表示するデータ表示部を備える設計検証システムを提供することである。本発明の第１の特徴において、品質の基準等の基準データを取得する基準データ取得部と、基準データを記憶した基準データ記憶装置を更に備えるとよい。さらに、データ表示部は、基準データに基づいて解析後表示ファイルの基準未達成の項目を他の項目と区別して表示することが望ましい。また更に、シミュレーション結果データは、コードカバレッジ情報を含む機能シミュレーション（または機能シミュレーションに伴って起動される専用ソフトによる）結果データ又は故障検出率を含む故障シミュレーション結果データであることが望ましい。


【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】００１１
【補正方法】変更
【補正の内容】
【００１１】
本発明の第１の特徴によれば、機能シミュレーションに伴って得られるRTLコードカバレッジの結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を画面上に表示でき、解析結果の妥当性を十分確認することが可能となる。


【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】００１２
【補正方法】変更
【補正の内容】
【００１２】
本発明の第２の特徴は、（イ）シミュレーション結果データを取得するステップと、（ロ）シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に入力するステップ、（ハ）シミュレーション結果データを解析するための解析情報を取得するステップ、（ニ）解析情報に基づいて、シミュレーション結果データの解析処理を促すステップ、（ホ）シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に入力するステップ、（ヘ）解析前表示ファイルと解析後表示ファイルとを画面上に表示する（解析後表示ファイルを解析前表示ファイルに解析結果を追加して構成する場合は解析後表示ファイルを表示する）ステップを有する設計検証結果処理方法を提供することである。本発明の第2の特徴において、シミュレーション結果データは、RTLコードカバレッジ情報を含む機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果データ又は故障検出率を含む故障シミュレーション結果データであることが望ましい。


【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】００１３
【補正方法】変更
【補正の内容】
【００１３】
本発明の第２の特徴によれば、機能シミュレーション（または機能シミュレーションに伴って動作する専用ソフトによる）結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を画面上に表示でき、解析結果の妥当性を十分確認することが可能となる。


【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】００１４
【補正方法】変更
【補正の内容】
【００１４】
本発明の第３の特徴は、設計検証システムに、（イ）RTLコードカバレッジ情報を含む機能シミュレーション結果データ又は故障検出率を含む故障シミュレーション結果データを取得するステップ、（ロ）機能シミュレーション結果データ又は故障シミュレーション結果データを解析前表示ファイルに変換して表示ファイル記憶装置に登録するステップ、（ハ）機能シミュレーション結果データ又は故障シミュレーション結果データを解析するための解析情報を取得するステップ、（ニ）解析情報に基づいて、機能シミュレーション結果データ又は故障シミュレーション結果データの解析処理を行うステップ、（ホ）機能シミュレーション結果データ又は故障シミュレーション結果データの解析処理結果を解析後表示ファイルとして表示ファイル記憶装置に登録するステップ、（ヘ）解析前表示ファイルと解析後表示ファイルとを、または、これらのファイルと同等な内容を持ったファイルを画面上に表示するステップを実行させるための効率的な結果解析および登録、および、解析内容の詳細な表示により解析内容の誤りと機能ブロック流用時の検証漏れの危険を有効に低下させるプログラムを提供することである。


【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】００１５
【補正方法】変更
【補正の内容】
【００１５】
本発明の第３の特徴によれば、機能シミュレーション（に伴うRTLコードカバレッジ評価）結果又は故障シミュレーション結果を表示すると共に、解析情報に基づいてそれらシミュレーション結果を解析処理した解析処理結果を画面上に表示可能とする設計検証システムを制御することができる。