JPH1115864A - イベント発生原因解析装置および方法、論理不具合検出装置、ならびにイベント発生原因解析プログラムを記録した媒体 - Google Patents

Abstract

(57)【要約】 【課題】 イリーガルイベントの発生原因と伝搬経路と
を効率的に検出することが可能なイベント発生原因解析
装置を提供すること。 【解決手段】 イベント発生原因解析装置は、指定され
た条件と一致するイベントを検出するための特定イベン
ト検出装置２７と、回路の論理シミュレート時に発生す
るイベント伝搬情報を参照し、特定イベント検出装置２
７によって検出されたイベントからバックトレースして
発生原因を特定するためのイベント発生原因特定装置２
８とを含む。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理シミュレート
時に発生するイリーガルな信号変化（以後、イベントと
呼ぶ）の発生原因の解析に関し、特に、論理不具合の原
因を容易に解析することができるイベント発生原因解析
装置および方法、論理不具合検出装置、ならびにイベン
ト発生原因解析プログラムを記録した媒体に関する。

【０００２】

【従来の技術】近年、半導体集積回路の高集積化、多機
能化に伴い、その回路規模は増大する傾向にあり、半導
体集積回路の開発に要する時間も長くなりつつある。こ
の開発期間を短縮する方法の１つとして、論理シミュレ
ート時に発生した回路の不具合の原因を早期に検出し、
当該不具合の箇所を修正することが挙げられる。

【０００３】一般に、論理回路の論理検証はＨＤＬ（Ha
rdware Description Language ）記述を論理合成して得
られたゲートレベルネットリスト、またはスケマティッ
クエディタによって作成された論理回路に入力パターン
を入力し、その出力値と期待値とを比較することによっ
て行なわれる。論理不具合により、論理シミュレーショ
ンで得られた出力値と期待値とが一致しない場合には、
ＨＤＬ記述または論理回路を修正して再度論理シミュレ
ーションを行なう。

【０００４】図１２は、従来の論理不具合の発生原因を
特定する方法を説明するための図である。図１１に示す
回路内のインスタンス１０１の出力信号線Ａにイリーガ
ルなイベントが発生した場合に、インスタンス１０１の
入力信号線の波形を表示して、イベントがどの入力信号
線によるものかを特定していた。

【０００５】たとえば、インスタンス１０１の出力信号
線Ａに図１２（ａ）に示すようなイリーガルイベントが
発生した場合に、インスタンス１０１の入力信号線Ｂ
（図１２（ｂ））およびインスタンス１０１の入力信号
線Ｃ（図１２（ｃ））を表示し、イリーガルイベントの
伝搬原因である入力信号線Ｂをイリーガルイベントの発
生要因として特定する。そして、入力信号線Ｂを出力と
するインスタンス１０２の入力信号線ＤおよびＥを表示
する。そして、上述した操作を繰返して出力側から入力
側に行なうことにより、イリーガルイベントの発生要因
を特定し、順次イリーガルイベントの伝搬パスを特定し
ていた。

【０００６】

【発明が解決しようとする課題】上述したように、イリ
ーガルなイベントが発生した信号線を出力とするインス
タンスの入力信号線を画面上に波形表示し、目視により
イベントの伝搬経路を確認していた。しかし、イベント
発生原因を特定するためにこの操作を繰返す必要があ
り、非常に効率が悪かった。

【０００７】本発明は、上記問題点を解決するためにな
されたものであり、請求項１〜３に記載の発明の目的
は、指定された条件と一致するイベントの発生原因を自
動的に特定することが可能なイベント発生原因解析装置
を提供することである。

【０００８】請求項４に記載の発明の目的は、修正後の
論理回路における不具合を自動的に検出することが可能
な論理不具合検出装置を提供することである。

【０００９】請求項５に記載の発明の目的は、指定され
た条件と一致するイベントの発生原因を自動的に特定す
ることが可能なイベント発生原因解析方法を提供するこ
とである。

