JPH10254914A - 論理シミュレーション結果解析装置 - Google Patents

Abstract

(57)【要約】 【課題】 必要な記憶容量を削減し、結果解析までの時
間を短縮できる論理シミュレーション結果解析装置を実
現する。 【解決手段】 解析対象回路１１０および１１８への外
部入力信号線１１２の値および記憶素子１１８の出力の
みを保存ポイント１１４で保存し、この保存値に基づい
て指定時刻から解析対象回路の動作を再シミュレートす
る。保存ポイント１１４の情報は、シミュレートの各サ
イクルでなく、所定サイクルごとに保存するようにし、
指定された時刻から逆上った最初の保存時刻から再シミ
ュレートを行なうようにしてもよい。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理回路における
論理シミュレーション結果解析装置に関し、特に、集積
回路等の論理回路の論理シミュレーション結果データの
保存方法および信号線の値の発生原因発見方法が改善さ
れた論理シミュレーション結果解析装置に関する。

【０００２】

【従来の技術】論理回路の設計結果を解析するために
は、論理回路のシミュレーションを行なうことが不可欠
である。図１７に従来のシミュレーション結果解析の作
業フローチャート、図１８に、所望でない結果が得られ
た場合の原因追跡の詳細な作業フローチャートを、それ
ぞれ示す。

【０００３】図１７および図１８を参照して、従来のシ
ミュレーション結果解析は次のようにして行なわれる。
特に図１７を参照して、回路情報２１０を参照してシミ
ュレーション２１２を行なう。続いてその結果が期待ど
おりものかどうかについて判断し（２１６）、期待した
とおりの結果が得られた場合にはシミュレーションは終
了する。期待しない値またはイベントが発生した場合に
は、その発生原因を究明・解析するために、まず解析す
べき信号線の特定を行なう（２１８）。この後、波形デ
ータなどが記録されたシミュレーション結果データ２１
４と、回路図およびネットリストなどを含む回路接続情
報２１０とを照らし合わせながら発生原因の追跡（２２
０）を行なう。

【０００４】原因追跡作業２２０の詳細は次のようにな
っている。特に図１８を参照して、ステップ２１８で特
定された解析対象信号線を出力とする素子の入力信号線
の探索（２３０）を回路接続情報２１０を参照して行な
う。シミュレーション結果２１４から当該入力信号線の
値を呼出し、入力値がすべて正当かどうかについて判定
する（２３２）。入力値がすべて正当なものであれば、
当該素子が発生原因となるのでここで原因追跡は終了す
る。１つでも不当な入力信号が存在すれば、その入力信
号線を次の解析対象信号とし（２３４）、図１８に示す
入力信号線の探索以下の処理を繰返す。

【０００５】この場合、原因追跡に必要なシミュレーシ
ョン結果データは図１７のシミュレーション処理（２１
２）中に生成され、対象回路のすべての信号線におけ
る、そこに発生するすべてのイベントまたは値の情報を
含んでいる。

【０００６】

【発明が解決しようとする課題】このように従来の論理
シミュレーション結果解析処理では、すべてのシミュレ
ーション時刻における、対象回路のすべての内部信号線
に関するデータを保存する。そのため、対象回路規模が
大きい場合や、シミュレーションに要するテストパター
ンのベクタ数が長い場合には、保存しなければならない
データ量が膨大になる。そのため必要とされる記憶装置
の容量が大きくなるだけでなく、記憶装置にデータを書
込むための時間が多く必要とされ、その結果シミュレー
ション時間が長くなるという問題がある。さらに、デー
タの記憶装置からの読出にも長時間が必要とされるの
で、シミュレーション結果の解析時間も長くなるという
問題がある。さらに、図１８に示される処理２３０での
入力信号線の探索は、回路接続情報２１０から操作者が
手操作で行なっている。また処理２３２における、入力
信号線の値の呼出しもシミュレーション結果２１４から
操作者が行なう必要があった。そのため特に対象回路規
模が大きくなると操作者が行なうべき作業が増大し、期
待しない結果の発生原因の究明に多くの時間を費やす必
要があるという問題点があった。

【０００７】本発明はこうした問題点に鑑みてなされた
ものであって、請求項１〜６に記載の発明の目的は、必
要な記憶容量を削減することができ、それによってシミ
ュレーション時間を短縮することができる論理シミュレ
ーション結果解析装置を提供することである。

【０００８】請求項７〜９に記載の発明の目的は、請求
項１〜６に記載の発明の目的に加えてさらに、論理シミ
ュレーション結果の解析に要する時間を短縮することが
できる論理シミュレーション結果解析装置を提供するこ
とである。

【０００９】

【課題を解決するための手段】請求項１に記載の発明に
係る論理シミュレーション結果解析装置は、解析対象回
路の回路接続情報を保存するための回路接続情報保存手
段と、外部入力と回路接続情報とに基づき解析対象回路
の動作をシミュレートするためのシミュレート手段と、
シミュレート手段によるシミュレーションの実行に伴っ
て変化する、解析対象回路内部の記憶素子の出力と解析
対象回路への外部入力の値とを、予め定める間隔で、か
つシミュレート時間と関連させて記憶するための記憶手
段と、記憶手段の記憶内容に基づいて、任意の時刻から
前記解析対象回路の再シミュレーションを実行するため
の再シミュレート手段とを含んでいる。

