(57)【要約】【課題】シミュレーション実施後に再シミュレーションが必要になった信号について、再シミュレーションに使用すべきテストパターンを容易かつ短時間で特定する。【解決手段】ネットリスト取得部１０１からのネットリストと、入力部１０５からのテストパターンを用いてシミュレーション実行部１０２１がシミュレーションを行い、情報付加部１０２２が、シミュレーション中に各信号が動作したパターンを各信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加して情報付加ネットリストとし、再シミュレーションが指示された場合に、テストパターン特定部１０６が情報付加ネットリストを参照し、テストパターン関連づけ情報に基づき、再シミュレーションが指示された信号に関連づけられたテストパターンを特定し、テストパターン特定部１０６が特定したテストパターンを用いてシミュレーション実行部１０２１が再シミュレーションを行う。【選択図】        図２
2005004605.tif 000002
【特許請求の範囲】
【請求項１】
論理合成により作成されるネットリストを取得するネットリスト取得部と、
ネットリストに含まれている少なくとも一つ以上の信号のそれぞれについて少なくとも一つ以上のテストパターンを用いて所定のシミュレーションを実行するシミュレーション実行部と、
前記シミュレーション実行部によるシミュレーションにおいてそれぞれの信号が動作したテストパターンをそれぞれの信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する情報付加部とを有することを特徴とするシミュレーション装置。
【請求項２】
前記シミュレーション装置は、更に、
前記シミュレーション実行部によりシミュレーションが実行されたいずれかの信号についての再シミュレーションを指示する再シミュレーション指示情報を入力する入力部と、
前記情報付加部によりネットリストに付加されたテストパターン関連づけ情報に基づき、再シミュレーション指示情報により再シミュレーションが指示された信号に関連づけられたテストパターンを特定するテストパターン特定部とを有し、
前記シミュレーション実行部は、
前記テストパターン特定部により特定されたテストパターンを用いて、再シミュレーション指示情報により再シミュレーションが指示された信号について再シミュレーションを行うことを特徴とする請求項１に記載のシミュレーション装置。
【請求項３】
前記情報付加部は、
テストパターン関連づけ情報として、信号ごとに、動作したテストパターンの識別情報をネットリストに付加することを特徴とする請求項１に記載のシミュレーション装置。
【請求項４】
前記情報付加部は、
テストパターン関連づけ情報として、信号ごとに、動作した複数のテストパターンを一括して特定可能な一括特定情報をネットリストに付加することを特徴とする請求項１に記載のシミュレーション装置。
【請求項５】
前記情報付加部は、
前記シミュレーション実行部によるシミュレーションにおいてそれぞれの信号の信号値が変化した回数を示す信号値変化回数情報を、信号ごとに、テストパターン関連づけ情報とともにネットリストに付加することを特徴とする請求項１に記載のシミュレーション装置。
【請求項６】
前記シミュレーション装置は、更に、
前記シミュレーション実行部によりシミュレーションが実行されたいずれかの信号についての再シミュレーションを指示する再シミュレーション指示情報を入力する入力部と、
前記情報付加部によりネットリストに付加されたテストパターン関連づけ情報及び信号値変化回数情報に基づき、再シミュレーション指示情報により再シミュレーションが指示された信号について再シミュレーションに用いるべきテストパターンを特定するテストパターン特定部とを有し、
前記シミュレーション実行部は、
前記テストパターン特定部により特定されたテストパターンを用いて、再シミュレーション指示情報により再シミュレーションが指示された信号について再シミュレーションを行うことを特徴とする請求項５に記載のシミュレーション装置。
【請求項７】
論理合成により作成されるネットリストを取得するネットリスト取得ステップと、
ネットリストに含まれている少なくとも一つ以上の信号のそれぞれについて少なくとも一つ以上のテストパターンを用いて所定のシミュレーションを実行するシミュレーション実行ステップと、
前記シミュレーション実行ステップによるシミュレーションにおいてそれぞれの信号が動作したテストパターンをそれぞれの信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する情報付加ステップとを有することを特徴とするシミュレーション方法。
【請求項８】
前記シミュレーション方法は、更に、
前記シミュレーション実行ステップによりシミュレーションが実行されたいずれかの信号についての再シミュレーションを指示する再シミュレーション指示情報を入力する入力ステップと、
前記情報付加ステップによりネットリストに付加されたテストパターン関連づけ情報に基づき、再シミュレーション指示情報により再シミュレーションが指示された信号に関連づけられたテストパターンを特定するテストパターン特定ステップとを有し、
前記シミュレーション実行ステップは、
前記テストパターン特定ステップにより特定されたテストパターンを用いて、再シミュレーション指示情報により再シミュレーションが指示された信号について再シミュレーションを行うことを特徴とする請求項７に記載のシミュレーション方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
この発明は、ネットリスト内部の信号について動作をしている検証パターンを特定する技術に関するものである。
【０００２】
【従来の技術】
図９は、特開平８−２７２８４５号公報に開示された結果表示装置のフローを説明するものである。
図において、８１０は論理合成ツール、８１２は論理合成で作成される論理回路のネットリスト、８１４は解析ツール、８１６は解析ツールから出力されるエラー情報、８１８は回路図作成手段、８２０は回路図作成手段８１８で作成される論理回路図、８２２はエラーを表示するエラー表示手段である。
【０００３】
次に動作について説明する。
この結果表示装置は、論理合成ツールで作成される論理回路のネットリスト８１２から回路図作成手段８１８で論理回路図８２０を作成し、エラー表示手段８２２により論理回路図上にさらにエラー情報を視覚的に表示する。
しかし、この従来の技術では、指定された信号の解析作業が必要となった場合に、動作確認に使えるパターンを特定することはできない。
指定された内部信号の解析のために使えるパターンの特定方法として、一般的には、検証仕様書や設計資料にもとづいておおよそ的を絞ったいくつかのパターンを使ってシミュレーションを行う。または、動作ノード情報等を見て特定するなど、テストパターンおよび、ネット以外の設計情報ファイルを参照しなければならなかった。そのため、直接検証作業を行った者以外が後から解析する必要がある場合には、知りたい情報を得れずに、ひととおりシミュレーションを実施したり、新たにパターンを作成したりしていたため、多大な時間と作業をする等の問題があった。
【０００４】
【特許文献１】
特開平８−２７２８４５号公報
【０００５】
【発明が解決しようとする課題】
このように、従来の結果表示装置を用いた場合に、指定された信号の動作確認のためにパターンの特定をするためには、資料を調べたり、ひととおりシミュレーションをして結果を調べなければならず時間がかかるといった問題点があった。
【０００６】
本発明では、このような問題点を解決しようとするもので、シミュレーションの実施後にいずれかの信号についての再シミュレーションが必要になった場合に、当該信号の再シミュレーションのために使用すべきテストパターンを容易かつ短時間で特定可能な装置及び方法を提供することを目的の一つとする。
【０００７】
【課題を解決するための手段】
本発明に係るシミュレーション装置は、
論理合成により作成されるネットリストを取得するネットリスト取得部と、
ネットリストに含まれている少なくとも一つ以上の信号のそれぞれについて少なくとも一つ以上のテストパターンを用いて所定のシミュレーションを実行するシミュレーション実行部と、
前記シミュレーション実行部によるシミュレーションにおいてそれぞれの信号が動作したテストパターンをそれぞれの信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する情報付加部とを有することを特徴とする。
【０００８】
【発明の実施の形態】
実施の形態１．
図１は本実施の形態に係るシミュレーション装置を用いた場合の動作パターン特定手順を示す設計フロー図である。
図において、Ｓ１０１は、機能記述情報から回路接続情報（ネットリスト）を作成・出力する論理合成、Ｓ１０２はネットリスト、Ｓ１０３は、ネットリストを検証する機能シミュレーションおよびタイミングシミュレーション、および信号に対してシミュレーションの結果からテストパターン関連づけ情報を付加するシミュレーション及びテストパターン関連づけ情報付加処理である。Ｓ１０４は、Ｓ１０３のシミュレーション及びテストパターン関連づけ情報付加処理で信号に対して動作しているテストパターンを関連づけるためのテストパターン関連づけ情報が付加された情報付加ネットリスト、Ｓ１０５はＬＳＩ製造のためメーカへのデータリリースおよびメーカ側での設計データチェック、Ｓ１０６はＬＳＩメーカ側の設計データチェックにて動作の確認を依頼された信号の情報、Ｓ１０７はＬＳＩメーカ側から動作を依頼された信号について解析に使用するテストパターンを特定するテストパターン特定処理、Ｓ１０８はＳ１０７のテストパターン特定処理で特定されたテストパターンを使った再シミュレーション、Ｓ１０９はＳ１０６で指定された信号の動作解析作業である。
Ｓ１０３のシミュレーション及びテストパターン関連づけ情報付加処理では、所定のテストパターンを用いてネットリストに含まれている信号についてシミュレーションを行い、シミュレーションの結果に基づき各信号が動作したテストパターンを各信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する。
また、Ｓ１０７のテストパターン特定処理は、テストパターン関連づけ情報が付加された情報付加ネットリストを参照して、Ｓ１０６で指定された信号の解析に使用するテストパターンを特定する。
本実施の形態に係るシミュレーション装置は、Ｓ１０３のシミュレーション及びテストパターン関連づけ情報付加処理、Ｓ１０７のテストパターン特定処理、及びＳ１０８の再シミュレーション処理を行う。
【０００９】
次に、図２を参照して、本実施の形態に係るシミュレーション装置１の構成例を説明する。
ネットリスト取得部１０１は、論理合成により作成されたネットリストを取得する。
シミュレーション部１０２は、ネットリスト取得部１０１により取得されたネットリストについて所定のシミュレーションを行う。シミュレーション部１０２は、シミュレーション実行部１０２１、情報付加部１０２２、及び情報格納／取得部１０２３から構成される。
シミュレーション実行部１０２１は、ネットリストについて機能シミュレーションやタイミングシミュレーションを実行する。
情報付加部１０２２は、シミュレーション実行部１０２１のシミュレーションの結果に応じて各信号が動作したテストパターンを各信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する。
情報格納／取得部１０２３は、情報付加部１０２２によりテストパターン関連づけ情報が付加された情報付加ネットリストを情報付加ネットリスト記憶部１０４に格納する。また、シミュレーション実行部１０２１によるシミュレーションが終了した後、シミュレーションに用いたテストパターンをテストパターン記憶部１０３に格納し、シミュレーション実行部１０２１にて再シミュレーションが行われる際には、テストパターン特定部１０６により特定されたテストパターンをテストパターン記憶部１０３から取得する。
【００１０】
テストパターン記憶部１０３は、シミュレーション実行部１０２１のシミュレーションに使用されたテストパターンを記憶する。
情報付加ネットリスト記憶部１０４は、情報付加部１０２２にてテストパターン関連づけ情報が付加された情報付加ネットリストを記憶する。
入力部１０５は、シミュレーション実行部１０２１に対してシミュレーションを指示するシミュレーション指示情報及びシミュレーション実行部１０２１に対して再シミュレーションを指示する再シミュレーション指示情報をオペレータから入力する。シミュレーション指示情報には、シミュレーション実行部１０２１でのシミュレーションに使用するテストパターンが含まれ、再シミュレーション指示情報には、再シミュレーションの対象となる信号名が含まれる。
テストパターン特定部１０６は、再シミュレーション指示情報が入力された際に、情報付加ネットリスト記憶部１０４から情報付加ネットリストを取得し、情報付加ネットリストを参照して再シミュレーション指示情報で指定された信号に関連づけられているテストパターンを特定し、特定したテストパターンと再シミュレーション指示情報で指定されている信号名をシミュレーション部１０２に通知する。
出力部１０７は、シミュレーション部１０２からの情報付加ネットリストをオペレータに対して出力するとともに、シミュレーション部１０２において再シミュレーションが行われた際には再シミュレーション結果をオペレータに対して出力する。
【００１１】
なお、シミュレーション装置１は、図示していないが、例えばマイクロプロセッサ等のＣＰＵ、半導体メモリ等や磁気ディスク等の記録手段を有する計算機により実現することができる。記録手段には、シミュレーション装置１に含まれる各構成要素の機能を実現するプログラムが記録されており、ＣＰＵがこれらのプログラムを読み込むことによりシミュレーション装置１の動作を制御し、各構成要素の機能を実現することができる。
【００１２】
次に、本実施の形態１に係るシミュレーション装置１の動作を説明する。
まず、ネットリスト取得部１０１が論理合成からネットリストを取得（入力）する。
このネットリストは、図３のように信号名と論理ゲートの接続が情報として含まれている。
図３の２０２の行を例にすると左からＡＮＤ２が論理セル、次のＡ０１がセル毎の固有情報、次の括弧内部は、論理セルと端子の接続情報であり、左から端子Ｙに信号Ｎ０００１が接続し、端子Ａに信号Ｎ００１１が接続し、端子Ｂに信号Ｎ００１２が接続していることを表現している。
【００１３】
また、ネットリスト取得部１０１によるネットリストの取得に並行して、入力部１０５がオペレータよりシミュレーション指示情報を入力し、シミュレーション部１０２のシミュレーション実行部１０２１がネットリスト取得部１０１からのネットリストと入力部１０５からのテストパターンとに基づき、シミュレーションによる検証（タイミング、機能検証）を行う。これは図１のフローのＳ１０３が相当する。
シミュレーション実行部１０２１によるシミュレーションで動作している信号については、情報付加部１０２２が、各信号が動作するテストパターンを各信号に関連づけるためのテストパターン関連づけ情報をネットリストに付加する。付加する手段としては、シミュレーション中で動作している信号をチェックし次第、ネットリストにテストパターン関連づけ情報を付加してもよいし、または一度動作信号情報をファイルに出力させ、そのファイルからネットリストにテストパターン関連づけ情報をネットリストに付加するといった方法でもよい。
【００１４】
情報付加部１０２２によりテストパターン関連づけ情報が付加された情報付加ネットリストの例を図４に示す。
図４の３０２の行では、信号Ｎ００１２がＮ００１２＿ＴＰ１といった具合に、テストパターン関連づけ情報として、テストパターンの識別情報が付加されている。つまり、このテストパターンの識別情報により信号Ｎ００１２がシミュレーションにおいてテストパターンＴＰ１で動作したことが分かる。さらに別のテストパターン（例えば、識別情報がＴＰ３であるテストパターン）でもＮ００１２が動作している場合には、Ｎ００１２＿ＴＰ１＿ＴＰ３という具合にテストパターンの識別情報を順次付加する。
シミュレーション実行部１０２１によるシミュレーションが終了し、情報付加部１０２２によりテストパターン関連づけ情報がネットリストへ付加されたならば、情報格納／取得部１０２３がテストパターン関連づけ情報が付加された情報付加ネットリストを情報付加ネットリスト記憶部１０４に格納し、また、シミュレーション実行部１０２１でのシミュレーションに使用したテストパターンをテストパターン記憶部１０３に格納する。
また、シミュレーション部１０２からは情報付加ネットリストが出力部１０７へ出力され、出力部１０７からオペレータに対して情報付加ネットリストが出力される。
【００１５】
情報付加ネットリストが出力された後は、図１のＳ１０５に示すように、設計データがＬＳＩメーカへリリースされる。設計データを入手したＬＳＩメーカ側では、詳細遅延情報を使ってタイミングシミュレーションや、テクノロジに依存したチェックなどを行う。このチェックの結果、動作の解析（再シミュレーション）を設計側が行なわなければならない信号が発生することがある。
解析には、ＬＳＩメーカからテストパターンと信号名が連絡される場合と、信号名のみが連絡される場合とがある。信号名のみが連絡された場合に、その指定された信号が動作しているテストパターンを特定しなければならない。以下では、ＬＳＩメーカより信号名だけを連絡された場合を想定して説明する。
【００１６】
ＬＳＩメーカから再シミュレーションの依頼があった場合には、依頼された信号名を含む再シミュレーション指示情報を入力部１０５がオペレータより入力し、テストパターン特定部１０６に出力する。なお、再シミュレーション指示情報で再シミュレーションが指示された信号は、既にシミュレーション実行部１０２１でシミュレーションが行われている信号である。
再シミュレーション指示情報を入力したテストパターン特定部１０６では、再シミュレーション指示情報に含まれた信号名に対応する情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、取得した情報付加ネットリストに付加されているテストパターン関連づけ情報から当該信号に関連づけられているテストパターンを特定する。図４に示したように、情報付加ネットリストには、Ｎ００１２＿ＴＰ１といった具合に各信号に対してテストパターンの識別情報が付加されている。これによりどのノードでこのパターンが動いているかをネット名だけから理解できる。
そして、テストパターン特定部１０６においてテストパターンが特定された場合には、情報格納／取得部１０２３がテストパターン特定部１０６により特定されたテストパターンをテストパターン記憶部１０３から取得し、情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、シミュレーション実行部１０２１がこれらのテストパターンと情報付加ネットリストを用いて、再シミュレーションが指示された信号についての再シミュレーションを行い、再シミュレーション結果を出力部１０７から出力する。
これにより、図１のＳ１０９に示す信号解析作業に進むことができる。
【００１７】
以上のように、本実施の形態によればネットリストの内部信号に動作しているパターンの情報を付加しそれを識別するようにしているので、指定された信号が動作しているパターンの特定が容易にかつ短期間にでき、推測でパターンをシミュレーションしてその結果をみるといった手間を省くことができ、これにより論理設計の効率を上げることができる。
【００１８】
実施の形態２．
以上の実施の形態１では、ネットリストに付加するテストパターン関連づけ情報として、テストパターンの識別情報を付加していたが、本実施の形態では、異なる形式のテストパターン関連づけ情報をネットリストに付加する。
なお、本実施の形態でも設計フローの手順は図１に示すものと同様であり、また、本実施の形態に係るシミュレーション装置１の構成も図２に示したものと同様である。
本実施の形態では、情報付加部１０２２においてネットリストに付加するテストパターン関連づけ情報の形式、及びテストパターン特定部１０６におけるテストパターンの特定の仕方が異なるだけであり、他の動作は実施の形態１で説明したものと同じである。
【００１９】
実施の形態１では、テストパターン関連づけ情報として、各信号に対して動作しているテストパターンの識別情報を付加していたが、本実施の形態では、テストパターンの識別情報そのものではなく、所定のＩＤ情報及びＩＤ情報とテストパターン識別情報とを対応づける対応情報を付加する。
本実施の形態の情報付加部１０２２による情報付加ネットリストの例を図５に示す。
図５の４０２の行では、信号Ｎ００１２に対して、ＩＤ情報としてＩＤ０３を付けてＮ００１２＿ＩＤ０３という形にし、図５の４０４の行に、対応づけ情報を付加している。図５の例では、対応づけ情報はコメントの形式で追加されており、一番左がＩＤ情報であるＩＤ０３を示し、ＩＤ０３に対して実際に動作したテストパターンの識別情報であるＴＰ０１、ＴＰ０３が示される。なお、対応づけ情報をネットリストファイル中のコメントの形式とすることにより、各種ＣＡＤツールで処理の対象外部として扱われるようにしている。
情報付加部１０２２における情報付加の方法としては、シミュレーション時に各信号をウォッチし、シミュレーション終了時に各信号に対してＩＤ情報を付加するとともにコメントとして対応づけ情報を付加する。
なお、ＩＤ情報及び対応づけ情報は、複数のテストパターンを一括して特定可能な情報であり、一括特定情報の例に相当する。
【００２０】
一方、テストパターン特定部１０６では、再シミュレーション指示情報が入力された場合に、図５に示す形式の情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、再シミュレーションが指示された信号についてＩＤ情報を把握するとともに、当該ＩＤ情報の対応づけ情報に基づきテストパターンの識別情報を導き、再シミュレーションに用いるテストパターンを特定する。
以降は実施の形態１と同様であり、情報格納／取得部１０２３がテストパターン特定部１０６により特定されたテストパターンをテストパターン記憶部１０３から取得し、情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、シミュレーション実行部１０２１がこれらのテストパターンと情報付加ネットリストを用いて、再シミュレーションが指示された信号についての再シミュレーションを行い、再シミュレーション結果を出力部１０７から出力する。
【００２１】
以上のように、本実施の形態によれば、ネットリストファイル中に内部信号に動作しているパターンの情報を付加しそれを識別するようにしているので、指定された信号が動作しているパターンの特定が容易にでき推測でパターンをシミュレーションしてその結果をみるといった手間を省くことができる。さらに実施の形態１では多くパターンで動作している信号については多くのテストパターンの識別情報を付加することにより信号名が長くなってしまうことがあるが、本実施の形態によれば、信号名が長くなるということを避けることができ、信号名がわかりにくくなることがなくなる。
【００２２】
実施の形態３．
実施の形態１では、ネットリストにはテストパターンの識別情報（テストパターン関連づけ情報）のみを付加していたが、本実施の形態では、各信号について信号値が変化した回数を示す信号値変化回数情報をテストパターンの識別情報とともにのネットリストに付加する。
なお、本実施の形態でも設計フローの手順は図１に示すものと同様であり、また、本実施の形態に係るシミュレーション装置１の構成も図２に示したものと同様である。
本実施の形態では、情報付加部１０２２においてネットリストに付加する情報の内容が異なるだけであり、他の動作は実施の形態１で説明したものと同じである。
【００２３】
本実施の形態における情報付加部１０２２は、各信号について、テストパターンの識別情報とともに信号値変化回数情報をネットリストに付加する。
つまり、情報付加部１０２２は、各信号について、動作しているテストパターンの識別情報とともに信号の値が０→１→０や１→０→１に変化していく回数の情報も付加する。
情報付加部１０２２における情報付加の方法としては、テストパターンごとにシミュレーションが行われる度に信号値変化回数もウォッチし、テストパターンごとのシミュレーションが終了する度にそれぞれの信号名に既に付加されている信号値変化回数をチェックし、計測した信号値変化回数が既に付加されている信号値変化回数をオーバーしている場合に、そのテストパターンの識別情報と信号値変化回数を信号名に付加、更新する。
【００２４】
本実施の形態の情報付加部１０２２による情報付加ネットリストの例を図６に示す。
図６の５０２の行では、信号Ｎ００１２に対して、テストパターン識別情報としてＴＰ０１が付加され、また、信号値変化値回数情報として＄０５が付加されて、Ｎ００１２＿ＴＰ０１＄０５という形になっている。これはテストパターンＴＰ０１で信号Ｎ００１２が５回動作している（信号値が５回変化している）ことを表現している例である。
さらに別のパターンでシミュレーションを行ってＮ００１２がより動作していれば更新を行う。図７は更新例である。Ｎ００１２の信号がテストパターンＴＰ０３により７回動作したとして６０２の行では、Ｎ００１２＿ＴＰ０３＄０７という具合に更新される。
【００２５】
再シミュレーション指示情報が入力された場合は、実施の形態１と同様に、テストパターン特定部１０６が、図６に示す形式の情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、情報付加ネットリストに示されたテストパターン関連づけ情報に基づき、再シミュレーションが指示された信号について再シミュレーションに用いるテストパターンを特定する。
また、情報格納／取得部１０２３がテストパターン特定部１０６により特定されたテストパターンをテストパターン記憶部１０３から取得し、情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、シミュレーション実行部１０２１がこれらのテストパターンと情報付加ネットリストを用いて、再シミュレーションが指示された信号についての再シミュレーションを行い、再シミュレーション結果を出力部１０７から出力する。
【００２６】
以上のように、本実施の形態によれば、ネットリストファイル中の内部信号に動作しているパターンの情報とそのパターンでの動作回数を付加しそれを識別するようにしているので、指定された信号が動作しているパターンの特定が容易にできる。そのため推測でパターンをシミュレーションしてその結果をみるといった手間を省くことができる。さらに本実施の形態では信号値変化回数情報も含めている。信号値変化回数が多い方が、その信号を頻繁に動かしており、解析に適しているので効率的な動作解析をするためのパターン選定ができる。
【００２７】
実施の形態４．
本実施の形態では、実施の形態２及び実施の形態３を組み合わせた方式を説明する。
なお、本実施の形態でも設計フローの手順は図１に示すものと同様であり、また、本実施の形態に係るシミュレーション装置１の構成も図２に示したものと同様である。
本実施の形態では、情報付加部１０２２においてネットリストに付加する情報の内容、及びテストパターン特定部１０６におけるテストパターンの特定の仕方が異なるだけであり、他の動作は実施の形態１で説明したものと同じである。
【００２８】
本実施の形態における情報付加部１０２２は、実施の形態２及び実施の形態３のを組み合わせた方式でネットリストに情報を付加する。具体的には、情報付加部１０２２は、各信号について、実施の形態２で示したようにＩＤ情報を付加するとともに、対応づけ情報をコメントとして付加する。この対応づけ情報は、ＩＤ情報に対してテストパターンの識別情報とそのテストパターンにおける信号変化値回数情報とを対応づける。
すなわち、信号に対して動作しているテストパターンの識別情報とともに信号の値が０→１→０や１→０→１に変化している回数も付加する。
【００２９】
本実施の形態の情報付加部１０２２による情報付加ネットリストの例を図８に示す。
図８の７０２の行の信号Ｎ００１２ではＩＤ情報は、ＩＤ０３である。そして図８の７０４の行がコメントとして追加された行であり、一番左がＩＤ情報であるＩＤ０３を示し、ＩＤ０３に対して実際に動作したテストパターンの識別情報であるＴＰ０１、ＴＰ０３が、それぞれの信号値変化回数である＄０５及び＄０７とともに表示され、ＴＰ０１＄０５、ＴＰ０３＄０７といった形で示される。
【００３０】
再シミュレーション指示情報が入力された際のテストパターン特定部１０６の動作は、実施の形態２と同様であり、図８に示す形式の情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、再シミュレーションが指示された信号についてＩＤ情報を把握するとともに、当該ＩＤ情報の対応づけ情報に基づきテストパターンの識別情報を導き、再シミュレーションに用いるテストパターンを特定する。
ここで、例えば、図８の７０２に示す信号Ｎ００１２のように、複数のテストパターンが関連づけられているような信号について再シミュレーションが指示された場合には、情報付加部１０２２は、関連づけられている全てのテストパターンを再シミュレーションに用いるテストパターンとして特定してもよいが、信号値変化回数情報に基づき、複数のテストパターンの中から所定数（例えば１つ）のテストパターンを代表例として選択してもよい。信号値変化回数が多いテストパターンは、その信号の解析に適したテストパターンであると考えられるので、関連づけられたテストパターンが複数ある場合には、信号値変化回数が多いテストパターンを再シミュレーションに用いるべき代表的テストパターンとして特定してもよい。
以降は実施の形態１と同様であり、情報格納／取得部１０２３がテストパターン特定部１０６により特定されたテストパターンをテストパターン記憶部１０３から取得し、情報付加ネットリストを情報付加ネットリスト記憶部１０４から取得し、シミュレーション実行部１０２１がこれらのテストパターンと情報付加ネットリストを用いて、再シミュレーションが指示された信号についての再シミュレーションを行い、再シミュレーション結果を出力部１０７から出力する。
【００３１】
以上のように、本実施の形態によれば、ネットリストファイル中に動作しているパターンの情報とそのパターンでの信号値変化回数を付加しそれを識別するようにしている。これにより指定された信号が動作しているパターンの特定が容易にできる。そのため推測でパターンをシミュレーションしてその結果をみるといった手間を省くことができる。さらに実施の形態１に比べて動作回数情報も含めており、また実施の形態３のように信号名部分の変更を減らし、信号名が分かりにくくならないようにしている。
【００３２】
また、本実施の形態によれば、再シミュレーションが指示された信号に関連づけられたテストパターンが複数ある場合には、信号値変更回数情報に基づき、複数のテストパターンの中から解析に適した代表的なテストパターンを特定することができ、信号解析を効率的に行うことができる。
【００３３】
【発明の効果】
本発明によれば、信号ごとにテストパターン関連づけ情報をネットリストに付加するため、いずれかの信号について再シミュレーションが必要になった場合にも、再シミュレーションに使用すべきテストパターンを容易かつ短時間に特定することができる。
【図面の簡単な説明】
【図１】実施の形態１〜４に係るシミュレーション装置を用いた際の設計フローを示す図。
【図２】実施の形態１〜４に係るシミュレーション装置の構成例を示す図。
【図３】情報付加前のネットリストの例を示す図。
【図４】実施の形態１に係る情報付加ネットリストの例を示す図。
【図５】実施の形態２に係る情報付加ネットリストの例を示す図。
【図６】実施の形態３に係る情報付加ネットリストの例を示す図。
【図７】実施の形態３に係る情報付加ネットリストの例を示す図。
【図８】実施の形態４に係る情報付加ネットリストの例を示す図。
【図９】従来技術を説明する図。
【符号の説明】
１  シミュレーション装置、１０１  ネットリスト取得部、１０２  シミュレーション部、１０３  テストパターン記憶部、１０４  情報付加ネットリスト記憶部、１０５  入力部、１０６  テストパターン特定部、１０７  出力部、１０２１  シミュレーション実行部、１０２２  情報付加部、１０２３  情報格納／取得部。
【図１】
2005004605.tif 000003
【図２】
2005004605.tif 000004
【図３】
2005004605.tif 000005
【図４】
2005004605.tif 000006
【図５】
2005004605.tif 000007
【図６】
2005004605.tif 000008
【図７】
2005004605.tif 000009
【図８】
2005004605.tif 000010
【図９】
2005004605.tif 000011