【００１０】請求項６に記載の発明の目的は、指定され
た条件と一致するイベントの発生原因を自動的に特定す
ることが可能なイベント発生原因解析プログラムを記録
した媒体を提供することである。

【００１１】

【課題を解決するための手段】請求項１に記載のイベン
ト発生原因解析装置は、回路の論理シミュレート時に発
生するイベント伝搬情報を格納するための格納手段と、
指定された条件と一致するイベントを検出するためのイ
ベント検出手段と、格納手段に格納されたイベント伝搬
情報を参照し、イベント検出手段によって検出されたイ
ベントからバックトレースして発生原因を特定するため
のイベント発生原因特定手段とを含む。

【００１２】イベント発生原因特定手段は、回路の論理
シミュレート時に発生するイベント伝搬情報を参照し、
イベント検出手段によって検出されたイベントからバッ
クトレースを繰返して発生原因を特定する。したがっ
て、イベントの発生原因を自動的に特定することが可能
となる。

【００１３】請求項２に記載のイベント発生原因解析装
置は、請求項１記載のイベント発生原因解析装置であっ
て、イベント発生原因解析装置はさらに論理回路を表示
するための表示手段を含み、イベント発生原因特定手段
は格納手段に格納されたイベント伝搬情報を参照し、イ
ベント検出手段によって検出されたイベントから順にバ
ックトレースしてイベントの伝搬経路と発生原因を特定
し、表示手段はイベント発生原因特定手段によって特定
された伝搬経路と発生原因とを論理回路内に表示する。

【００１４】請求項３に記載のイベント発生原因解析装
置は、請求項１または２記載のイベント発生原因解析装
置であって、イベント検出手段は不定値となるイベント
を検出する。

【００１５】請求項４に記載の論理不具合検出装置は、
回路を論理シミュレートするためのシミュレーション手
段と、論理回路内の信号線を指定するための指定手段
と、論理回路の修正を行なうための修正手段と、シミュ
レーション手段による論理シミュレート時に発生する指
定手段により指定された論理回路内の信号線の値と、シ
ミュレーション手段による論理シミュレート時に発生す
る指定手段により指定された信号線の修正後の論理回路
における値とを比較して不具合を検出するための不具合
検出手段とを含む。

【００１６】不具合検出手段は、修正前の論理回路にお
ける指定手段により指定された信号線の値と、修正後の
論理回路における指定手段により指定された信号線の値
とを比較することにより不具合を検出している。したが
って、修正前後における論理回路内の同一の信号線の値
が一致しない場合には、修正により論理回路内に不具合
が発生していると判定する。

【００１７】請求項５に記載のイベント発生原因解析方
法は、回路の論理シミュレート時に発生するイベント伝
搬情報を格納するステップと、指定された条件と一致す
るイベントを検出するステップと、格納されたイベント
伝搬情報を参照し、検出されたイベントからバックトレ
ースして発生原因を特定するステップとを含む。

【００１８】格納されたイベント伝搬情報を参照し、指
定された条件と一致するイベントから順次バックトレー
スすることにより発生原因を特定している。したがっ
て、イベントの発生原因を自動的に特定することが可能
となる。

【００１９】請求項６に記載のイベント発生原因解析プ
ログラムを記録した媒体は、回路の論理シミュレート時
に発生するイベント伝搬情報を格納するステップと、指
定された条件と一致するイベントを検出するステップ
と、格納されたイベント伝搬情報を参照し、検出された
イベントからバックトレースして発生原因を特定するス
テップとを含む。

【００２０】格納されたイベント伝搬情報を参照し、指
定された条件と一致するイベントから順次バックトレー
スすることにより発生原因を特定している。したがっ
て、イベントの発生原因を自動的に特定することが可能
となる。

【００２１】

