JP2000020571A

JP2000020571A - 論理回路の解析方法、論理回路の解析装置、および論理回路の解析方法を記録した媒体

Info

Publication number: JP2000020571A
Application number: JP10187941A
Authority: JP
Inventors: Yoshiaki Nakade; 美彰中出
Original assignee: Sharp Corp
Current assignee: Sharp Corp
Priority date: 1998-07-02
Filing date: 1998-07-02
Publication date: 2000-01-21

Abstract

(57)【要約】【課題】従来の論理回路の解析方法では、不定値生成
の原因となるイベントが発生した時刻およびそのイベン
トの発生源とを即座に求めることができなかった。【解決手段】本発明の論理回路の解析方法は、複数の
ノードを含む論理回路情報を入力するステップと、複数
のノードの各々で発生したイベントを検知するステップ
と、検知したイベントに関連するイベント情報を生成す
るステップと、イベント情報に基づいて不具合の発生し
た時刻情報および不具合の発生したノードの位置情報を
含む参照イベント情報を生成するステップと、参照イベ
ント情報を記憶するステップとを包含する。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、論理回路の解析方
法、論理回路の解析装置、および論理回路の解析方法を
記録した媒体に関する。特に、半導体集積回路の論理検
証において、不定値が生成される原因を解析するための
方法、装置、および媒体に関する。

【０００２】

【従来の技術】半導体集積回路の論理検証としては、シ
ミュレーションの結果を期待値と比較する動的解析技術
を用いる手法や、二分枝や論理式などによって２つの回
路が論理的に等価であるかどうかを調べる静的解析技術
を用いる手法があり、従来より一般的に行われている。
静的解析技術は、基本的に、値として「０」と「１」の
みを許す２値論理に基づいているため、実際の回路で問
題となる不定値（通常、値「Ｘ」で表す）の解析には適
さない。

【０００３】動的解析技術では、不定値を含む多値論理
を扱うことができる。しかし、実際に半導体集積回路の
論理検証を行うには、時間情報を伴うデータを解析しな
ければならない。このため、解析結果が期待される値と
一致しない場合、その原因を求めるには困難が伴う。

【０００４】

【発明が解決しようとする課題】不定論理の生成される
原因を解析するための方式として、特開平５−１３５１
３２号公報に記載された方式や、特開平８−１６６４６
号公報に記載されたシステムなどがある。

【０００５】前者はある信号がある時刻に不定となった
原因を過去のシミュレーション結果から求めている。こ
の結果、必要となる記憶容量は、シミュレーション時間
に比例して増加する。また、原因を直接関係する信号の
中から遂次的に求めているため、根本的な原因を即座に
求めることは不可能であり、求めた原因が回路の他の部
分に与えている影響を評価することもできない。

【０００６】後者は、各ネットで不定値を取った回数を
記憶し、これを定量的に評価するだけである。このた
め、統計的な解析結果しか得られず、ある信号がある時
刻に不定となった原因を求めることはできない。

【０００７】本発明は、従来の論理回路の解析方法を改
良して、上述のような問題点を取り除き、不定値生成の
原因となるイベントが発生した時刻およびそのイベント
の発生源とを即座に求めることが可能な論理回路の解析
方法を提供することを目的としている。

【０００８】

【課題を解決するための手段】本発明の論理回路の解析
方法は、複数のノードを含む論理回路情報を入力するス
テップと、該複数のノードの各々で発生したイベントを
検知するステップと、該検知したイベントに関連するイ
ベント情報を生成するステップと、該イベント情報に基
づいて不具合の発生した時刻情報および不具合の発生し
たノードの位置情報を含む参照イベント情報を生成する
ステップと、該参照イベント情報を記憶するステップと
を包含し、これにより、上記目的が達成される。

【０００９】本発明の論理回路の解析装置は、複数のノ
ードを含む論理回路を解析する論理回路の解析装置であ
って、該複数のノードの各々で発生したイベントを検知
し、該検知されたイベントに関連するイベント情報を生
成するイベント検知部と、該イベント情報に基づいて不
具合の発生した時刻情報および不具合の発生したノード
の位置情報を含む参照イベント情報を生成するイベント
判定部と、該参照イベント情報を記憶する記憶部とを備
え、これにより、上記目的が達成される。

【００１０】前記イベント情報は、イベントを検知した
時刻情報と、イベントを検知したノードにおける信号の
値と、イベントの原因となった別のノードの位置と、イ
ベントの原因となった別のノードにおける信号の値とを
含み、前記参照イベント情報は、不具合の発生したノー
ドでの信号の値をさらに含んでもよい。

【００１１】前記イベント情報は、イベントを検知した
時刻情報と、イベントを検知したノードにおける信号の
値と、イベントの原因となった別のノードの位置と、イ
ベントの原因となった別のノードにおける信号の値とを
含み、前記不具合の発生したノードに対応する前記参照
イベント情報は、不具合の発生した時刻情報および不具
合の発生したノードの位置情報を含むように更新され、
前記不具合の発生したノードに対応しない前記参照イベ
ント情報は、一定の値を含むように更新されてもよい。