【００１０】記憶手段に、シミュレーション結果のう
ち、解析対象回路内部の記憶素子の出力と解析対象回路
への外部入力の値とを記憶させる。これらの値は、予め
定める間隔で、かつシミュレート時間と関連させて記憶
させる。そのため任意の時刻から解析対象回路の再シミ
ュレーションを行なうことができる。記憶手段に記憶さ
れるデータの間隔が、シミュレート手段によるシミュレ
ーションの間隔よりも大きくても、その間のシミュレー
ション結果を再現することができる。記憶手段として必
要な記憶容量が従来のものと比較して少なくてもよい。
書込に要する時間も短縮されるので、シミュレーション
時間を短縮することができる。

【００１１】請求項２に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項１に記載の発明の構成
に加えて、解析対象回路が、予め定める波形を有するク
ロック信号を時間的な基準として動作する仕様とされて
おり、このクロック信号の仕様を特定するための情報を
記憶するためのクロック信号仕様記憶手段をさらに含ん
でいる。シミュレート手段および再シミュレート手段
は、シミュレーションの実行時に、クロック信号仕様記
憶手段に記憶された情報に基づいてクロック信号に相当
する信号を生成することにより解析対象回路の動作をシ
ミュレートする。

【００１２】クロック信号の仕様が予め特定されている
ので、シミュレーション時にはこのクロック信号を自動
的に生成することができる。シミュレーション時のクロ
ック信号の波形を記憶しておく必要はない。そのため記
憶装置の使用量をさらに削減することができ、シミュレ
ーション時間もさらに短縮することができる。なお再シ
ミュレーション時のクロック信号の波形の記憶について
は操作者が操作できる。

【００１３】請求項３に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項１または２に記載の発
明の構成に加えて、解析対象回路は、シミュレーション
期間内の予め定める期間内において固定値をとる信号を
入力として持つ。論理シミュレーション結果解析装置は
さらに、固定値をとる信号の波形を特定するための固定
値信号特定情報を記憶するための手段を含む。シミュレ
ート手段および再シミュレート手段は、シミュレーショ
ンの実行時に、予め定める期間内に固定値をとる信号を
自動生成することにより、解析対象回路の動作をシミュ
レートする。

【００１４】解析対象回路が、固定値をとる信号を入力
として持っている場合、この固定値をとる信号の波形を
特定するための情報を記憶しておく。そしてシミュレー
ト時および再シミュレート時に、この固定値信号特定情
報に基づいて固定値を自動的に生成してシミュレーショ
ンを実行する。シミュレート時に、この固定値をとる信
号の波形を記憶しておかなくても再シミュレート時にそ
の値を自動的に生成することができるので、シミュレー
ション結果のデータを保存しておくべき記憶容量をさら
に削減することができる。

【００１５】請求項４に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項１〜３のいずれかに記
載の発明の構成に加えて、解析対象回路内のある信号線
が指定されたことに応答して、回路接続情報に基づき、
指定された信号線に対して影響を及ぼし得る信号線群か
らなるコーンを解析対象回路内において特定するための
手段と、再シミュレート手段が解析対象回路を再シミュ
レートする際に、コーン内部に存在する接続線上の信号
の値を記憶するための手段をさらに含む。

【００１６】再シミュレーションを行なう際に、解析対
象回路内の信号線の値を保存する必要があるが、その保
存対象を、コーン内部に存在する接続線上の信号のみに
限定する。コーン外に存在する接続線上の信号は、解析
対象回路内の、指定された信号線上の信号には影響を与
えないので、記憶しておく必要がない。これにより必要
とされる記憶容量をさらに削減することができ、また再
シミュレーションの実行時間も短縮することができる。

【００１７】請求項５に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項１〜４のいずれかに記
載の装置であって、解析対象回路内に含まれるインバー
タゲートおよびバッファゲートを回路接続情報から抽出
し、当該ゲートの入出力信号線名およびその関係を特定
する情報を保存するための手段と、再シミュレート手段
が解析対象回路の動作を再シミュレートする際に、保存
されたゲートの入出力信号線名およびその関係から解析
対象回路内に含まれるインバータゲートおよびバッファ
ゲートの出力信号線の値を自動生成するための手段をさ
らに含む。

【００１８】解析対象回路内に含まれるインバータゲー
トおよびバッファゲートの出力信号線の値は、再シミュ
レーションをする際には、入力信号線の値と、保存され
ているゲートの入出力信号線名およびその関係を特定す
る情報から自動生成することができる。したがって、シ
ミュレーションの実行時に、インバータゲートおよびバ
ッファゲートの出力信号線の値を保存しておく必要がな
い。ゲートの入出力信号線名およびその関係を特定する
情報を保存するための記憶容量の分だけ必要とされる記
憶容量が増大するが、それらのシミュレート時の出力信
号線の値を覚えておく必要がなくなるので、必要とされ
る記憶容量の全体量が削減でき、シミュレーションの実
行時間もさらに短縮することができるる請求項６に記載
の発明に係る論理シミュレーション結果解析装置は、請
求項４または５に記載の発明の構成に加えて、コーン内
部の回路からコーン外部の回路への接続線上を伝播する
信号がなくなるように、回路接続情報中の、コーンの境
界上の信号線に関する情報を擬似的に変更するための手
段をさらに含む。

【００１９】指定された信号線に影響を与えるコーンの
外部に存在する回路は、コーン内部からイベントが伝播
することがなくなる。コーン外部の回路の動作を再シミ
ュレートする必要がなくなるので、再シミュレーション
に要する時間を削減することができる。同じくコーン外
部の回路のシミュレーション結果を保存する必要もない
ので、解析時の記憶装置の使用量をさらに削減すること
ができ、またシミュレーション結果の解析に要する時間
もさらに短縮することができる。