【発明の実施の形態】図１は、本発明のイベント発生原
因解析装置の外観を示す図である。イベント発生原因解
析装置は、コンピュータ本体１、グラフィックディスプ
レイ装置２、磁気テープ４が装着される磁気テープ装置
３、キーボード５、マウス６、ＣＤ−ＲＯＭ（Compact
Disk-Read Only Memory ）８が装着されるＣＤ−ＲＯＭ
装置７、および通信モデム９を含む。後述するようにイ
ベント発生原因解析プログラムは、磁気テープ４または
ＣＤ−ＲＯＭ８等の記録媒体によって供給される。イベ
ント発生原因解析プログラムはコンピュータ本体１によ
って実行され、操作者はグラフィックディスプレイ装置
２を見ながらキーボード５またはマウス６を操作するこ
とによってイベントの発生原因を解析する。また、イベ
ント発生原因解析プログラムは他のコンピュータにより
通信回線を経由し、通信モデム９を介してコンピュータ
本体１に供給されてもよい。

【００２２】図２は、本発明のイベント発生原因解析装
置の構成を示すブロック図である。図１に示すコンピュ
ータ本体１は、ＣＰＵ（Centeral Processing Unit）１
０、ＲＯＭ（Read Only Memory）１１、ＲＡＭ（Random
Access Memory）１２およびハードディスク１３を含
む。ＣＰＵ１０は、グラフィックディスプレイ装置２、
磁気テープ装置３、キーボード５、マウス６、ＣＤ−Ｒ
ＯＭ装置７、通信モデム９、ＲＯＭ１１、ＲＡＭ１２ま
たはハードディスク１３との間でデータを入出力しなが
ら処理を行なう。磁気テープ４またはＣＤ−ＲＯＭ８に
記録されたイベント発生原因解析プログラムは、ＣＰＵ
１０によって磁気テープ装置３またはＣＤ−ＲＯＭ装置
７を介して一旦ハードディスク１３に格納される。ＣＰ
Ｕ１０は、ハードディスク１３から適宜イベント発生原
因解析プログラムをＲＡＭ１２にロードして実行するこ
とによってイベントの発生原因が解析される。以下、本
発明の各実施の形態におけるイベント発生原因解析装置
について説明するが、図１に示すイベント発生原因解析
装置の外観および図２に示すイベント発生原因解析装置
の構成ブロック図は各実施の形態において共通である。

【００２３】［実施の形態１］図３は、本発明の実施の
形態におけるイベント発生原因解析装置の概略構成を示
すブロック図である。この装置はＨＤＬ記述２１を論理
合成（２２）することにより得られたネットリスト２３
またはスケマティックエディタによって作成された論理
回路２４の論理シミュレートを行なうための論理シミュ
レータ２５、指定された条件と一致するイベントを検出
するための特定イベント検出装置２７、論理シミュレー
タ２５により得られたイベント伝搬情報４０と特定イベ
ント検出装置２７が検出した特定イベントまたはユーザ
により指定されたユーザ指定イベント３０とに基づいて
イベントの発生原因を特定するためのイベント発生原因
特定装置２８、およびイベント発生原因特定装置２８に
よって特定されたイベントの発生原因とイリーガルイベ
ント伝搬パス３１とを画面に表示された論理回路上に、
またはテキスト情報として表示するためのイベント伝搬
パス表示装置２９を含む。

【００２４】図４は、論理シミュレータ２５により論理
シミュレート時に生成されるイベント伝搬情報４０のデ
ータ構造を示す図である。イベント伝搬情報４０は、回
路内で発生したイベントの信号線名４１、伝搬元信号線
へのポインタ４２、イベント発生時間４３、イベントが
発生する前の信号線の値であるイベント前信号線値４
４、イベントが発生した後の信号線の値であるイベント
後信号線値４５、当該信号線が入力されるインスタンス
名４６−１〜４６−ｎ、および伝搬先信号線へのポイン
タ４７−１〜４７−ｎを含む。このように、イベント伝
搬情報を双方向リストの形で表現することにより、イベ
ントのバックトレースを容易に行なえるようにしてい
る。