【００１２】前記論理回路の解析装置は、前記記憶部に
記憶された前記参照イベント情報に基づいた情報を表示
する表示部をさらに備えてもよい。

【００１３】本発明のコンピュータ読み取り可能な記録
媒体は、複数のノードを含む論理回路情報を入力するス
テップと、該複数のノードの各々で発生したイベントを
検知するステップと、該検知したイベントに関連するイ
ベント情報を生成するステップと、該イベント情報に基
づいて不具合の発生した時刻情報および不具合の発生し
たノードの位置情報を含む参照イベント情報を生成する
ステップと、該参照イベント情報を記憶するステップと
をコンピュータに実行させるプログラムを記録し、これ
により、上記目的が達成される。

【００１４】

【発明の実施の形態】（第１の実施の形態）図１は、本
発明の解析装置１の構成を示す。解析装置１は、複数の
ノードを含む論理回路を解析する。

【００１５】解析装置１は、入力部100と、イベント検
知部101と、イベント判定部102と、記憶部103とを備え
ている。

【００１６】イベント検知部101には、入力部100から、
複数のノードを含む論理回路情報10が入力される。イベ
ント検知部101は、複数のノードの各々で発生するイベ
ントを検知し、その検知したイベントに関連するイベン
ト情報11を生成する。

【００１７】イベント情報11は、イベントを検知した時
刻Ｔと、イベントを検知したノード名Net、ノードNetに
おける信号の値Valと、イベントの原因となったノード
名cfNetと、イベントの原因となった信号の値cfValとを
含んでいる。イベントの原因となった信号の値cfVal
は、イベントの原因となったノードcfNetにおける信号
の値である。

【００１８】イベント情報11は、複数のノードのうちの
あるノードと別のノードとの因果関係を情報としてさら
に含んでいてもよい。

【００１９】各ノードにおいて、信号は、値「０」およ
び値「１」のいずれかをとるか、もしくは「０」でも
「１」でもない値をとる。あるノードで「０」でも
「１」でもない値をとったとき、これを不定値をとった
と表現する。不定値をとったとき、値「Ｘ」をとったと
表記する。また、あるノードで「０」か「１」の値をと
ったとき、これを定数値をとったと表現する。

【００２０】あるノードにおける信号の値が、「０」、
「１」、「Ｘ」の間で変化したとき、イベントを検知し
たと表現する。例えばノードNetにおける信号の値Valが
それまで「０」であり、時刻Ｔに信号の値Valが「１」
に変化したとすると、これを時刻ＴにノードNetでイベ
ントを検知したと表現する。

【００２１】ノードNetにおける信号の値が「０」もし
くは「１」から「Ｘ」に変化するような、イベントを検
知したとき、これをノードNetで不具合が発生したと表
現する。

【００２２】逆に、ノードNetにおける信号の値が
「Ｘ」、「０」、「１」のいずれかから「０」もしくは
「１」に変化するような、イベントを検知したとき、こ
れをノードNetで不具合が発生しなかったと表現する。

【００２３】記憶部103には、参照イベント情報13が予
め記憶されている。

【００２４】参照イベント情報13は、不具合の原因を生
じさせるイベントが検知された時刻cfTと、不具合の原
因を生じさせるイベントを検知したノードの位置情報cf
N2とを含んでいる。ノード名Netをキーとして、不具合
の原因を生じさせるイベントが検知された時刻cfTと、
不具合の原因を生じさせるイベントを検知したノードの
位置情報cfN2とを、検索することができ、さらに読み出
しすることもできる。

【００２５】参照イベント情報13は、イベントを検知し
たノードNetにおける信号の値Valをさらに含む。

【００２６】イベント判定部102は、イベント情報11を
評価した結果に基づいて、記憶部103に記憶された参照
イベント情報13を更新する。参照イベント情報13の更新
の詳細については、後述する。

【００２７】解析装置１は、表示イベント情報15を表示
する表示部104をさらに備えている。表示イベント情報1
5は、記憶部103に記憶された参照イベント情報13に基づ
いた情報である。

【００２８】表示部104は、表示ネット情報14を記憶部1
03へ送信することで、表示イベント情報15を受け取り、
これを表示する。表示ネット情報14を設計者が外部から
入力することで、記憶部103から表示ネット情報14を読
み出し、これを表示してもよい。

【００２９】イベントを検知したノード名Net、不具合
の原因を生じさせるイベントを生じさせるイベントを検
知した時刻cfT、不具合の原因を生じさせるイベントを
検知したノードの位置情報cfN2などをキーとなる表示ネ
ット情報14として、表示部104から記憶部103へ渡すこと
で、表示イベント情報15を表示することができる。キー
となる表示ネット情報14としては、記憶部103に記憶さ
れている参照イベント情報13に含まれる情報であれば、
どれでもよい。また、参照イベント情報13に含まれる複
数の情報を、キーとなる表示ネット情報14として入力し
てもよい。

【００３０】表示される表示イベント情報15としては、
イベントを検知したノード名Net、不具合の原因を生じ
させるイベントを生じさせるイベントを検知した時刻cf
T、不具合の原因を生じさせるイベントを検知したノー
ドの位置情報cfN2などがある。記憶部103に記憶されて
いる参照イベント情報13に含まれる情報であれば、どの
情報でも表示イベント情報15として表示させることがで
きる。キーとなる表示ネット情報14として、適当な情報
を渡すことで、所望の表示イベント情報15を表示させる
ことができる。