【００２０】請求項７に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項１〜６のいずれかに記
載の発明の構成に加えて、解析対象回路内部のある信号
線が操作者により指定されたことに応答して、当該信号
線の値の発生原因である信号線を探索するための手段を
さらに含む。

【００２１】解析対象信号線を特定すると、当該信号線
の値の発生原因である信号線を自動的または対話的に探
索することができるので、シミュレーション結果の解析
に要する時間をさらに短縮することができる。

【００２２】請求項８に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項７に記載の発明の構成
に加えて、探索するための手段が、解析対象の回路の信
号線のうちの予め選択された信号線中に不定値を割当て
られたものがあるか否かを調べ、不定値を割当てられた
信号線が存在することが検出されたことに応答して、探
索するための手段による探索の実行を中止させるための
手段をさらに含んでいる。予め選択された信号線として
は例えば、外部入力、記憶素子の制御信号（クロック、
セット、リセット信号）、駆動されていない内部信号線
等がある。

【００２３】解析対象回路の信号線中に不定値を割当て
られたものがあると、回路が期待どおりに動作しない。
そうしたものは、解析対象信号線の値の発生原因である
信号線を探索するための処理を行なうまでもなく特定す
ることができる。そのため発生原因の信号線を探索する
処理を行なう必要がなく、解析時間を短縮することがで
きる。

【００２４】請求項９に記載の発明に係る論理シミュレ
ーション結果解析装置は、請求項７または８に記載の発
明の構成に加えて、指定された信号線の値に対して特定
の影響を与えたと判断される信号線、または探索の終了
時に到達した信号線から、指定された信号線までのパス
をグラフィカルに表示するための手段をさらに含む。

【００２５】信号線の値の発生原因である信号線、また
は探索の終了時に到達した信号線から、指定された信号
線までのパスをグラフィカルに表示することにより、そ
のパスを視覚的に確認することができる。そのため原因
信号線探索後の解析時間をさらに短縮することができ
る。

【００２６】

【発明の実施の形態】図１に、本願発明の論理シミュレ
ーション結果解析装置を実現するための装置であるコン
ピュータのブロック図を示す。図１を参照して、このコ
ンピュータ（論理シミュレーション結果解析装置）３０
は、中央処理装置（ＣＰＵ）３２と、主記憶装置３４
と、固定ディスクなどからなる補助記憶装置３８と、キ
ーボードおよびマウスなどからなる入力装置３６と、デ
ィスプレイ、プリンタなどからなる出力装置４０とを含
んでいる。

【００２７】図１に示されるコンピュータ３０自体の動
作は一般的なコンピュータのものと同様であるので、そ
の動作の概略はここでは繰返さない。本願発明に係る論
理シミュレーション結果解析装置は、補助記憶装置３８
に特定のプログラムを記憶し、それを主記憶装置３０に
読出して中央処理装置３２が実行することにより実現さ
れる。

【００２８】本願発明では、回路接続情報は補助記憶装
置３８に記憶される。シミュレーション時刻と、そのシ
ミュレーション時刻における、解析対象回路への外部入
力信号線の値および解析対象回路内の記憶素子の出力信
号線の値は、主記憶装置３４に確保される。シミュレー
ション結果において解析すべき信号線と、その時刻とは
入力装置３６から操作者によって指定される。その他、
以下の実施の形態で「ファイル」として述べるものは補
助記憶装置３８に確保される。再シミュレーション時に
保存される、解析対象回路の組合せ回路のうち、解析対
象信号線の値に影響を与える回路の集まりを以下の説明
では「コーン」と呼ぶが、このコーン内の信号線の値は
主記憶装置３４内に記憶される。またコーン内のインバ
ータゲートおよびバッファゲートに関してその入出力線
名とそれらの関係に関する情報が補助記憶装置３８に保
存される。

【００２９】その他、図１に示される各構成要素が実施
の形態でどのような役割を果たすか、については以下の
説明で随時述べる。

【００３０】図２および図３に、図１に示されるコンピ
ュータ３０によって実行されることにより論理シミュレ
ーション結果解析装置を実現するためのプログラムのフ
ローチャートを示す。このフローチャートに従った処理
を実現するソフトウェアは補助記憶装置３８に記憶され
ており、前述したように主記憶装置３４に読出されて中
央処理装置３２により実行される。

【００３１】このフローチャートを説明するに先立っ
て、解析対象回路について説明し、シミュレーションが
どのように行なわれるかについて図４を参照して説明す
る。

【００３２】図４を参照して、シミュレートされる回路
は組合せ回路１１０と記憶素子１１８とを含んでいる。
組合せ回路１１０は、複数個の外部入力信号線１１２と
複数個の外部出力信号線１１６とに接続されている。さ
らに組合せ回路１１０は、記憶素子１１８への出力信号
線と記憶素子１１８からの入力信号線とにも接続されて
いる。シミュレーションでは、組合せ回路１１０への外
部入力信号線１１２の値と記憶素子１１８からの出力と
の値のみが保存される。その保存タイミングについては
後述する。図４において、保存される値の位置は保存ポ
イント１１４として黒丸で示されている。

【００３３】再び図２を参照して、まずステップ５０
（以下「ステップ」は随時省略する。）において、組合
せ回路１１０に入力される信号のうち、クロック信号、
固定値信号または１イベント信号があるか否かについて
判定する。以下これらの信号がどのようなものかについ
て図５を参照して説明する。