【００２５】図５（ａ）は、論理シミュレータ２５によ
って論理シミュレートされる回路図の一例を示してい
る。また、図５（ｂ）は、図５（ａ）に示す回路図を論
理シミュレートする際に生成されるイベント伝搬情報を
示している。たとえば、図５（ａ）に示すインスタンス
Ｉ１の入力信号線Ｇが変化することにより、インスタン
スＩ３の出力信号線Ａが変化したとする。この場合、信
号線名Ｇに関するイベント伝搬情報４０−１、信号線名
Ｄに関するイベント伝搬情報４０−２、信号線名Ｂに関
するイベント伝搬情報４０−３、および信号線名Ａに関
するイベント伝搬情報４０−４が順に生成される。

【００２６】また、イベント伝搬情報には、論理シミュ
レート前に指定された特定信号線の全イベントを記憶す
る値変化情報が付加される。この値変化情報は、特定信
号線にイベントが発生した場合の発生時刻とイベント伝
搬情報へのポインタとを含む。たとえば、論理シミュレ
ート前に信号線Ａが特定信号線として指定された場合、
図５（ｃ）に示す値変化情報が生成される。この値変化
情報を参照することにより、イベント発生時間１０３の
イベント伝搬情報が４０−４であることがわかり、その
イベント伝搬情報４０−４をバックトレースすることに
より、イベントの発生原因が信号線Ｇの変化によるもの
であることがわかる。

【００２７】図６は、論理シミュレータ２５および特定
イベント検出装置２７をより詳細に説明するための図で
ある。論理シミュレータ２５は、図３に示すネットリス
ト２３または論理回路２４に基づいて論理シミュレート
を行なう際に、上述したイベント伝搬情報４０およびイ
ベント発生情報３２を生成する。論理シミュレータ２５
は、論理シミュレート時に発生するイベントをＲＡＭ１
２内に記憶しており、この記憶されたイベントがイベン
ト発生情報３２である。論理シミュレート終了後は、こ
のイベント発生情報３２は保持されていない。特定イベ
ント検出装置２７は、このイベント発生情報３２を監視
しており、指定したイベント発生条件３３と一致するイ
ベントが発生した場合そのイベントをトリガし、イベン
ト伝搬情報４０を参照して当該イベントへのポインタ３
４を出力する。

【００２８】イベント発生条件３３としては、たとえば
指定した信号線にイベントが発生した場合、ある信号線
がある値であるときに別の信号線にイベントが発生した
場合、またはこれらの２つのイベントが特定の時間もし
くは時間区間に発生した場合等が挙げられる。特定イベ
ント検出装置２７は、イベントをトリガしたときに論理
シミュレータ２５に対して論理シミュレートを中断させ
る機能を有する。

【００２９】図７は、イベント発生原因特定装置２８の
処理手順を示すフローチャートである。まず、イベント
発生原因特定装置２８は、ユーザによって指定されたユ
ーザ指定イベント３０とイベント伝搬情報４０とを参照
し、イベント伝搬情報４０内の値変化情報からユーザ指
定イベントへのポインタ３５を抽出する（Ｓ１）。ユー
ザは、信号線名とイベント発生時間、または画面に表示
された波形図上でイベントを指定することによって、直
接イベントを指定することもできる。指定された信号線
名がイベント伝搬情報４０内に値変化情報として存在す
る場合は、当該イベントへのポインタ３４が抽出され
る。また指定された信号線名が値変化情報として存在し
ない場合は、イベント伝搬情報４０内の全イベントを検
索して当該イベントへのポインタ３５が抽出される。

【００３０】イベント発生原因特定装置２８は、特定イ
ベント検出装置２７が検出したイベントへのポインタ３
４またはユーザ指定イベント３０から抽出されたイベン
トへのポインタ３５を参照して、ポインタが示すイベン
トについてイベント伝搬元方向にバックトレースする
（Ｓ２）。そして、伝搬元のイベントのイベント伝搬情
報４０を参照し、伝搬元へのポインタ４２がｎｉｌであ
るか否かを判定する（Ｓ３）。

【００３１】伝搬元へのポインタ４２が、ｎｉｌでない
場合（Ｓ３，ｎｏｔ ｎｉｌ）、ステップＳ２へ戻り処
理を繰返す。