【００３１】キーとなる表示ネット情報14として、適切
な情報を渡すことで、論理回路中の不定値の分布状況を
詳しく表示することができる。

【００３２】表示部104での表示方法としては、（１）
不具合の原因を生じさせるイベントを検知したノードの
位置情報や、不具合の原因を生じさせるイベントが検知
された時刻に基づいて、原因別に定量化し、結果をグラ
フとして表示させる方法、（２）不具合の原因を生じさ
せるイベントを検知したノードの位置情報や、不具合の
原因を生じさせるイベントが検知された時刻に基づい
て、入力された論理回路情報を不具合の原因毎に色分け
した回路図として表現し、これを表示する方法などがあ
る。

【００３３】以下、解析装置１を用いて、入力された論
理回路情報を解析する手順を説明する。

【００３４】まず、複数のノードを備える論理回路情報
10を、入力部100から入力する。複数のノードの各々で
発生したイベントは、イベント検知部101で検知され
る。イベント検知部101は、検知したイベントに関連す
るイベント情報11を生成する。

【００３５】上述したように、イベント情報11には、イ
ベントを検知した時刻Ｔと、イベントを検知したノード
名Netと、ノードNetにおける信号の値Valと、イベント
の原因となったノード名cfNetと、イベントの原因とな
った信号の値cfValとが含まれている。

【００３６】上述したように、参照イベント情報13に
は、不具合の原因を生じさせるイベントが検知された時
刻cfTと、不具合の原因を生じさせるイベントを検知し
たノードの位置情報cfN2と、イベントを検知したノード
Netにおける信号の値Valとが含まれている。

【００３７】イベント判定部102は、イベント検知部101
から送られてきたイベント情報11のうちから、まず、ノ
ードNetにおける信号の値Valを評価する。ノードNetに
おける信号の値Valが「１」もしくは「０」のとき、イ
ベント判定部102は、ノードNetで不具合が発生しなかっ
たと評価する。ノードNetにおける信号の値Valが「Ｘ」
のとき、イベント判定部102は、ノードNetで不具合が発
生したと評価する。

【００３８】イベント判定部102は、ノードNetで不具合
が発生しなかったと評価したとき、イベント情報11に含
まれる、イベントを検知した時刻Ｔと、イベントを検知
したノード名Netと、ノードNetにおける信号の値Valと
を利用して、参照イベント情報13を生成し、これを記憶
部103に書き込む。

【００３９】不具合が発生しなかったと評価されたと
き、不具合の原因を生じさせるイベントが検知された時
刻cfTを格納する領域には、イベントを検知した時刻Ｔ
が格納される。また、不具合の原因を生じさせるイベン
トを検知したノードの位置情報を格納する領域には、イ
ベントを検知したノード名Netが格納される。イベント
を検知したノードNetにおける信号の値Valを格納する領
域には、ノードNetにおける信号の値Valが格納される。

【００４０】イベント判定部102は、ノードNetで不具合
が発生したと評価したとき、次に、イベント情報11に含
まれる、不具合の原因となった信号の値cfValを評価す
る。

【００４１】ノードNetで不具合が発生したと判定さ
れ、不具合の原因となった信号の値cfValが「１」もし
くは「０」のとき、イベント判定部102は、不具合の原
因がイベントを検知したノードにあると判定する。イベ
ント判定部102は、イベント情報11に含まれる、イベン
トを検知した時刻Ｔと、イベントを検知したノード名Ne
tと、ノードNetにおける信号の値Valとを利用して参照
イベント情報13を生成し、これを記憶部103に書き込
む。

【００４２】不具合が発生したと評価され、不具合の原
因がイベントを検知したノードにあると判定されたと
き、不具合の原因を生じさせるイベントが検知された時
刻cfTを格納する領域には、イベントを検知した時刻Ｔ
が格納される。また、不具合の原因を生じさせるイベン
トを検知したノードの位置情報を格納する領域には、イ
ベントを検知したノード名Netが格納される。イベント
を検知したノードNetにおける信号の値Valを格納する領
域には、ノードNetにおける信号の値Valが格納される。

【００４３】ノードNetで不具合が発生したと判定さ
れ、不具合の原因となった信号の値cfValが「Ｘ」のと
き、イベント判定部102は、ノードNetで不具合が発生し
た原因がノードcfNetにあると判定する。イベント判定
部102は、イベント情報11に含まれる、不具合の原因と
なったノード名cfNetを参照ネット情報12として記憶部1
03に渡す。次に、記憶部103からイベント判定部102へ、
ノード名cfNetをキーとして、不具合の原因を生じさせ
るイベントが検知された時刻cfTと、不具合の原因を生
じさせるイベントを検知したノードの位置情報cfN2とが
参照イベント情報13として渡される。

【００４４】イベント判定部102は、イベント情報11に
含まれる、イベントを検知したノード名Netおよびノー
ドNetにおける信号の値Valと、記憶部103から渡され
た、不具合の原因を生じさせるイベントが検知された時
刻cfTおよび不具合の原因を生じさせるイベントを検知
したノードの位置情報cfN2とを利用して、参照イベント
情報13を生成し、これを記憶部103に書き込む。