【００３４】図５を参照して、組合せ回路１１０には、
この組合せ回路１１０の動作タイミングを規定するため
のクロック信号が与えられる場合が一般的である。この
クロック信号がクロック信号線１２４から与えられるも
のとする。また、「固定値信号」とは、固定値が入力さ
れることがわかっている信号のことをいう。たとえば解
析対象回路には２つの動作モードがあり、そのモードを
指定するための信号として「１」または「０」のいずれ
かが入力されることがわかっており、しかも動作中にそ
の値が変化しない場合がある。こうした信号を固定値信
号と呼ぶ。固定値信号は信号線１２２から組合せ回路１
１０に与えられるものとする。

【００３５】「１イベント信号」とは、シミュレーショ
ン中のイベント変化が１回しか発生しない信号をいう。
たとえばリセット信号などがこれに相当する。この１イ
ベント信号は信号線１２０から組合せ回路１１０に与え
られるものとする。

【００３６】なお図５では、クロック信号、固定値信
号、１イベント信号が各々１個ずつしかない場合を示し
てあるが、本発明はこれには限定されない。これら信号
のうち１つのみ、また２つのみがあってもよいし、各々
が複数個あってもよい。

【００３７】図２に示すステップ５０の判断は、オペレ
ータからこのような信号があることが指定されているか
否かを調べることにより行なわれる。こうした信号が存
在する場合には、信号名、信号値などを指定するファイ
ル名をオペレータから受ける（５２）。そうしたファイ
ルの形式について図６を参照して説明する。

【００３８】図６（Ａ）にクロック用コントロールファ
イル１３０の記述例を、図６（Ｂ）に固定値用コントロ
ールファイル１３２の記述例を、図６（Ｃ）に１イベン
ト信号用コントロールファイル１３４の記述例を、それ
ぞれ示す。クロック用コントロールファイル１３０に
は、クロックとなる入力のピン名（ＣＬＫ）と、クロッ
ク周期（５０）と、クロックの初期値（０）とをそれぞ
れの項目名に続けて指定する。また固定値用コントロー
ルファイル１３２としても同様に、固定値が入力される
ピン名（ＭＯＤＥ）と、その固定値（１）とをそれぞれ
の項目名とともに記述する。１イベント信号用コントロ
ールファイル１３４についてもそのピン名（ＲＥＳＥ
Ｔ）と、その１イベント信号の初期値（１）と、イベン
ト変化の時刻（１００）とをそれぞれの項目名とともに
記述する。こうして、クロック信号、固定値信号、１イ
ベント信号の仕様が記述される。

【００３９】クロック信号、固定値信号、１イベント信
号は、他の入力信号の値に関係なく、図６に示されるよ
うな仕様情報があればシミュレーション中に自動生成を
行なうことができる。同じく再シミュレーションのとき
にも同じデータからシミュレーション時と全く同じ信号
を生成することができる。したがってこれらの信号につ
いては、シミュレーションの実行中にはその値等を保存
しておく必要がない。クロック信号については再シミュ
レーション実行時に保存が必要となることがあるがその
記憶は操作者が管理できる。１イベント信号については
再シミュレーション時には保存される。固定値信号につ
いては再シミュレーション時にも保存の必要はない。結
局、これらの信号については少なくとも最初のシミュレ
ーションの結果データを保存しておく必要がないので、
従来と比較してシミュレーションのために必要な記憶容
量を削減することができる。

【００４０】再び図２を参照して、ステップ５０または
５２の後、回路接続情報から、外部入力および記憶素子
の出力を抽出する（５４）。この場合の外部入力とは図
４に示される外部入力信号線１１２の値をいう。以下に
説明するシミュレーションの実行中には、ここで抽出さ
れた外部入力信号線の値と、記憶素子の出力信号線の値
と、そのときのシミュレーション時刻とのみを保存す
る。すなわち図４に示される保存ポイント１１４の値の
みを保存する。このように、組合せ回路１１０内部のす
べての値を保存しなくとも、後述するように再シミュレ
ーション時には組合せ回路１１０内の各信号線の値を再
現することができる。そのため解析に不必要なデータを
保存する必要がなくなり、記憶装置の使用量を削減する
ことができる。

【００４１】図２を参照して、ステップ５６で保存ポイ
ント１１４（図４参照）での値の保存方法についてオペ
レータからの指定を受ける。この保存方法として本実施
の形態では２つの方法を想定している。図７（Ａ）に、
例としてある保存ポイントでの波形の例を示す。図７
（Ｄ）にはシミュレーション時刻を示す。図７（Ｂ）に
は、シミュレーション単位時間ごとに保存ポイントの値
をすべて保存する方法（保存方法１）を示す。図７
（Ｃ）には、シミュレーション単位時間にして４単位時
間ごとに保存ポイントの値を保存する方法（保存方法
２）を示す。保存方法１では、１６シミュレーション単
位時間ではデータ保存量は１６個となるが、保存方法２
では保存量は４個でよい。

【００４２】後述するように再シミュレーションをする
ときには、再シミュレーション開始時刻が操作者により
指定される。保存方法１では、すべてのシミュレーショ
ン時刻についてそのときの保存ポイントでの信号の値を
記憶しているから、直ちに再シミュレーションを行なう
ことができる。一方保存方法２では、指定された再シミ
ュレーション開始時刻の値を保存していればよいが、そ
うでないときには再シミュレーションを次のように行な
う。すなわち、再シミュレーション開始時刻として指定
された時刻から逆上って最も近い保存時刻を探し、この
ときの保存値から再シミュレーションを開始する。する
と、結果として操作者から指定された再シミュレーショ
ン開始時刻での当該保存ポイントでの信号値も再現する
ことができる。再シミュレーションを開始するための時
間は多少長くなるが、保存すべきデータ量は削減するこ
とができる。