【００３２】また、伝搬元へのポインタ４２がｎｉｌで
ある場合（Ｓ３，ｎｉｌ）、このイベントをイベント発
生原因と特定し、イベント発生信号線３６およびイベン
ト伝搬パス３７を出力する（Ｓ４）。

【００３３】図３のイベント伝搬パス表示装置２９は、
以上の処理により抽出されたイベント発生信号線３６と
イベント伝搬パス３７とを画面に表示された論理回路図
上にハイライト表示するか、またはテキストデータの形
で表示する。

【００３４】以上説明したように、本実施の形態におけ
るイベント発生原因解析装置は、論理回路の不具合等に
よって生じるイリーガルなイベントの発生原因およびイ
ベント伝搬パスを、特定イベントからバックトレースす
ることにより自動的に検出することが可能となる。

【００３５】［実施の形態２］実施の形態２におけるイ
ベント発生原因解析装置は、図３に示す実施の形態１に
おけるイベント発生原因解析装置の構成と同じであるの
で詳細な説明は繰返さない。ただし、図３の特定イベン
ト検出装置２７、イベント発生原因特定装置２８、およ
びイベント伝搬パス表示装置２９の機能が異なる。した
がって本実施の形態における特定イベント検出装置の参
照符号を２７′、イベント発生原因特定装置の参照符号
を２８′、イベント伝搬パス表示装置の参照符号を２
９′として説明する。

【００３６】通常の論理シミュレート時において最も多
く発生するのは、入力端子への入力パターンの未設定や
記憶素子の初期化ミス等による不定値である。特定イベ
ント検出装置２７′は、このような信号線の不定値を検
出して論理シミュレータ２５による論理シミュレートを
停止させる。そして、特定イベント検出装置２７′は、
この不定値が発生したイベントへのポインタ３４をイベ
ント発生原因特定装置２８′へ送出する。

【００３７】イベント発生原因特定装置２８′は、イベ
ントへのポインタ３４とイベント伝搬情報４０とを参照
し、バックトレースすることにより最後に不定値となっ
ている信号線をイベント発生信号線３６として確定す
る。

【００３８】図８は、不定値が発生した場所を判定する
処理手順を説明するためのフローチャートである。ま
ず、イベント発生信号線３６の発生場所を判定する（Ｓ
５）。発生場所が入力ピンである場合（Ｓ６）、イベン
ト伝搬パス表示装置２９′は入力ピンデータが未定義で
あることを警告する（Ｓ７）。また、不定値の発生場所
が記憶素子の出力端子であれば（Ｓ８）、イベント伝搬
パス表示装置２９′は当該記憶素子のセット端子、リセ
ット端子またはクロック端子の状態を報告する（Ｓ
９）。また、不定値の発生場所が信号線またはバスであ
る場合（Ｓ１０）、当該信号線またはバスをドライブす
る全インスタンスをネットリスト２３または論理回路２
４から抽出しその出力値を表示する（Ｓ１１）。

【００３９】以上説明したように、本実施の形態におけ
るイベント発生原因解析装置は、論理検証の初期段階で
発生する信号線の不定値の原因特定を効率的に行なうこ
とが可能となる。

【００４０】［実施の形態３］図９は、実施の形態３に
おける論理不具合検出装置の概略構成を示すブロック図
である。本実施の形態における論理不具合検出装置は、
図３に示す実施の形態１におけるイベント発生原因解析
装置と比較して、論理シミュレータの機能が追加された
点と、不具合検出装置５３が付加された点においてのみ
異なる。したがって重複する部分の構成および機能の詳
細な説明は繰返さない。また、論理シミュレータの参照
符号を２５′として説明する。

【００４１】実施の形態１におけるイベント発生原因解
析装置と同様にして検出されたイリーガルイベントの発
生原因に基づいて、論理回路が修正された場合、当該イ
リーガルイベントの発生原因が解決されるだけであれば
よいば、それまで正常に動作していた論理回路に新たな
イリーガルイベントが発生する可能性がある。これを解
決するために、論理シミュレータ２５′は、論理回路の
修正によって影響を受けると予測される信号線（指定信
号線５１）が指定され、論理シミュレート時にその信号
線値５２を出力する。不具合検出装置５３は、修正前の
論理回路における信号線値５２と修正後の論理回路にお
ける信号線値５２とを比較することにより、論理回路の
不具合を検出する。