【００４５】不具合が発生したと評価され、不具合の原
因がイベントを検知したノードと別のノードにあると判
定されたとき、不具合の原因を生じさせるイベントが検
知された時刻cfTを格納する領域には、記憶部103から渡
されたcfTが格納される。また、不具合の原因を生じさ
せるイベントを検知したノードの位置情報を格納する領
域には、記憶部103から渡された不具合の原因を生じさ
せるイベントを検知したノードの位置情報cfN2が格納さ
れる。イベントを検知したノードNetにおける信号の値V
alを格納する領域には、ノードNetにおける信号の値Val
が格納される。

【００４６】次に、参照イベント情報13として情報が記
憶部103に格納されている様子を模式的に説明する。

【００４７】

【表１】

【００４８】表１は、図１に示された記憶部103に格納
された情報の１例を示す。

【００４９】記憶部103には、ノード名、時刻情報、位
置情報、代入値情報の４つの情報が格納されている。

【００５０】ノード名の欄には、論理回路中に含まれる
ノードのうち、検証の必要となる全てのノード名Net
（例えば、表１に示されるように、ネットＡ、ネット
Ｂ、ネットＣ、ネットＤ）が格納されている。

【００５１】時刻情報の欄には、不具合の原因を生じさ
せるイベントを検知した時刻が格納される。

【００５２】位置情報の欄には、不具合の原因を生じさ
せるイベントを検知したノードの位置情報が格納され
る。

【００５３】代入値情報の欄には、対応ノードでイベン
トを検知したときの値が格納されるする。このときの値
として、定数「０」、定数「１」、不定値「Ｘ」のうち
いずれかが格納される。

【００５４】代入値情報の欄に格納された値Valを読み
出すことで、ノード名の欄に格納されたノードNetでイ
ベントを検知したかどうかを知ることができる。

【００５５】代入値情報の欄に格納された値Valが、不
定値「Ｘ」であるとき、これに対応する時刻情報の欄に
は、不具合の原因を生じさせるイベントを検知した時刻
が格納されている。

【００５６】代入値情報の欄に格納された値Valが、不
定値「Ｘ」であるとき、これに対応する位置情報の欄に
は、不具合の原因を生じさせるイベントを検知したノー
ドの位置情報が格納されている。

【００５７】表１に示されるように、時刻Ｔ₀では、ネ
ットＡ、ネットＢ、ネットＣで示されるノードで、代入
値情報の欄に格納された値は「０」もしくは「１」の定
数となっている。イベントを検知したとき、対応ノード
の値が「０」もしくは「１」の定数のときは、不具合が
発生していないと判定されるので、時刻情報の欄には、
それぞれのノードで定数値をとることになった時刻Ｔ₀
が格納される。また、位置情報の欄には、ノード名（ネ
ットＡ、ネットＢ、ネットＣ）が格納される。

【００５８】時刻Ｔ₀では、ネットＤで、代入値情報の
欄に格納されたノードの値は「Ｘ」の不定値となってい
る。不定値「Ｘ」をとった原因となるノードがいずれか
であるかは、イベント情報11として渡された、不具合の
原因となったノード名cfNetによる。ノードとノードと
の因果関係によっては、不具合が発生した原因が、その
ノード自身であることもある。ここでは、ノードネット
Ｄで不具合が発生した原因は、ネットＤ自身であるとす
る。従って、ネットＤに対応する参照イベント情報13と
して、ネットＤでイベントを検知した時刻Ｔ₀が時刻情
報の欄に格納される。また、ネットＤが位置情報の欄に
格納される。

【００５９】表１に示されるように、時刻Ｔ₁では、ネ
ットＡ、ネットＢで、代入値情報の欄に格納されたノー
ドの値は「１」の定数となっている。上述したように、
イベントを検知したとき、対応ノードの値が「１」（も
しくは「０」）の定数のときは、不具合が発生していな
いと判定される。従って、ネットＡ、ネットＢに対応す
る参照イベント情報13として、それぞれのノードで定数
値をとることになった時刻Ｔ₁が時刻情報欄に格納され
る。また、ノード名それ自身（ネットＡ、ネットＢ）が
位置情報欄に格納される。

【００６０】時刻Ｔ₁では、ネットＣで、代入値情報欄
に格納されたノードの値は「Ｘ」の不定値となってい
る。上述したように、不定値「Ｘ」をとった原因となる
ノードがどのノードであるかは、イベント情報11として
渡された、不具合の原因となったノード名cfNetによ
る。この場合、不具合の原因となったノード名cfNet
は、ネットＤであるとする。イベント判定部102は、ネ
ットＣで不具合が発生した原因が、ネットＤであると判
定する。この結果、表１に示されるように、ネットＣに
対応する参照イベント情報13として、ネットＤで不定値
をとることになった時刻Ｔ₀が時刻情報欄に格納され
る。また、位置情報欄には、不具合の原因を生じさせる
イベントが検知されたノードとして、ネットＤが格納さ
れる。