【００４３】再び図２を参照して、保存方法として図７
（Ｃ）に示されるように保存方法２が指定されたときに
は、操作者により保存間隔の指定を受ける（５８）。

【００４４】続いてシミュレーションを開始する（６
０）。このとき、保存方法が図７に示される保存方法１
か保存方法２かによって、ステップ６４または６６でそ
れぞれ所定の保存方法に従って保存ポイントでの信号値
を保存する。すなわち保存方法１が指定されたときに
は、外部入力および記憶素子の出力のみを、シミュレー
ション単位時間ごとに保存する（６４）。また保存方法
２が指定されたときには、外部入力および記憶素子の出
力のみを、指定時間間隔ごとに保存する（６６）。こう
してシミュレーション終了時刻が到達すると（６８）、
シミュレーションプロセスは終了せず待ち状態となる
（７０）。

【００４５】次に、シミュレーション結果を解析するた
めに、解析すべき信号線と解析すべき時刻とをオペレー
タが指定する（７２）。これに応じて、図３を参照し
て、保存方法１または保存方法２のいずれが指定された
かに応じてステップ７６または７８の処理が行われる。
すなわち保存方法１が指定されているときには、論理シ
ミュレーション結果解析装置の時刻をオペレータにより
指定された時刻に設定する（７６）。保存方法２が指定
されたときには、シミュレータの時刻を、オペレータに
より指定された時刻から逆上った最初の保存時刻に設定
する（７８）。

【００４６】続いて、このようにして設定された時刻に
おける外部入力信号線の値と記憶素子の出力信号線の値
とを、図１に示す主記憶装置３４に保存されているシミ
ュレーション結果の保存データから呼出し（８０）、呼
出した値を当該信号線に割当てる（８２）。以下指定さ
れた解析開始時刻から再シミュレーションを行なう（９
０）が、本実施の形態では再シミュレーションに先立っ
てステップ８４〜８８により示される処理を行なう点に
も特徴がある。以下これらの処理について説明する。

【００４７】再シミュレーションを実行するに先立っ
て、解析対象信号線が指定されている（７２）。解析す
べき信号線は、図４に示す組合せ回路１１０の内部また
は出力の信号線である。この解析すべき信号線が指定さ
れると、図８に示すように、当該信号線１４０または１
４４に対して影響を及ぼし得る信号線群からなるコーン
１４２または１４６を自動的に抽出する（８４）。これ
は、信号線１４０または１４４に対して影響を及ぼし得
る信号線群の結果のみを再シミュレートすればこれらの
信号線の信号値の発生原因を知ることができ、コーン外
部の信号線についてはシミュレートをする必要がないた
めである。

【００４８】指定信号線が複数存在する場合には、その
複数の指定信号線の各々に対してコーンを自動抽出す
る。たとえば図８を参照して、信号線１４０および信号
線１４４を解析すべき信号線として指定した場合を想定
する。信号線１４０に対してはコーン１４２を、信号線
１４４に対してはコーン１４６をそれぞれ抽出する。こ
の場合、本実施の形態では、最初に、組合せ回路１１０
の出力により近い信号線である信号線１４０に対するコ
ーン１４２を抽出し、その後信号線１４４に対するコー
ン１４６を抽出する。両方のコーン１４２および１４６
に含まれる信号線１５０が存在した場合、コーン１４２
を抽出するときに信号線１５０に対してコーン１４２の
属性を付帯させる。そしてコーン１４６を抽出するとき
に、この属性によって信号線１５０をシミュレート対象
としてさらに追加することを拒絶する。したがって複数
のコーン１４２および１４６の重複部分１４８に属する
１つの信号線の値を再シミュレート時に重複して保存す
ることはない。

【００４９】以下に述べるように再シミュレート時には
コーン内部の再シミュレーション結果を保存するだけで
原因信号線の特定を行なうことができるので、論理シミ
ュレーション結果解析時の記憶装置の使用量を削減する
ことができる。またコーン外部の回路のシミュレーショ
ンを行なう必要がないので、再シミュレーションの実行
時間を短縮することができる。

【００５０】再び図３を参照して、ステップ８４で抽出
されたコーン内のインバータ、バッファゲートを抽出す
る。そして図９に示されるように、各ゲートの種類と、
その入出力信号線名とをインバータ・バッファゲート抽
出情報１６０として図１に示す補助記憶装置３８に保存
しておく。インバータ・バッファゲートについては、シ
ミュレーションの実行時にその出力信号線の値を保存し
なくとも、入力信号線の値とゲート種類とから自動的に
出力信号線の値を決定することができる。したがってイ
ンバータゲートおよびバッファゲートのための記憶容量
を削減しながらシミュレーション結果の解析を行なうこ
とができる。

【００５１】続いてステップ８８で、図８に示されるコ
ーン１４２のような、ステップ８４で抽出されたコーン
の情報に基づき、コーンの境界となる信号線を抽出し、
コーンとそれ以外の部分とに、解析対象回路を擬似的に
切り離す（８８）。その切離し方法は次の通りである。