【００４２】図１０は、本実施の形態における論理不具
合検出装置の処理手順を示すフローチャートである。ま
ず、図３を用いて説明した実施の形態１におけるイベン
ト発生原因解析装置と同様にイリーガルイベントを検出
する（Ｓ１２）。

【００４３】論理シミュレータ２５′は、イリーガルイ
ベントをトリガした段階で論理シミュレートを中断する
（Ｓ１３）。そして、ユーザによって指定信号線５１が
指定され（Ｓ１４）、指定信号線５１の信号線値５２が
不具合検出装置５３によって記憶される（Ｓ１５）。

【００４４】ユーザは、イリーガルイベントが発生した
論理回路を修正し（Ｓ１６）、論理シミュレータ２５′
による論理シミュレートが再度行なわれる（Ｓ１７）。
そして、ステップＳ１３においてイリーガルイベントを
トリガした時間と同じ時間に論理シミュレートを停止さ
せる（Ｓ１８）。

【００４５】論理修正前の信号線値５２と論理修正後の
信号線値５２とを比較し（Ｓ１９）、不具合検出装置５
３は値の異なる信号線値を出力する（Ｓ２０）。

【００４６】以上説明したように、本実施の形態におけ
る論理不具合検出装置は、論理修正前後の信号線値を比
較することにより、論理修正により新たに回路の不具合
が発生したか否かを確認することが可能となる。また、
不具合が発生した場合、設計者が不具合の原因を解析し
て原因イベントを特定し、この原因イベントをユーザ指
定イベント３０としてイベント発生原因解析装置で解析
することが可能である。さらに、値の不一致が発生した
信号線の発生イベントをイベント発生条件３３としてイ
ベント発生原因解析装置で解析することも可能である。

【００４７】

【発明の効果】請求項１におけるイベント発生原因解析
装置によれば、指定された条件と一致するイベントから
バックトレースして発生原因を特定するようにしたの
で、イリーガルイベントの発生原因を自動的に検出する
ことが可能になった。

【００４８】請求項２におけるイベント発生原因解析装
置によれば、イリーガルイベントの発生原因と伝搬経路
とを論理回路内に表示するので、イリーガルイベントの
発生原因と伝搬経路とを容易に把握することが可能とな
った。

【００４９】請求項３におけるイベント発生原因解析装
置によれば、不定値となるイリーガルイベントを検出す
るようにしたので、論理検証の初期段階で発生する不定
値の発生原因および伝搬経路を効率的に特定することが
可能となった。

【００５０】請求項４における論理不具合検出装置によ
れば、修正前後の論理回路における信号線値を比較して
不具合を検出するようにしたので、論理回路の修正によ
り新たに発生するイリーガルイベントを容易に確認する
ことが可能となった。

【００５１】請求項５におけるイベント発生原因解析方
法によれば、指定された条件と一致するイベントからバ
ックトレースして発生原因を特定するようにしたので、
イリーガルイベントの発生原因を効率的に特定すること
が可能となった。

【００５２】請求項６におけるイベント発生原因解析プ
ログラムを記録した媒体によれば、指定された条件と一
致するイベントからバックトレースして発生原因を特定
するようにしたので、イリーガルイベントの発生原因を
効率的に検出することが可能となった。

【図面の簡単な説明】

【図１】 本発明のイベント発生原因解析装置の外観を
示す図である。

【図２】 本発明のイベント発生原因解析装置の構成を
示すブロック図である。

【図３】 本発明の実施の形態１におけるイベント発生
原因解析装置の構成を示すブロック図である。

【図４】 本発明のイベント伝搬情報のデータ構造を示
す図である。