【００６１】時刻Ｔ₁では、ネットＤにおいて、ノード
の値は「Ｘ」の不定値のままであり、時刻Ｔ₀のときと
変わらない。ノードの値に変化がないときは、イベント
が検知されないので、ネットＤに対応した参照イベント
情報13には変更がなく、時刻Ｔ₀のときと同じ情報が格
納されている。

【００６２】表１に示されるように、記憶部103には、
ノード名に対応した、時刻情報と位置情報とが格納され
ている。これにより、ノード名を指定すると、不具合の
原因となったイベントの発生時刻情報や、不具合の原因
となったイベントが検知されたノードの位置情報を読み
出し、参照することができる。

【００６３】上述したような、論理回路の解析方法をプ
ログラムとしてコンピュータ読み取り可能な記録媒体に
記録し、このプログラムをコンピュータに実行させるこ
とで、論理回路の解析を行ってもよい。記録媒体として
は、フロッピーディスク、ハードディスク、光磁気ディ
スク、ＣＤ−ＲＯＭ、ＰＤ、ＤＶＤなどコンピュータが
読み取り可能なものであれば、どういった構造のもので
もよい。

【００６４】（第２の実施の形態）第２の実施の形態で
説明する論理回路の解析方法は、第１の実施の形態で説
明した方法と異なり、記憶部103にイベントを検知した
ときのノードの値を書き込まない。

【００６５】第２の実施の形態で使用する解析装置は、
記憶部の構成の他は、第１の実施の形態で説明した解析
装置１と変わらない。従って、第２の実施の形態を、図
１に示される解析装置１と同じ符号を用いて説明する。

【００６６】図２は、図１に示されるイベント検知部10
1、イベント判定部102、記憶部103間のデータフローを
示す。

【００６７】イベント検知部101で検知されたイベント
情報11は、イベント判定部102へ送られる。イベント情
報11には、イベントが検知された時刻Ｔ、イベントを検
知したノード名Net、ノードNetにおける信号の値Val、
イベント生起の原因となったノード名cfNet、およびノ
ードcfNetにおける信号の値cfValが含まれている。

【００６８】イベント判定部102は、一時記憶領域22、2
3、24を備えている。イベント判定部102は、イベント情
報11に基づいて、参照イベント情報13を更新し、これを
一時記憶領域22、23、24に書き込む。

【００６９】一時記憶領域22、23、24に書き込まれた情
報は、イベント判定部102の動作に基づいて、記憶部103
に書き込まれ、記憶部103の情報は更新される。

【００７０】イベント判定部102は、値「−１」を領域2
5で生成する。なお、生成する値は、イベントを検知し
た時刻と区別できる値であれば「−１」以外の値でもよ
い。不定値をとらないようなイベントが、イベント情報
11としてイベント判定部102へ送られてきたとき（不具
合が発生しなかったとき）、イベント判定部102は、値
「−１」を一時記憶領域23に書き込む。

【００７１】記憶部103は、複数の記憶領域を備えてい
る。図２に示されるように、記憶部103は、ノード名を
格納する欄（記憶領域26、29を含む欄）を備えている。
また、記憶部103は、不具合の原因となるイベントの発
生した時刻情報を格納する欄（記憶領域27、30を含む
欄）を備えている。さらに、記憶部103は、不具合の原
因となるイベントを発生したノードの位置情報を格納す
る欄（記憶領域28、31を含む欄）を備えている。

【００７２】例えば、記憶領域26に格納されたノード名
cfNetに対応する時刻情報は、記憶領域27に格納された
時刻情報cfTである。また、記憶領域26に格納されたノ
ード名cfNetに対応する位置情報は、記憶領域28に格納
された位置情報cfN2である。

【００７３】一時記憶領域22には、イベント判定部102
で判定された結果に基づいて、ノード名が書き込まれ
る。一時記憶領域23には、イベント判定部102で判定さ
れた結果に基づいて、不具合の原因となった時刻情報、
値「−１」の２つのうちいずれかが書き込まれる。一時
記憶領域24には、イベント判定部102で判定された結果
に基づいて、不具合の原因となったノードの位置情報が
書き込まれる。

【００７４】図３（ａ）は、図２に示されるイベント判
定部102でイベント情報11が判定されている状態を示
し、図３（ｂ）は、図２に示される一時記憶領域22、2
3、24および記憶領域29、30、31に情報が書き込まれた
状態を示し、図３（ｃ）は、図２に示される一時記憶領
域22、23、24および記憶領域29、30、31に情報が書き込
まれた状態を示す。

【００７５】図３を参照して、イベント判定部102の動
作を説明する。

【００７６】イベント判定部102は、イベント検知部101
より、イベント情報11を受け取る。イベント情報11に
は、イベントを検知した時刻情報Ｔ、イベントを検知し
たノード名Net、ノードNetでの値Val、イベント生起の
原因となったノードの位置情報cfNet、およびイベント
生起信号の原因となったノードでの値cfValが含まれて
いる。

【００７７】図３（ａ）に示されるように、イベント判
定部102ではまず、イベント情報11が判定される。判定
は、イベントを発生したノードの値Valが「Ｘ」である
か否かと、イベント生起の原因となった別のイベントを
生じたノードの値cfValが「Ｘ」であるか否かに基づい
て、行われる。