【００５２】図１０に示されるように、たとえばコーン
１４２の内部の２つのＮＡＮＤゲートＸおよびＹが、コ
ーン１４２の外部にＮＡＮＤゲートＺがそれぞれ存在す
るものとする。ゲートＸは２つの入力信号線Ｎ１および
Ｎ２ならびに出力信号線Ａを有する。ゲートＹは信号線
Ａおよび信号線Ｎ４を入力として、信号線Ｎ６を出力信
号線としてそれぞれ持つ。ゲートＺは信号線Ａおよび信
号線Ｎ３を入力として、信号線Ｎ５を出力としてそれぞ
れ持つ。この場合、信号線Ａはコーン１４２の内部に属
し、かつコーン１４２の外部にも接続されている。こう
した場合、図１１に示されているように、コーン外部に
あるＮＡＮＤゲートＺの一方の入力信号線Ａの名前を
“Ａ＿dummy ”に変更する。これによりゲートＺの入力
信号線である信号線ＡとゲートＸの出力でありゲートＹ
の入力である入力信号線Ａとを別の信号線として取扱う
ことができる。この処理が、回路接続情報でどのような
処理に対応するかを図１２に示す。図１２（Ａ）は、図
１０に示す回路接続に対応した回路接続情報を、図１２
（Ｂ）は図１１に示した回路接続に対応した回路接続情
報をそれぞれ既存の記法に従って記述したネットリスト
である。これによって、信号線Ａを介してコーン１４２
の外部にイベントが伝播することがなくなる。コーン外
部のシミュレーションを行なう必要がなくなるので、以
下に述べる再シミュレーションに要する時間を削減する
ことができる。

【００５３】なお、ステップ８６および８８に述べた処
理は互いに独立であって、いずれか一方のみを行なうこ
ともできる。またさらに、ステップ８４〜８８の処理は
処理の効率化上で効果があるが、このようなコーンを抽
出した処理を行なわなくても本願発明によってシミュレ
ーション結果の記憶のために必要とされる記憶容量が削
減され、その結果シミュレート時間も短縮されることは
明らかである。

【００５４】続いてステップ７２（図２）で指定された
解析開始時刻からの再シミュレーションを実行する（９
０）。このとき、図４を参照して説明したように保存ポ
イント１１４のデータのみ読出すことにより再シミュレ
ーションを行なうことができるので、再シミュレーショ
ンの処理を短縮することができる。また図３のステップ
８４〜８８において説明した処理に従い、コーン内部の
回路の動作のみをシミュレートすることで、再シミュレ
ーションの時間をさらに削減することができる。またこ
のとき、コーン内のインバータ・バッファゲートについ
てその入力から出力信号値を自動的に生成しているの
で、インバータ・バッファゲートの値を保存しておく必
要もない（９２）。

【００５５】こうして再シミュレーションした結果を用
いて解析対象信号線の値の発生原因の探索を行なう（９
６）が、それに先立って以下に述べるような探索前処理
（９４）を行なう。ただし、この探索前処理をしなくと
も良い。

【００５６】図１３に図３の探索前処理９４の詳細なフ
ローチャートを示す。この処理は、解析すべき信号線の
値の発生原因を、解析対象信号線から入力側への後方追
跡手法を用いた探索に先立って発見するための処理であ
る。こうすることにより解析時間を短縮することができ
る。まず、外部入力に不定値が入力されていないか否か
について調べる（１７０）。不定値が入力されている外
部入力が存在すればこの外部入力が原因であるとして操
作者に知らせ、原因信号線の探索は中止する。すべての
外部入力信号線に確定値が入力されている場合、次に記
憶素子のクロックまたは制御入力（リセット入力など）
に不定値が入力されていないかどうかについて調べる
（１７２）。不定値が入力されている記憶素子が存在す
ればその記憶素子が原因であるとして操作者に知らせ、
探索を中止する。

【００５７】すべての記憶素子のクロックおよび制御入
力に確定値が入力されている場合、次に、駆動されてい
ない内部信号線が存在しないかどうかについて調べる
（１７４）。駆動されていない内部信号線が存在すれば
その信号線に不定値が割当てられていないかどうかを調
べ、不定値が割当てられていればその信号線が原因であ
るとして操作者に知らせ、原因信号線の探索は中止され
る。駆動されていない内部信号線が存在しないか、存在
したとしてもすべての信号線に確定値が割当てられてい
る場合には、解析対象信号線を特定し（１７６）、図３
に示すステップ９６の探索処理を開始する。

【００５８】こうして、ステップ９４の探索前処理を行
なうことにより、解析すべき信号線の値の発生原因であ
る原因信号線を自動探索する前に発見することが可能で
ある。そのため解析時間を短縮することができる。

【００５９】再び図３を参照して、ステップ９６で、解
析対象信号線の値の発生原因の探索を行なう。その結果
原因が発見されればステップ１０２に進み、該当パスを
図１に示す出力装置４０（表示装置）に表示して（１０
２）、論理シミュレーション結果の解析処理を終了す
る。一方ステップ１００で発生原因として記憶素子の出
力に到達した場合、操作者のコマンド入力またはメニュ
ー選択によってシミュレーション時刻を１周期戻し、そ
の時刻における外部入力および記憶素子の出力信号値を
当該信号線に割当て再シミュレーションを行なう（９
８）。このときの解析対象信号線の定め方につき図１４
および図１５を参照して説明する。