【図５】 （ａ）は、論理回路の一例を示す図である。
（ｂ）は、論理シミュレート時に生成されるイベント伝
搬情報の一例を示す図である。（ｃ）は、値変化情報の
一例を示す図である。

【図６】 本発明の実施の形態１における論理シミュレ
ータ２５および特定イベント検出装置２７をより詳細に
説明するための図である。

【図７】 イベント発生原因特定装置２８の処理手順を
示すフローチャートである。

【図８】 本発明の実施の形態２におけるイベント発生
原因解析装置の処理手順を示すフローチャートである。

【図９】 本発明の実施の形態３における論理不具合検
出装置の概略構成を示すブロック図である。

【図１０】 本発明の実施の形態３における論理不具合
検出装置の処理手順を示すフローチャートである。

【図１１】 従来の技術を説明するための論理回路の一
例を示す図である。

【図１２】 従来のイリーガルイベントの発生原因を特
定する方法を説明するための図である。

【符号の説明】

１ コンピュータ本体、２ グラフィックディスプレイ
装置、３ 磁気テープ装置、４ 磁気テープ、５ キー
ボード、６ マウス、７ ＣＤ−ＲＯＭ装置、８ ＣＤ
−ＲＯＭ、９ 通信モデム、１０ ＣＰＵ、１１ ＲＯ
Ｍ、１２ ＲＡＭ、１３ ハードディスク装置、２５
論理シミュレータ、２７ 特定イベント検出装置、２８
イベント発生原因特定装置、２９ イベント伝搬パス
表示装置、５３ 不具合検出装置。

Claims (6)

【特許請求の範囲】
1. 【請求項１】 回路の論理シミュレート時に発生するイ
   ベント伝搬情報を格納するための格納手段と、 指定された条件と一致するイベントを検出するためのイ
   ベント検出手段と、 前記格納手段に格納されたイベント伝搬情報を参照し、
   前記イベント検出手段によって検出されたイベントから
   バックトレースして発生原因を特定するためのイベント
   発生原因特定手段とを含むイベント発生原因解析装置。
2. 【請求項２】 前記イベント発生原因解析装置はさら
   に、論理回路を表示するための表示手段を含み、 前記イベント発生原因特定手段は、前記格納手段に格納
   されたイベント伝搬情報を参照し、前記イベント検出手
   段によって検出されたイベントから順にバックトレース
   して該イベントの伝搬経路と発生原因とを特定し、 前記表示手段は、前記イベント発生原因特定手段によっ
   て特定された伝搬経路と発生原因とを前記論理回路内に
   表示する、請求項１記載のイベント発生原因解析装置。
3. 【請求項３】 前記イベント検出手段は、不定値となる
   イベントを検出する、請求項１または２記載のイベント
   発生原因解析装置。
4. 【請求項４】 回路を論理シミュレートするためのシミ
   ュレーション手段と、 論理回路内の信号線を指定するための指定手段と、 前記論理回路の修正を行なうための修正手段と、 前記シミュレーション手段による論理シミュレート時に
   発生する前記指定手段により指定された論理回路内の信
   号線の値と、前記シミュレーション手段による論理シミ
   ュレート時に発生する前記指定手段により指定された信
   号線の前記修正後の論理回路における値とを比較して不
   具合を検出するための不具合検出手段とを含む論理不具
   合検出装置。
5. 【請求項５】 回路の論理シミュレート時に発生するイ
   ベント伝搬情報を格納するステップと、 指定された条件と一致するイベントを検出するステップ
   と、 前記格納されたイベント伝搬情報を参照し、前記検出さ
   れたイベントからバックトレースして発生原因を特定す
   るステップとを含むイベント発生原因解析方法。
6. 【請求項６】 回路の論理シミュレート時に発生するイ
   ベント伝搬情報を格納するステップと、 指定された条件と一致するイベントを検出するステップ
   と、 前記格納されたイベント伝搬情報を参照し、前記検出さ
   れたイベントからバックトレースして発生原因を特定す
   るステップとを含むイベント発生原因解析プログラムを
   記録した媒体。