【００７８】上述したように、イベントを検知したノー
ド名Netから、不具合の原因となったノードの位置cfNet
が、イベント判定部102に入力され、これに基づいてイ
ベント判定部102が情報を判定する。

【００７９】また、不定値をとるか否かを判定する方法
と異なり、定数値をとるようなイベントも含めた判定方
法を用いてもよい。この場合、任意の信号変化に対応す
る原因を即座に求めることができる。

【００８０】イベントが検知されたノードの値Valが
「Ｘ」であり、かつ不具合の原因となったイベントを生
成したノードの値cfValが「Ｘ」でないときには、図３
（ｂ）に示されるように、イベント判定部102の一時記
憶領域22には、イベント検知部101から受け取ったノー
ド名Netが書き込まれ、一時記憶領域23には、イベント
を検知した時刻情報Ｔが書き込まれ、一時記憶領域24に
は、イベントを検知したノード名それ自身が位置情報Ne
tとして書き込まれ、それぞれの情報が更新される。こ
の場合は、イベントの原因となったノードがイベントを
検知したノードNetそのものであるとして、イベントの
原因となった位置情報にもノード名Netを書き込んでい
る。

【００８１】図３（ｂ）に示されるように、記憶部103
に一時記憶領域22、23、24の値を送り、記憶領域29、3
0、31の値をそれぞれ更新する。記憶領域30には、更新
された時刻情報Ｔが書き込まれる。記憶領域31には、更
新された位置情報Netが書き込まれる。

【００８２】Valの値が「Ｘ」でないとき、イベント判
定部102の一時記憶領域22、23、24に格納された値を次
のように更新する。図３（ｃ）に示されるように、一時
記憶領域22には、イベント検知部101から受け取った、
イベントを検知したノード名Netが書き込まれる。一時
記憶領域23には、値「−１」が書き込まれる。一時記憶
領域24には、イベントを検知したノード名それ自身がイ
ベントの原因となったノードの位置情報Netとして書き
込まれる。

【００８３】図３（ｃ）に示されるように、記憶部103
に一時記憶領域22、23、24の値を送り、記憶領域29、3
0、31の値をそれぞれ更新する。記憶領域30には、更新
された時刻情報として値「−１」が書き込まれる。記憶
領域31には、更新された位置情報Netが書き込まれる。

【００８４】図４（ａ）は、図２に示される一時記憶領
域22、23、24に情報が書き込まれた状態を示し、図４
（ｂ）は、図２に示される記憶領域26に格納された情報
が検索された状態を示し、図４（ｃ）は、図２に示され
る一時記憶領域22、23、24および記憶領域29、30、31に
情報が書き込まれた状態を示す。

【００８５】図４を参照して、イベント判定部102の動
作を説明する。

【００８６】イベントを発生したノードの値Valが
「Ｘ」であり、かつイベントの原因となった別のノード
の値cfValが「Ｘ」であれば、図４（ａ）に示されるよ
うに、イベント判定部102の一時記憶領域22には、イベ
ント検知部101から受け取った、イベントを検知したノ
ード名Netが書き込まれる。また、イベント検知時刻情
報Ｔは、一時記憶領域23に書き込まれる。さらに、イベ
ント生起の原因となった別のイベントを検知したノード
の位置情報cfNetは、一時記憶領域24に書き込まれる。

【００８７】次に、図４（ｂ）に示されるように、イベ
ント生起の原因となったノードの位置情報cfNetが記憶
部103に送られ、記憶領域26、29を含む欄が検索され、
位置情報cfNetが含まれる行が特定される。記憶部103の
各領域には、初期値が書き込まれていてもよい。例え
ば、各ノード名に対応した参照位置情報として、そのノ
ード自身を位置情報として書き込んでもよい。記憶部10
3がノードの値を記憶する領域をさらに備えるときに
は、ここに不定値を初期値として書き込んでもよい。

【００８８】検索の結果得られた、ノード名cfNetが含
まれる行から、不具合の原因となったイベントを検知し
た時刻情報cfTおよび位置情報cfN2が参照イベント情報1
3として読み出され、イベント判定部102へ送られる。

【００８９】図４（ｃ）に示されるように、イベント判
定部102の一時記憶領域23には、参照時刻情報cfTが書き
込まれ、一時記憶24には、参照位置情報cfN2が書き込ま
れ、それぞれの情報は更新される。

【００９０】図４（ｃ）に示されるように、記憶部103
には、一時記憶領域22、23、24の値が送られ、記憶領域
29、30、31の値は、それぞれ更新される。記憶領域30に
は、更新された時刻情報の値cfTが書き込まれる。記憶
領域31には、更新された位置情報の値cfN2が書き込まれ
る。

【００９１】以下に、記憶部103に格納された、不具合
の原因を生じさせるイベントを検知した時刻と、不具合
の原因を生じさせるイベントが発生したノードの位置情
報とを説明する。

【００９２】

【表２】

【００９３】表２は、図１に示された記憶部103に格納
された情報の他の１例を示す。