【００６０】図１４を参照して、信号線１８０の値の発
生原因の探索処理の結果、記憶素子１８８の出力につい
ての保存ポイント１８２に到達したものとする。記憶素
子１８８の入力は組合せ回路１１０の出力１９０に接続
されている。この場合、図１５に示されるように、保存
ポイント１８２から信号線１９２、記憶素子１８８、お
よび記憶素子１８８への入力信号線１９４を逆にたどり
組合せ回路１１０の出力信号線１９０を得る。ステップ
９８では、この出力信号線１９０を解析対象信号線とし
て再びその値の発生原因の探索処理を行なう。探索の結
果、たとえば図１５に示されるように入力信号線１９６
が発生原因として探索されれば解析処理は終了する。一
方この処理でも記憶素子からの入力に到達した場合には
上述の処理と同じ処理を繰返してさらに前の周期に戻り
再シミュレーションを実行する。

【００６１】このようにして探索が終了または中断する
と、図１４または図１５に示されるように解析対象回路
図を表示し、その中に原因信号線または最終探索信号線
から指定信号線までのパスをハイライト表示する（１０
２）。図１４および図１５に示されるように複数のサイ
クルにまたがる場合には、操作者のコマンド入力または
メニュー選択によって、サイクルを移動させて当該パス
を表示させる。こうして、原因信号線から指定信号線ま
でのパスをハイライト表示することによって、原因信号
線を探索した後の解析時間を従来よりも短縮することが
できる。

【００６２】以上のようにこの実施の形態１の装置によ
れば、解析対象となる回路への外部入力信号線の値と、
記憶素子の出力の値とを保存する。回路内部のすべての
信号線のシミュレーション結果を保存する必要がないの
で、必要な記憶容量を削減できる。またシミュレーショ
ン結果の保存に要する時間も短縮することができ、シミ
ュレーション自体の時間を短縮することができる。さら
に保存サイクルとして、シミュレーションの間の動作サ
イクルのすべてについてではなく、予め定められた周期
で保存を行なうことができる。再シミュレーション時に
は、指定された開始時刻から逆上って最も近い保存時刻
からシミュレーションを再実行すれば、指定された開始
時刻からのシミュレーションを行なうことが可能であ
る。シミュレーション結果を保存するための容量がさら
に削減でき、またシミュレート処理に要する時間もさら
に短縮できる。さらに、再シミュレート時に、解析対象
信号線に対するコーンを抽出しその内部の回路について
のみシミュレーションを行なう。コーン外部の回路のシ
ミュレーションをする必要はないので、必要となる記憶
容量が削減できるとともに、再シミュレーションに要す
る時間を短縮することができる。コーン内のインバータ
・バッファゲートを抽出し、それらの入力から出力を自
動生成するようにしても同様の効果を得ることができ
る。

【００６３】また、解析対象信号線からその発生原因の
探索を行なうに先立って、不定値が入力されている信号
線がないかどうかを判定し、発見された場合にはその信
号線を発生原因としてオペレータに知らせる。以後の発
生原因の信号線の探索処理を行なう必要がなく、解析時
間を短縮することができる。また、発生原因を見つけた
場合には、発生原因箇所から解析対象信号線までのパス
を表示させる。そのため原因信号線探索後の解析時間を
短縮することができる。

【００６４】なお、上述の実施の形態では、図２のステ
ップ５２で指定されるクロック用コントロールファイ
ル、固定値用コントロールファイル、１イベント信号用
コントロールファイルを、図６に示されるように別々の
ファイル１３０、１３２および１３４として確保した。
しかし本発明はこのように別々のファイルにコントロー
ル情報を保存するものには限定されない。たとえば図１
６に示されるように、各情報がコントロールする信号を
特定するためのキーワード（“ＣＬＯＣＫ”，“ＣＯＮ
ＳＴ”，“ＥＶＥＮＴ”）とともに必要な情報を記憶し
た単一のファイル２００として確保することもできる。
図１６に示されるように単一のファイル２００を使用す
ると、実施の形態１として述べたものと同様の効果が得
られるとともに、作成すべきファイル数を削減すること
ができるという効果がある。

【００６５】

【発明の効果】以上のように請求項１〜３に記載の発明
によれば、シミュレーションを行なうに際して必要とさ
れる記憶領域の容量を削減することができる。それによ
りシミュレーション時間を短縮することが可能である。

【００６６】請求項４〜６に記載の発明によれば、請求
項１〜３に記載の発明の効果に加えて、再シミュレーシ
ョンする際に必要とされる記憶領域の容量を削減するこ
とができるとともに、再シミュレーション対象となる回
路を解析対象回路の一部のコーン内に限定することがで
きる。そのため再シミュレーション時間を短縮すること
ができる。

【００６７】請求項７〜９に記載の発明によれば、請求
項１〜６に記載の発明の効果に加え、従来のようにオペ
レータが手作業により原因信号線を探索していた場合と
比較してはるかに解析時間を短縮することができる。

【図面の簡単な説明】

【図１】 本願発明の論理シミュレーション結果解析装
置のブロック図である。

【図２】 本願発明の論理シミュレーション結果解析装
置をコンピュータ上で実現するためのプログラム処理の
前半部のフローチャートである。

【図３】 本願発明に係る論理シミュレーション結果解
析装置をコンピュータ上で実現するためのプログラム処
理の後半部のフローチャートである。

【図４】 解析対象回路の一例を示すブロック図であ
る。

【図５】 組合せ回路への入力信号の例を模式的に示す
図である。

【図６】 クロック信号、固定値信号、１イベント信号
のためのコントロールファイルを示す図である。

【図７】 本願発明におけるシミュレーション結果の保
存方法を模式的に示す図である。

【図８】 本願発明における再シミュレーション時のコ
ーンの概念を示す図である。

【図９】 インバータ・バッファゲート抽出情報を模式
的に示す図である。

【図１０】 コーン内外の回路を模式的に切断する方法
を示す回路図である。