【００９４】表２に示されるように、不定値をとるよう
なイベントを検知した場合にのみ、時刻情報の欄に有為
な値をとるようにする。このようにして、時刻情報を処
理して格納すると、記憶部103での記憶容量を削減する
ことができる。

【００９５】例えば、表２に示されるように、値「−
１」を時刻情報の欄に格納することで、イベントを検知
したときのノードの値が「０」もしくは「１」の定数値
であることを表す。イベントを検知したときのノードに
おける値が「Ｘ」の不定値であるときには、時刻情報そ
のものを時刻情報欄に格納する。

【００９６】時刻情報欄に格納された情報を参照して、
値「−１」であるか否かを読み出すことで、ノード名に
対応した、不具合の原因に関する時刻情報および位置情
報が格納されているかどうかを知ることができる。

【００９７】時刻情報欄に値「−１」もしくは時刻情報
そのものを格納する手順を説明する。

【００９８】表２に示されるように、ノード名の欄に
は、論理回路中に含まれるノードのうち、検証の必要と
なる全てのノード名Net（例えば、表２に示されるよう
に、ネットＡ、ネットＢ、ネットＣ、ネットＤ）が格納
される。

【００９９】時刻情報の欄には、不定値をとらないイベ
ントを検知したとき（不具合が発生しなかったとき）に
は、一定の値「−１」が格納される。ノード名に対応し
た参照イベント情報13として、不定値をとるイベントを
検知したとき（不具合が発生したとき）には、時刻情報
（例えば、時刻Ｔ₀、時刻Ｔ₁）が格納される。

【０１００】位置情報の欄には、ノード名に対応した参
照イベント情報13として、不具合の原因となるイベント
を検知した位置情報（例えば、ネットＡ、ネットＢ、ネ
ットＣ、ネットＤ）が格納される。

【０１０１】時刻Ｔ₀では、ネットＡ、ネットＢ、ネッ
トＣで示されるノードで、イベントが検知されたときの
ノードの値が「０」もしくは「１」の定数であるとす
る。イベントを検知したとき、対応ノードの値が「０」
もしくは「１」の定数のときは、イベントの原因となっ
たノードが元のノードそれ自身であるとする。ネット
Ａ、ネットＢ、ネットＣに対応する参照イベント情報13
として、本来の時刻情報の代わりに「−１」が時刻情報
欄に格納される。また、ノード名それ自身（ネットＡ、
ネットＢ、ネットＣ）が位置情報欄に格納される。

【０１０２】時刻Ｔ₀では、ネットＤにおいて、イベン
トを検知したときのノードの値は「Ｘ」の不定値となっ
ている。イベント情報11に含まれる、不具合の原因とな
ったノード名cfNetがネットＤであるとする。この場
合、ネットＤで不定値をとった原因は、そのノード自身
（ネットＤ）である。従って、表２に示されるように、
ネットＤに対応する参照イベント情報13として、ネット
Ｄで不具合が生じた原因のイベントを検知した時刻Ｔ₀
が時刻情報欄に格納される。また、ネットＤそれ自身
が、不具合の原因を生じたイベントを検知した位置情報
として、位置情報欄に格納される。表２に示すように、
イベントを検知したときのネットＤにおける信号の値
「Ｘ」は、格納されない。

【０１０３】時刻Ｔ₁では、ネットＡ、ネットＢで、ノ
ードの値は「１」の定数となっている。従って、ネット
Ａ、ネットＢに対応する参照イベント情報13として、そ
れぞれのノードで定数値をとることになった本来の時刻
情報Ｔ₁の代わりに、値「−１」が時刻情報欄に格納さ
れる。また、ノード名それ自身（ネットＡ、ネットＢ）
が位置情報欄に格納される。

【０１０４】時刻Ｔ₁では、ネットＣにおいて、イベン
トを検知したときのノードの値は「Ｘ」の不定値となっ
ている。イベント情報11に含まれる、不具合の原因とな
ったノード名cfNetがネットＤであるとする。イベント
判定部102は、ネットＣで不具合が発生した原因が、ネ
ットＤであると判定する。この結果、表２に示されるよ
うに、ネットＣに対応する参照イベント情報13として、
ネットＤでイベントが検知された時刻Ｔ₀が時刻情報欄
に格納される。また、ネットＣで不具合を生じさせる原
因のイベントを検知したノードの位置情報として、ネッ
トＤが位置情報欄に格納される。

【０１０５】時刻Ｔ₁では、ネットＤにおいて、ノード
の値は「Ｘ」の不定値のままであり、時刻Ｔ₀のときと
変わらず、イベントが検知されなかったことを示す。こ
の結果、ネットＤに対応した、参照イベント情報13には
変更がなく、時刻Ｔ₀のときと同じ情報が格納されてい
る。

【０１０６】表２に示されるように、ノード名をキーと
なる情報とすることで、不具合の原因となるイベントを
検知した時刻情報や、不具合の原因となるイベントを検
知したノードの位置情報を読み出し、参照することがで
きる。

【０１０７】以上、説明したように、本発明によれば、
不具合の原因となるイベントを検知したノードを位置情
報として記憶し、さらに不具合の原因となるイベントを
検知した時刻情報を記憶することができるため、不具合
の原因を即座に特定することができる。

【０１０８】また、定数値をとるようなイベントも含め
た判定方法を用いた場合、不具合だけでなく、任意の信
号変化に対応する原因を即座に求めることができる。

【０１０９】

【発明の効果】本発明の論理回路の解析方法によれば、
不具合の原因となるイベントを検知した時刻情報および
不具合の原因となるイベントを検知したノードの位置情
報を記憶するステップを備えている。この結果、従来設
計者が推測で求めていたのと異なり、任意のノードにつ
いて、不定値を出力した原因となるイベントの発生時刻
および発生位置を即座に求めることができる。

【０１１０】また、本発明の論理回路の解析方法によれ
ば、同じ原因で不具合が生じるノードがどれかを容易に
調べることができるため、不定値の発生源として複数の
ノードがある場合でも、回路全体に対して影響の大きい
ノードから影響の小さなノードへと順番に対応し、適切
な処置をすることができる。

【０１１１】また、本発明の論理回路の解析方法によれ
ば、論理回路中の全てのノードに対して、時刻情報およ
び位置情報の１組の情報だけを記憶部に記憶するだけで
よい。これにより、各ノードでの信号の時間変化を記憶
することや、これらの履歴を検証することを省略するこ
とができる。この結果、イベントを生成するような検証
そのものの実行時間が長時間に及ぶものであっても、記
憶部の記憶容量は、論理回路の規模だけに依存すること
になる。従って、時間情報に基づいた波形情報を保存す
る従来の方法に比べ、必要な記憶容量を格段に小さくす
ることができる。

【図面の簡単な説明】

【図１】本発明の解析装置１の構成を示す図である。

【図２】図１に示されるイベント検知部101、イベント
判定部102、記憶部103間のデータフローを示す図であ
る。

【図３】（ａ）は図２に示されるイベント判定部102で
イベント情報11が判定されている状態を示す図、（ｂ）
は図２に示される一時記憶領域22、23、24および記憶領
域29、30、31に情報が書き込まれた状態を示す図、
（ｃ）は図２に示される一時記憶領域22、23、24および
記憶領域29、30、31に情報が書き込まれた状態を示す図
である。

【図４】（ａ）は図２に示される一時記憶領域22、23、
24に情報が書き込まれた状態を示す図、（ｂ）は図２に
示される記憶領域26に格納された情報が検索された状態
を示す図、（ｃ）は図２に示される一時記憶領域22、2
3、24および記憶領域29、30、31に情報が書き込まれた
状態を示す図である。

【符号の説明】

101 イベント検知部 102 イベント判定部 103 記憶部 104 表示部 11 イベント情報 13 参照イベント情報

Claims

【特許請求の範囲】

【請求項１】複数のノードを含む論理回路情報を入力
するステップと、該複数のノードの各々で発生したイベ
ントを検知するステップと、該検知したイベントに関連
するイベント情報を生成するステップと、該イベント情
報に基づいて不具合の発生した時刻情報および不具合の
発生したノードの位置情報を含む参照イベント情報を生
成するステップと、該参照イベント情報を記憶するステ
ップとを包含する、論理回路の解析方法。
【請求項２】複数のノードを含む論理回路を解析する
論理回路の解析装置であって、該複数のノードの各々で
発生したイベントを検知し、該検知されたイベントに関
連するイベント情報を生成するイベント検知部と、該イ
ベント情報に基づいて不具合の発生した時刻情報および
不具合の発生したノードの位置情報を含む参照イベント
情報を生成するイベント判定部と、該参照イベント情報
を記憶する記憶部とを備えた、論理回路の解析装置。
【請求項３】前記イベント情報は、イベントを検知し
た時刻情報と、イベントを検知したノードにおける信号
の値と、イベントの原因となった別のノードの位置と、
イベントの原因となった別のノードにおける信号の値と
を含み、前記参照イベント情報は、不具合の発生したノ
ードでの信号の値をさらに含む、請求項２に記載の論理
回路の解析装置。
【請求項４】前記イベント情報は、イベントを検知し
た時刻情報と、イベントを検知したノードにおける信号
の値と、イベントの原因となった別のノードの位置と、
イベントの原因となった別のノードにおける信号の値と
を含み、前記不具合の発生したノードに対応する前記参
照イベント情報は、不具合の発生した時刻情報および不
具合の発生したノードの位置情報を含むように更新さ
れ、前記不具合の発生したノードに対応しない前記参照
イベント情報は、一定の値を含むように更新される、請
求項２に記載の論理回路の解析装置。
【請求項５】前記論理回路の解析装置は、前記記憶部
に記憶された前記参照イベント情報に基づいた情報を表
示する表示部をさらに備える、請求項２に記載の論理回
路の解析装置。
【請求項６】複数のノードを含む論理回路情報を入力
するステップと、該複数のノードの各々で発生したイベ
ントを検知するステップと、該検知したイベントに関連
するイベント情報を生成するステップと、該イベント情
報に基づいて不具合の発生した時刻情報および不具合の
発生したノードの位置情報を含む参照イベント情報を生
成するステップと、該参照イベント情報を記憶するステ
ップとをコンピュータに実行させるプログラムを記録し
たコンピュータ読み取り可能な記録媒体。