【図１１】 コーン内外の回路を模式的に切断した後の
回路図である。

【図１２】 コーン内外の回路を模式的に切断する前後
における回路接続情報を示す図である。

【図１３】 原因信号線の探索処理に先立って行なわれ
る前処理のフローチャートである。

【図１４】 原因信号線の探索およびパスの表示を模式
的に示す図である。

【図１５】 原因信号線の探索およびパスの表示を模式
的に示す図である。

【図１６】 単一のコントロールファイルを模式的に示
す図である。

【図１７】 従来の論理シミュレーション結果解析処理
のフローチャートである。

【図１８】 従来の原因信号線追跡処理の詳細フローチ
ャートである。

【符号の説明】

３０ 論理シミュレーション結果解析装置、３２ 中央
処理装置、３４ 主記憶装置、３６ 入力装置、３８
補助記憶装置、４０ 出力装置、１１０ 組合せ回路、
１１２ 入力信号線、１１４ 保存ポイント、１１６
出力信号線、１１８ 記憶素子、１４２、１４６ コー
ン。

Claims (9)

【特許請求の範囲】
1. 【請求項１】 解析対象回路の回路接続情報を保存する
   ための回路接続情報保存手段と、 外部入力と、前記回路接続情報とに基づいて、前記解析
   対象回路の動作をシミュレートするためのシミュレート
   手段と、 前記シミュレート手段のシミュレーションの実行に伴っ
   て変化する、前記解析対象回路内部の記憶素子の出力と
   前記解析対象回路への外部入力の値とを、予め定める間
   隔で、かつシミュレート時間と関連させて記憶するため
   の記憶手段と、 前記記憶手段の記憶内容に基づいて、任意の時刻から前
   記解析対象回路の再シミュレーションを実行する再シミ
   ュレート手段とを含む、論理シミュレーション結果解析
   装置。
2. 【請求項２】 前記解析対象回路は、予め定める波形を
   有するクロック信号を時間的な基準として動作する仕様
   とされており、 前記クロック信号の仕様を特定するための情報を記憶す
   るためのクロック信号仕様記憶手段をさらに含み、 前記シミュレート手段および前記再シミュレート手段
   は、それぞれシミュレーションの実行時に、前記クロッ
   ク信号仕様記憶手段に記憶された情報に基づいてクロッ
   ク信号に相当する信号を自動生成することにより前記解
   析対象回路の動作をシミュレートする、請求項１に記載
   の論理シミュレーション結果解析装置。
3. 【請求項３】 前記解析対象回路は、シミュレーション
   期間内の予め定める期間内において固定値をとる信号を
   入力として用い、 前記論理シミュレーション結果解析装置はさらに、前記
   固定値をとる信号の波形を特定するための固定値信号特
   定情報を記憶するための手段を含み、 前記シミュレート手段および前記再シミュレート手段
   は、それぞれシミュレーションの実行時に、前記予め定
   める期間内に前記固定値をとる信号を自動生成すること
   により前記解析対象回路の動作をシミュレートする、請
   求項１または２に記載の論理シミュレーション結果解析
   装置。
4. 【請求項４】 前記解析対象回路内のある信号線が指定
   されたことに応答して、前記回路接続情報に基づき、前
   記指定された信号線に対して影響を及ぼし得る信号線群
   からなるコーンを前記解析対象回路内において特定する
   ための手段と、 前記再シミュレート手段が前記解析対象回路を再シミュ
   レートする際に、前記コーン内部に存在する接続線上の
   信号の値を記憶するための手段をさらに含む、請求項１
   〜３のいずれかに記載の論理シミュレーション結果解析
   装置。
5. 【請求項５】 前記解析対象回路内に含まれるインバー
   タゲートおよびバッファゲートを前記回路接続情報から
   抽出し、当該ゲートの入出力信号線名およびその関係を
   特定する情報を保存するための手段と、 前記再シミュレート手段が前記解析対象回路を再シミュ
   レートする際に、保存された前記ゲートの入出力信号線
   名およびその関係から前記解析対象回路内に含まれるイ
   ンバータゲートおよびバッファゲートの出力信号線の値
   を自動生成するための手段をさらに含む、請求項１〜４
   のいずれかに記載の論理シミュレーション結果解析装
   置。
6. 【請求項６】 前記コーン内部の回路からコーン外部の
   回路への接続線上を伝播する信号がなくなるように、前
   記回路接続情報中の、前記コーンの境界上の信号線に関
   する情報を擬似的に変更するための手段をさらに含む、
   請求項４または５に記載の論理シミュレーション結果解
   析装置。
7. 【請求項７】 前記解析対象回路内部のある信号線が操
   作者により指定されたことに応答して、当該信号線の値
   の発生原因である信号線を探索するための手段をさらに
   含む、請求項１〜６のいずれかに記載の論理シミュレー
   ション結果解析装置。
8. 【請求項８】 前記解析対象回路の信号線のうち予め選
   択された信号線中に不定値を割当てられたものがあるか
   否かを調べ、不定値を割当てられた信号線が存在するこ
   とが検出された際には前記探索手段による探索の実行を
   中止させるための手段をさらに含む、請求項７に記載の
   論理シミュレーション結果解析装置。
9. 【請求項９】 前記指定された信号線の値に対して特定
   の影響を与えたと判断される信号線および前記探索の終
   了時に到達した信号線のいずれかから前記指定された信
   号線までのパスをグラフィカルに表示するための手段を
   さらに含む、請求項７または８に記載の論理シミュレー
   ション結果解析装置。