JP2000113006A - 電子回路機能論理検証支援システム - Google Patents

Abstract

(57)【要約】 【課題】 電子回路の仮想モデルに対するシミュレーシ
ョンの履歴を利用し、不具合信号を起点としてバックト
レースし、不具合原因を自動的判定することにより、大
規模で複雑な電子回路の機能論理検証作業の効率化、容
易化を図る。 【解決手段】 不具合信号を起点として、バックトレー
ス部で信号伝播と逆方向に、出力素子とその入力信号を
特定し、原因判定部でデータベース化されたルールに基
づきその素子と入力信号の関係から発生原因の判定を行
い、トレース継続信号選択部で同じくデータベース化さ
れたルールに基づき発生原因に関連する信号を特定し、
これらの処理を回路の入力端まで繰り返す。また、指定
した条件に合う信号を検索し、それを起点信号として用
いる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、複数素子の組み合
わせにより構成される電子回路をコンピュータ上の仮想
モデルとして実現し、当該仮想モデルの機能的正当性あ
るいは論理的正当性をシミュレーションにて検証する電
子回路機能論理検証支援システムに係り、バックトレー
ス、原因判定、トレース継続信号の選択を自動化するこ
とを可能とし、シミュレーションによる検証の効率化お
よび解析の容易化を図る電子回路機能論理検証支援シス
テムに関する。

【０００２】

【従来の技術】従来、機能検証あるいは論理検証におけ
る不具合、例えば不定信号値の伝播やハザードの発生な
どの原因解析は、自動化されていなかった。

【０００３】即ち、一般的には、機能検証あるいは論理
検証における不具合を示す信号を起点とし、解析者自身
が、論理回路の接続情報からトレースを継続すべき信号
を選択し、それらの信号を波形表示装置などの表示手段
を用いて表示し、信号値を確認し、発生原因を判定する
方法により行われていた。

【０００４】しかし、これらの操作は通常人手で行われ
るため、原因となる素子あるいは入力信号から起点信号
に至るまでの論理段数や素子の入力数に依存して原因解
析に要する時間が増加し、特に設計規模の増大に伴い、
解析時間が長大化していた。

【０００５】また、設計規模の増大に対応し、ＨＤＬ
（ハードウェア記述言語）による機能設計およびＨＤＬ
機能記述データを論理回路化する論理合成を組み合わせ
た設計手法が一般化しているが、論理合成後の論理回路
データには回路の遅延情報などＨＤＬ機能記述データに
はないパラメータが付与されるため、ＨＤＬ機能記述の
シミュレーションで発生しない波形不具合、例えば組合
せ回路からのハザードが発生する。しかし、設計者にと
って論理合成により生成された論理回路の構成は理解し
にくく、回路論理からの発生原因の判定は大変困難であ
り、解析時間増大の要因となっていた。

【０００６】以上のように、不定信号値の伝播やハザー
ドの発生などの機能検証あるいは論理検証における不具
合の原因解析は、設計規模の拡大に伴い、解析者の労力
を増大化し、長期化していた。

【０００７】

【発明が解決しようとする課題】本発明は、上記した従
来技術の欠点を除くためになされたものであって、機能
検証あるいは論理検証における不具合の原因解析に関し
て、作業効率化および作業の容易化を図ることにある。

【０００８】

【課題を解決するための手段】本発明（請求項１）は、
複数素子の組み合わせにより構成される電子回路をコン
ピュータ上の仮想モデルとして実現し、当該仮想モデル
の正当性をシミュレーションにて検証する電子回路機能
論理検証支援システムにおいて、仮想モデル上の特徴的
な信号を起点信号とし、仮想モデル上の電子回路を信号
伝播方向と逆方向にトレースするバックトレース部のト
レース結果により、起点信号の特徴の発生原因を判定す
る原因判定部とを有することを特徴とする電子回路機能
論理検証支援システムである。本発明（請求項２）は、
バックトレース部が、トレース信号の出力素子と信号伝
播の遅延時間を遡った時刻のその出力素子への入力信号
値を抽出し、原因判定部が、その出力素子と入力信号値
に基づき起点信号の特徴の発生原因を判定することを特
徴とする請求項１記載の電子回路機能論理検証支援シス
テムである。本発明（請求項３）は、バックトレース部
が、入力信号値の変化を抽出し、原因判定部が、その入
力信号値の変化に基づき起点信号の特徴の発生原因を判
定することを特徴とする請求項２記載の電子回路機能論
理検証支援システムである。本発明（請求項４）は、バ
ックトレース部が、シミュレーションの履歴情報を用い
ることを特徴とする請求項１記載の電子回路機能論理検
証支援システムである。本発明（請求項５）は、起点信
号の特徴の発生原因を判定するルールをデータベースと
して具備することを特徴とする請求項１記載の電子回路
機能論理検証支援システムである。本発明（請求項６）
は、起点信号の特徴の発生に関連する信号をトレース継
続信号として選択するトレース継続信号選択部を有する
ことを特徴とする請求項１記載の電子回路機能論理検証
支援システムである。本発明（請求項７）は、トレース
継続信号選択部が、起点信号の特徴の発生に関連する信
号を、信号伝播の遅延時間を遡った時刻の信号値により
判定することを特徴とする請求項６記載の電子回路機能
論理検証支援システムである。本発明（請求項８）は、
トレース継続信号選択部が、信号値の変化により判定す
ることを特徴とする請求項７記載の電子回路機能論理検
証支援システムである。本発明（請求項９）は、起点信
号の特徴の発生に関連する信号であると判定するルール
をデータベースとして具備することを特徴とする請求項
６記載の電子回路機能論理検証支援システムである。本
発明（請求項１０）は、起点信号の特徴およびその特徴
を示す時刻範囲を条件として、起点信号を検索する起点
信号検索部を有し、検索された信号を起点信号とするこ
とを特徴とする請求項１記載の電子回路機能論理検証支
援システムである。本発明（請求項１１）は、バックト
レース部が、特徴的な信号として特定の固定論理値を示
す信号を起点信号とし、原因判定部が、起点信号の特徴
を特定の固定論理値を示すこととして発生原因を判定す
ることを特徴とする請求項１記載の電子回路機能論理検
証支援システムである。本発明（請求項１２）は、バッ
クトレース部が、特徴的な信号として特定の変化を示す
信号を起点信号とし、原因判定部が、起点信号の特徴を
特定の変化を示すこととして発生原因を判定することを
特徴とする請求項１記載の電子回路機能論理検証支援シ
ステムである。

【０００９】

【発明の実施の形態】実施の形態１．以下本発明を図面
に示す実施の形態に基づいて説明する。概略図である図
１において、本発明に係る電子回路機能論理検証支援シ
ステムは、起点信号入力部１、起点信号情報２、バック
トレース部３、仮想モデル情報４、シミュレーションの
履歴情報５、トレース結果情報６、原因判定部７、ルー
ルのデータベース８、発生原因情報９、非原因信号情報
１０、トレース継続信号選択部１１、トレース継続信号
情報１２とを備えている。図２は、本発明の機能論理検
証システムのバックトレース部と原因判定部を中心とし
た構成図である。図３は、本発明の機能論理検証システ
ムのトレース継続信号選択部を中心とした構成図であ
る。図４は、本発明の機能論理検証システムの起点信号
検索部を中心とした構成図である。図２、図３、図４
は、図１の各部の詳細図である。

【００１０】起点信号入力部１は、起点信号を直接指定
し、又は起点信号を検索する為の条件を入力するための
ユーザインタフェースである。点信号入力部１は、キー
ボード入力装置やマウス等のポインティングデバイス等
の既存の入力装置を用い、文字入力や図面エディタ上で
の対象信号のクリック操作などのグラフィックユーザイ
ンタフェースの既存の入力手段によって構成される。こ
こで、起点信号とは、特定の固定理論値又は特定の変化
を示す等の仮想モデル上の特徴を有する信号であり、後
述するバックトレース処理の起点となる信号である。起
点信号を直接指定する場合には、起点信号入力部１は、
操作者に対し起点信号名Ｓｘ、起点信号のシミュレーシ
ョン時刻Ｔ（Ｓｘ）、起点信号の信号値又は信号値の変
化Ｖ（Ｓｘ）等の起点信号に関する情報の入力を促し、
これらを起点信号情報２として記憶するように構成され
る。条件検索する場合には、起点信号入力部１は、操作
者に対し起点信号の信号値又は信号値の変化Ｖ等の特徴
及びその特徴を示す時刻範囲の上限ＴＳ、下限ＴＥ等の
検索条件の入力を促し、これらを図４３のような検索条
件１８として記憶するように構成される。検索条件１８
は、後述する起点信号検索処理において用いられる。

【００１１】起点信号情報２は、図１９に示すように、
起点信号名Ｓｘ、起点信号のシミュレーション時刻Ｔ
（Ｓｘ）、起点信号の信号値又は信号値の変化Ｖ（Ｓ
ｘ）等の起点信号に関する情報により構成される。起点
信号情報２には、単数又は複数の起点信号に関する情報
が含まれる。複数の起点信号のうちｘ番目の起点信号に
関する情報はＳｘとして表わす。

【００１２】バックトレース部３は、仮想モデル上の特
徴的な信号を起点信号とし、仮想モデル上の電子回路を
信号伝播方向と逆方向にトレースする機能を有する。バ
ックトレース部３は、起点信号情報２又はトレース継続
信号情報１２を入力し、仮想モデル情報４を参照し、ト
レース結果情報６として記憶するように構成される。バ
ックトレース部３は、内部処理のため、図２０に示すよ
うにトレース信号の信号名Ｔ、シミュレーション時刻Ｔ
（Ｔ）、及び信号値又は信号値の変化Ｖ（Ｔ）等のトレ
ース信号に関する情報の記憶領域を有する。また、トレ
ース信号の出力素子Ｐの記憶領域を有する。さらに、ト
レース信号の出力素子Ｐのｘ番目の入力信号に関する情
報、即ち入力信号の信号名Ｄｘ、シミュレーション時刻
Ｔ（Ｄｘ）、及び信号値又は信号値の変化Ｖ（Ｄｘ）の
記憶領域を有する。

【００１３】仮想モデル情報４は、複数素子の組み合わ
せにより構成される電子回路をコンピュータ上で実現さ
せた仮想モデルに関する情報であって、仮想モデルの正
当性をシミュレーションにて検証する際に使用される情
報である。仮想モデル情報４は、図２に示す論理回路構
成素子の接続情報１３、回路のテクノロジ情報１４及び
信号伝播の遅延時間情報１５により構成される。

【００１４】論理回路構成素子の接続情報１３は、複数
素子の組み合わせにより構成される電子回路の回路図
（例えば図１７のような回路図）に相当する情報であっ
て、回路を構成する素子とそのピンの接続についての情
報等により構成される。

【００１５】回路のテクノロジ情報１４は、回路を構成
する素子の属性についての情報等により構成される。素
子の属性には、素子の名称、論理、インスタンス名、ピ
ン名、ピンタイプ等が含まれる。

【００１６】信号伝播の遅延時間情報１５は、回路を構
成する素子のピン毎の信号伝播における遅延時間の情報
である。

【００１７】シミュレーションの履歴情報５は、仮想モ
デルの正当性をシミュレーションにて検証する際に記憶
される履歴情報である。シミュレーションの履歴情報５
は、回路を構成する信号毎のタイミングチャート（例え
ば図１８のようなタイミングチャート）に相当する情報
であって、信号毎のシミュレーション時刻に対応する信
号値の情報により構成される。

【００１８】トレース結果情報６は、バックトレース部
３により記憶される情報である。トレース結果情報６
は、図２１に示すように、トレース信号の信号値又は信
号値の変化Ｖ（Ｔ）、トレース信号の出力素子Ｐ、及び
入力信号に関する情報、即ち入力信号の信号名Ｄｘ、シ
ミュレーション時刻Ｔ（Ｄｘ）、及び信号値又は信号値
の変化Ｖ（Ｄｘ）等により構成される。

【００１９】原因判定部７は、トレース結果により起点
信号の特徴の発生原因を判定する機能を有する。原因判
定部７は、図２に示すように、トレース結果情報６を入
力し、発生原因判定ルールのデータベース１６を参照
し、発生原因であるかを判定し、発生原因の場合には発
生原因情報９を記憶し、発生原因でない場合には非原因
信号情報１０を記憶するように構成される。

【００２０】ルールのデータベース８は、図２に示す発
生原因判定ルールのデータベース１６と図３に示す発生
関連判定ルールのデータベース１７により構成される。

【００２１】発生原因判定ルール１６は、図４４に示す
ように、トレース信号の信号値又は信号値の変化Ｖ
（Ｔ）、トレース信号の出力素子Ｐ、入力信号の信号名
Ｄｘ、及び入力信号の信号値又は信号値の変化Ｖ（Ｄ
ｘ）により発生原因であるかを判定するルールである。
例えば、トレース信号Ｔを出力する素子Ｐの入力信号Ｖ
（Ｄｘ）が高インピーダンス状態であり不定値のトレー
ス信号値Ｖ（Ｔ）を発生させている場合、出力素子Ｐが
フリップフロップなどの順序回路素子で全入力信号値が
“０”か“１”の確定値であり、出力素子がタイミング
違反を起こしている場合、また、出力素子の全ての入力
信号にハザードがなく、且つ短期間の間に複数入力信号
が変化して、トレース信号Ｔにハザードが発生している
場合などの判定ルールをシステムで解読可能なデータ構
造として保持する。

【００２２】発生関連判定ルール１７は、図４４に示す
ように、トレース信号の信号値又は信号値の変化Ｖ
（Ｔ）及び入力信号の信号値又は信号値の変化Ｖ（Ｄ
ｘ）により発生に関連するかを判定するルールである。

【００２３】発生原因情報９は、原因判定部７より記憶
される起点信号の特徴の発生原因を特定する為の情報で
ある。発生原因情報９は、図２７に示すように、入力信
号の信号名Ｄｘ、そのシミュレーション時刻Ｔ（Ｄｘ）
及び判定に用いた発生原因判定ルール中の条件等により
構成される。

【００２４】非原因信号情報１０は、起点信号の特徴の
発生原因ではない入力信号、即ちトレースの継続を必要
とする可能性がある信号に関するの情報である。非原因
信号情報１０は、図２２に示すように、トレース信号の
信号値又は信号値の変化Ｖ（Ｔ）、トレース信号の出力
素子Ｐ及び発生原因でない入力信号に関する情報、即ち
信号名Ｄｘ、シミュレーション時刻Ｔ（Ｄｘ）、及び信
号値又は信号値の変化Ｖ（Ｄｘ）等により構成される。

【００２５】トレース継続信号選択部１１は、発生原因
でない入力信号のうちトレースを継続すべき信号を選択
する機能を有する。トレース継続信号選択部１１は、図
３に示すように、非原因信号情報１０を入力し、発生関
連判定ルールのデータベース１７と回路のテクノロジ情
報１４を参照し、発生に関連するかを判定し、発生に関
連するの場合にはトレース継続信号情報１２を記憶する
ように構成される。

【００２６】トレース継続信号情報１２は、図２３に示
すように、トレースを継続すべき信号に関する情報、即
ちトレース継続すべき信号の信号名Ｃｘ、シミュレーシ
ョン時刻Ｔ（Ｃｘ）、信号値又は信号値の変化Ｖ（Ｃ
ｘ）により構成される。

【００２７】図４に示す検索条件１８は、図４３に示す
ように、起点信号の信号値又は信号値の変化Ｖ等の特徴
及びその特徴を示す時刻範囲上限ＴＳ、下限ＴＥ等によ
り構成される。

【００２８】図４に示す起点信号検索部１９は、仮想モ
デル上の信号のうち検索条件を満たす信号を検索する機
能を有する。起点信号検索部２１は、検索条件１８を入
力し、論理回路構成素子の接続情報１３及びシミュレー
ションの履歴情報５を参照し、起点信号情報２を記憶す
るように構成される。また、重複するトレースを回避す
る為に、検索履歴情報１９及び検索継続信号情報２０を
管理するように構成される。起点信号検索部２１は、図
１５に示す内部処理のため、起点信号の信号値又は信号
値の変化Ｖ及びその特徴を示す時刻範囲の上限ＴＳ、下
限ＴＥ等の検索条件の記憶領域を有する。

【００２９】本発明は、上記のように構成されており、
以下その動作について説明する。機能論理検証新システ
ムは、図５の起点信号入力処理に続き、図８のように未
処理のトレース継続信号がなくなるまで、バックトレー
ス処理、原因判定処理、トレース継続信号選択処理を繰
り返す一の起点信号に対する処理を、図９のように起点
信号の数分繰り返すように動作する。図５の起点信号入
力の処理において、操作者が起点信号の直接指定を選択
した場合には、図６の起点信号の直接入力の処理フロー
へ移る。操作者が検索条件の入力を選択した場合には、
図７の検索条件の入力の処理フローへ移る。

【００３０】図６の起点信号の直接指定の処理におい
て、操作者は順次起点信号名Ｓｘ、起点信号のシミュレ
ーション時刻Ｔ（Ｓｘ）、起点信号の信号値又は信号値
の変化Ｖ（Ｓｘ）を入力し、一の起点信号に関する情報
の入力を終了する。入力されたこれらの情報を起点信号
情報２として記憶する。更に起点信号に関する情報を入
力する場合には、ループし同様の処理を繰り返す。

【００３１】図７の検索条件の入力の処理において、操
作者は順次その特徴を示す時刻範囲上限ＴＳ、下限ＴＥ
及び起点信号の信号値又は信号値の変化Ｖを入力する。
入力されたこれらを検索条件１８として記憶する。検索
条件１８は、後述する図４３の起点信号検索処理におい
て用いられる。

【００３２】図８の一の起点信号に対する処理におい
て、一の起点信号に対しバックトレース処理、原因判定
処理を行い、トレース継続信号選択処理によって発生原
因でない入力信号のうちトレースを継続すべき信号を選
択し、トレース継続信号情報として記憶する。次に、未
処理のトレース継続信号をトレース信号として再びバッ
クトレース処理、原因判定処理、トレース継続信号選択
処理を行い、更にトレースを継続すべき信号を選択す
る。未処理のトレース継続信号がなくなるまでこれらの
処理繰り返す。このようにして、仮想モデル上の電子回
路を起点信号から信号伝播方向と逆方向へ漏れなくトレ
ースすることができる。

【００３３】図９の複数の起点信号に対する処理におい
て、起点信号情報２に複数の起点信号に関する情報が含
まれている場合には、未処理の起点信号がなくなるまで
一の起点信号に対する処理を繰り返す。具体的に、特定
の固定理論値を示す信号を起点信号とする場合について
の実施の形態１を説明する。論理回路構成素子の接続情
報１３を回路図に表わした図１７の論理回路の例１にお
いて図１８のタイミングチャートの例１に示す常時不定
となっている信号名Ｇを起点信号とする。操作者は図５
の起点信号入力の処理において起点信号の直接指定を選
択し（ステップ５１）、図６の起点信号の直接指定の処
理において起点信号名Ｓ１に“Ｇ”を、起点信号のシミ
ュレーション時刻情報Ｔ（Ｓ１＝Ｇ）に“Ｔ１”を、起
点信号の信号値又は信号の変化Ｖ（Ｓ１＝Ｇ）に“Ｕ”
（不定値を意味する。）をそれぞれ入力する（ステップ
６１〜６３）。これらは、起点信号情報２として記憶さ
れ、図１９のようになる（ステップ６４）。

【００３４】次に、図８の一の起点信号に対する処理を
行う（ステップ９１）。

【００３５】図１０のバックトレース処理において（ス
テップ８１）、起点信号をトレース信号として、起点信
号情報２より、図２０に示すように、記憶領域のトレー
ス信号の信号名Ｔに“Ｇ”を、シミュレーション時刻Ｔ
（Ｔ）に“Ｔ１”を、及び信号値又は信号値の変化Ｖ
（Ｔ）に“Ｕ”を記憶する（ステップ１０２、１０
４）。論理回路構成素子の接続情報１３を参照し、トレ
ース信号“Ｇ”の出力素子“ハ”を導き出し、記憶領域
の出力素子Ｐに“ハ”を記憶する（ステップ１０５）。
論理回路構成素子の接続情報１３を参照し、出力素子
“ハ”の入力ピン数“２”を導き出す。従って、以降の
処理を２回行う（ステップ１０６）。論理回路構成素子
の接続情報１３を参照し、出力素子“ハ”の入力信号
“Ｅ”、“Ｆ”を導き出し、記憶領域の入力信号の信号
名Ｄ１に“Ｅ”を、Ｄ２に“Ｆ”を記憶する（ステップ
１０７）。回路テクノロジ情報１４と信号伝播の遅延時
間１５を参照し、入力信号のピン毎の信号伝播における
遅延時間“ＤＬ１”、“ＤＬ１”を導き出し、トレース
信号のシミュレーション時刻“Ｔ１”からその遅延時間
を遡った時刻“Ｔ２←Ｔ１−ＤＬ１”、“Ｔ２←Ｔ１−
ＤＬ１”を算出し、記憶領域の入力信号のシミュレーシ
ョン時刻Ｔ（Ｄ１）に“Ｔ２”を、Ｔ（Ｄ２）に“Ｔ
２”を記憶する（ステップ１０７）。シミュレーション
の履歴情報５を参照し、信号名“Ｅ”、“Ｆ”のシミュ
レーション時刻“Ｔ２”、“Ｔ２”における信号値
“０”、“Ｕ”を導き出し、記憶領域の入力信号の信号
値又は信号値の変化Ｖ（Ｄ１）に“０”を、Ｖ（Ｄ２）
に“Ｕ”を記憶する（ステップ１０７）。トレース信号
の信号名Ｔを除き、図２０に示す記憶領域の情報を、図
２１のようにトレース結果情報６として記憶して（ステ
ップ１０９）、バックトレース処理を終了する。

【００３６】次に、図１１の原因判定処理において（ス
テップ８２）、トレース結果情報６を入力する（ステッ
プ１１１）。バックトレース処理と同様に以降の処理を
ピン数つまり入力信号数“２”回行う（ステップ１１
２）。図４４の発生原因判定ルールを参照し、入力信号
毎に発生原因であるかを判断する（ステップ１１３）。
Ｖ（Ｔ）は、“Ｕ”であり、出力素子Ｐ“ハ”はＯＲ素
子であり、素子の種類は“組み合わせ回路素子”であ
る。Ｄ１は“Ｅ”であり、Ｖ（Ｄ１）は“０”である。
従って、発生原因判定ルールの条件には一致せず、
“Ｅ”は発生原因でないと判定される（ステップ１１
４）。また、Ｄ２は“Ｆ”であり、Ｖ（Ｄ２）は“Ｕ”
でり、同様に“Ｆ”は発生原因でないと判定される（ス
テップ１１４）。“Ｅ”、“Ｆ”の信号に関連する情
報、トレース信号の信号値又は信号値の変化Ｖ（Ｔ）及
び出力素子Ｐを、図２２に示すように、非原因信号情報
１０として記憶して（ステップ１１５）、原因判定処理
を終了する。

【００３７】次に、図１２のトレース対象選択処理にお
いて（ステップ８３）、非原因信号情報１０を入力する
（ステップ１２１）。以降の処理を非原因信号情報中の
発生原因でない入力信号の数“２”回行う。図４４の発
生関連判定ルールを参照し、入力信号毎に発生に関連す
るかを判断する（ステップ１２２）。Ｖ（Ｔ）は、
“Ｕ”であり、Ｖ（Ｄ１）は“０”である。従って、発
生関連判定ルールの条件には一致せず、“Ｅ”は発生に
関連しないと判定され、“Ｅ”の信号に関連する情報
は、トレース継続信号情報１２として記憶しない（ステ
ップ１２３、１２４）。一方、Ｖ（Ｄ２）は“Ｕ”であ
り、発生関連判定ルールの条件Ｂ１に一致する。“Ｆ”
は発生に関連すると判定され（ステップ１２３、１２
４）、図２３に示すように、“Ｆ”の信号に関連する情
報をトレース継続信号情報１２として記憶し（ステップ
１２５）、トレース対象選択処理を終了する。

【００３８】図８において、未処理のトレース継続信号
“Ｆ”が存在するので、ループ処理を行う（ステップ８
４）。

【００３９】次に、図１０において、トレース継続信号
“Ｆ”をトレース信号として（ステップ１０３）、トレ
ース継続信号情報１２より、図２４に示すように、記憶
領域のトレース信号の信号名Ｔに“Ｆ”を、シミュレー
ション時刻Ｔ（Ｔ）に“Ｔ２”を、及び信号値又は信号
値の変化Ｖ（Ｔ）に“Ｕ”を記憶する（ステップ１０
４）。１回目と同様にバックトレース処理を行うと記憶
領域は、図２４のようになり（ステップ１０４）、図２
５に示すようなトレース結果情報を記憶して（ステップ
１０９）、バックトレース処理を終了する。尚、“Ｄ”
の信号値Ｖ（Ｄ２）には、高インピーダンス状態を示す
“Ｚ”が記憶されている。

【００４０】次に、図１１において、１回目と同様に原
因判定処理を行う（ステップ８２）。Ｖ（Ｔ）は、
“Ｕ”であり、出力素子Ｐ“ロ”はＡＮＤ素子であり、
素子の種類は“組み合わせ回路素子”である。Ｄ１は
“Ｃ”であり、Ｖ（Ｄ１）は“１”である。従って、発
生原因判定ルールの条件には一致せず、“Ｃ”は発生原
因でないと判定される（ステップ１１３、１１４）。
“Ｃ”の信号に関連する情報、トレース信号の信号値又
は信号値の変化Ｖ（Ｔ）及び出力素子Ｐを図２６に示す
ように非原因信号情報１０として記憶する（ステップ１
１５）。一方、Ｄ２は“Ｄ”であり、Ｖ（Ｄ２）は
“Ｚ”であり、発生原因判定ルールの条件Ａ１に一致す
る。“Ｄ”は発生原因と判定され（ステップ１１３、１
１４）、信号名“Ｄ”、シミュレーション時刻“Ｔ３”
及び発生原因ルール中の条件“Ａ１”を図２７に示すよ
うに発生原因情報９として記憶し（ステップ１１６）、
原因判定処理を終了する。

【００４１】次に、図１２において、１回目と同様にト
レース継続信号選択処理を行う（ステップ８４）。非原
因信号情報は図２６のようになっており、Ｖ（Ｔ）は、
“Ｕ”であり、Ｖ（Ｄ１）は“１”である。従って、発
生関連判定ルールの条件には一致せず、“Ｃ”は発生に
関連しないと判定され（ステップ１２３）、“Ｃ”の信
号に関連する情報は、トレース継続信号情報１２として
記憶せずにトレース対象選択処理を終了する（ステップ
１２４）。

【００４２】図８において、未処理のトレース継続信号
は存在しないので、ループ処理を行うことなく一の起点
信号に対する処理を終了する（ステップ８４）。

【００４３】起点信号は単数ゆえ、図９に示すループ処
理は行わないで終了する（ステップ９２）。以上の処理
により、図２７のような発生原因情報が記憶される。

【００４４】実施の形態２．次に、特定の変化を示す信
号を起点信号とする場合についての実施の形態２を説明
する。論理回路構成素子の接続情報を回路図に表わした
図２８の論理回路の例２において図２９のタイミングチ
ャートに示す０から不定値に変化した信号Ｒを起点信号
とする。本実施の形態では、信号“Ｈ”、“Ｊ”間のタ
イミングエラー即ちセットアップタイムの不足が不定出
力値の発生原因である。

【００４５】操作者は図５起点信号入力の処理において
起点信号の直接指定を選択し（ステップ５１）、図６起
点信号の直接指定の処理において起点信号名Ｓ１に
“Ｒ”を、起点信号のシミュレーション時刻情報Ｔ（Ｓ
１＝Ｇ）に“Ｔ４”を、起点信号の信号値又は信号の変
化Ｖ（Ｓ１＝Ｇ）に“０Ｕ”（０から不定値への変化を
意味する。）をそれぞれ入力する（ステップ６１〜６
３）。これらは、起点信号情報２として記憶され、図３
０のようになる（ステップ６５）。

【００４６】次に、図８の一の起点信号に対する処理を
行う（ステップ９１）。

【００４７】図１０のバックトレース処理において（ス
テップ８１）、起点信号をトレース信号として（ステッ
プ１０２）、起点信号情報２より、図３１のように記憶
領域のトレース信号の信号名Ｔに“Ｒ”を、シミュレー
ション時刻Ｔ（Ｔ）に“Ｔ４”を、及び信号値又は信号
値の変化Ｖ（Ｔ）に“０Ｕ”を記憶する（ステップ１０
４）。論理回路構成素子の接続情報１３を参照し、トレ
ース信号“Ｒ”の出力素子“ト”を導き出し、記憶領域
の出力素子Ｐに“ト”を記憶する（ステップ１０５）。
論理回路構成素子の接続情報１３を参照し、出力素子
“ト”の入力ピン数“２”を導き出す。従って、以降の
処理を２回行う（ステップ１０６）。論理回路構成素子
の接続情報１３を参照し、出力素子“ト”の入力信号
“Ｐ”、“Ｑ”を導き出し、記憶領域の入力信号の信号
名Ｄ１に“Ｐ”を、Ｄ２に“Ｑ”を記憶する（ステップ
１０７）。回路テクノロジ情報１４と信号伝播の遅延時
間１５を参照し、入力信号のピン毎の信号伝播における
遅延時間“ＤＬ３”、“ＤＬ３”を導き出し、トレース
信号のシミュレーション時刻“Ｔ４”からその遅延時間
を遡った時刻“Ｔ５←Ｔ４−ＤＬ３”、“Ｔ５←Ｔ４−
ＤＬ３”を算出し、記憶領域の入力信号のシミュレーシ
ョン時刻Ｔ（Ｄ１）に“Ｔ５”を、Ｔ（Ｄ２）に“Ｔ
５”を記憶する（ステップ１０７）。シミュレーション
の履歴情報５を参照し、信号名“Ｐ”、“Ｑ”のシミュ
レーション時刻“Ｔ５”、“Ｔ５”における信号値
“０”、“０Ｕ”を導き出し、記憶領域の入力信号の信
号値又は信号値の変化Ｖ（Ｄ１）に“０”を、Ｖ（Ｄ
２）に“０Ｕ”を記憶する（ステップ１０７）。トレー
ス信号の信号名Ｔとシミュレーション時刻Ｔ（Ｔ）を除
く図３１に示す記憶領域の情報を、図３２に示すように
トレース結果情報６として記憶して（ステップ１０
９）、バックトレース処理を終了する。

【００４８】次に、図１１の原因判定処理において（ス
テップ８２）、Ｖ（Ｔ）は、“０Ｕ”であり、出力素子
Ｐ“ト”の種類は“組み合わせ回路素子”である。Ｄ１
は“Ｐ”であり、Ｖ（Ｄ１）は“０”である。従って、
図４４の発生原因判定ルール１６の条件には一致せず、
“Ｐ”は発生原因でないと判定される（ステップ１１
３）。Ｄ２は“Ｑ”であり、Ｖ（Ｄ２）は“０Ｕ”で
り、同様に“Ｑ”は発生原因でないと判定される（ステ
ップ１１３）。“Ｐ”、“Ｑ”の信号に関連する情報、
トレース信号の信号値又は信号値の変化Ｖ（Ｔ）及び出
力素子Ｐを図３３のような非原因信号情報１０として記
憶して（ステップ１１５）、原因判定処理を終了する。

【００４９】次に、図１２のトレース対象選択処理にお
いて（ステップ８３）、図４４の発生関連判定ルール１
７を参照し、入力信号毎に発生に関連するかを判断する
（ステップ１２２）。Ｖ（Ｔ）は、“０Ｕ”であり、Ｖ
（Ｄ１）は“０”である。従って、発生関連判定ルール
１７の条件には一致せず、“Ｐ”は発生に関連しないと
判定され（ステップ１２３）、“Ｐ”の信号に関連する
情報は、トレース継続信号情報１２として記憶しない
（ステップ１２４）。一方、Ｖ（Ｄ２）は“０Ｕ”であ
り、発生関連判定ルール１７の条件Ｄ１に一致する。
“Ｑ”は発生に関連すると判定され（ステップ１２
４）、“Ｑ”の信号に関連する情報を図３４のようなト
レース継続信号情報として記憶して（ステップ１２
５）、トレース対象選択処理を終了する。

【００５０】図８において、未処理のトレース継続信号
“Ｑ”が存在するので、ループ処理を行う（ステップ８
４）。

【００５１】図１０のバックトレース処理（ステップ８
１）、図１１の原因判定処理（ステップ８２）、図１２
のトレース対象選択処理（ステップ８３）により、図３
４に示すトレース結果情報６、図３５に示す非原因信号
情報１０、図３７に示すトレース継続信号情報１２が記
憶される。

【００５２】更に図８において、未処理のトレース継続
信号“Ｎ”が存在するので、ループ処理を行う（ステッ
プ８４）。

【００５３】図１０のバックトレース処理において（ス
テップ８１）、トレース継続信号“Ｎ”をトレース信号
として（ステップ１０３）、トレース継続信号情報１２
より、図３７に示すように記憶領域のトレース信号の信
号名Ｔに“Ｎ”を、シミュレーション時刻Ｔ（Ｔ）に
“Ｔ６”を、及び信号値又は信号値の変化Ｖ（Ｔ）に
“１Ｕ”を記憶する（ステップ１０４）。論理回路構成
素子の接続情報１３を参照し、トレース信号“Ｎ”の出
力素子“二”を導き出し、記憶領域の出力素子Ｐに
“二”を記憶する（ステップ１０５）。論理回路構成素
子の接続情報１３を参照し、出力素子“二”の入力信号
“Ｈ”、“Ｊ”を導き出し、記憶領域の入力信号の信号
名Ｄ１に“Ｈ”を、Ｄ２に“Ｊ”を記憶する（ステップ
１０７）。回路テクノロジ情報１４と信号伝播の遅延時
間１５を参照し、入力信号“Ｊ”の信号伝播における遅
延時間は、出力素子“二”がフリップフロップであるの
でクロック信号“Ｊ”の有効エッジから“Ｎ”の信号値
の変化までの時間“ＤＬ５”となる。従って、“Ｔ７”
がシミュレーション時刻となる（ステップ１０７）。一
方、入力信号“Ｈ”の信号値又は信号値の変化は、更に
フリップフロップのセットアップ時間“Ｄ６”だけ遡っ
た“Ｔ８”がシミュレーション時刻となる（ステップ１
０７）。シミュレーションの履歴情報５を参照し、信号
名“Ｈ”、“Ｊ”のシミュレーション時刻“Ｔ８”、
“Ｔ７”における信号値“０”、“０１”（“０”から
“１”への信号値の変化を意味する。）を導き出し、記
憶領域の入力信号の信号値又は信号値の変化Ｖ（Ｄ１）
に“０”を、Ｖ（Ｄ２）に“０１”を記憶する（ステッ
プ１０７）。図３９に示すトレース結果情報に記憶して
（ステップ１０９）。バックトレース処理を終了する。

【００５４】次に、図１１の原因判定処理において（ス
テップ８２）、Ｖ（Ｔ）は、“１Ｕ”であり、出力素子
Ｐ“二”はフリップフロップであり、素子の種類は“順
次回路素子”である。Ｖ（Ｄ１）は“０”であり、Ｖ
（Ｄ２）は“０１”であり、発生原因判定ルールの条件
Ｃ１に一致する。“Ｈ”、“Ｊ”は発生原因と判定され
（ステップ１１３）、信号名“Ｈ”、“Ｊ”、シミュレ
ーション時刻“Ｔ８”、“Ｔ７”及び発生原因ルール中
の条件“Ｃ１”を図４０のように発生原因情報９として
記憶し（ステップ１１６）、原因判定処理を終了する。

【００５５】非原因信号、未処理のトレース継続信号、
未処理の起点信号ともに存在しないため処理を終了する
（ステップ１２２、８４、９２）。

【００５６】実施の形態３．次に、起点信号検索処理の
実施の形態３について説明する。論理回路構成素子の接
続情報を回路図に表わした図４１の論理回路の例３にお
いて図４２のタイミングチャートの例３に示す不定値か
ら“０”に変化した信号“Ｄ”を検索する例を説明す
る。

【００５７】図７の検索条件の入力の処理により（ステ
ップ５３）、図４３のような検索条件１８が与えられる
（ステップ７１〜７３）。

【００５８】次に、図１３の起点信号検索処理におい
て、検索条件１８より、起点信号の信号値又は信号値の
変化Ｖに“Ｕ０”を、その特徴を示す時刻範囲の上限Ｔ
Ｓに“Ｔ１０”を、下限ＴＥに“Ｔ９”を記憶する（ス
テップ１３１）。論理回路構成素子の接続情報１３を参
照し、最終段出力信号“ｍ”、“ｎ”、“ｏ“、”
ｐ“、”ｑ“を導き出し検索継続信号情報２０へ登録す
る（ステップ１３２）。

【００５９】図１４の一の検索継続信号に対する処理
（１）において、トレース信号Ｔを“ｍ”とする（ステ
ップ１４１）。シミュレーションの履歴情報５から
“ｍ”のシミュレーション時刻“Ｔ１０”から“Ｔ９”
の区間の信号値をトレースする（ステップ１４２）。検
索条件の信号値の変化Ｖ“Ｕ０”と一致しないので（ス
テップ１４３）、図１５の検索継続信号の登録処理に移
行する（ステップ１４４）。

【００６０】図１５の検索継続信号の登録処理において
（ステップ１４４）、論理回路構成素子の接続情報１３
を参照し、トレース信号Ｔ“ｍ”の出力素子Ｐ“ワ”を
導き出す（ステップ１５１）。出力素子Ｐ“ワ”は、検
索履歴情報１９に未登録であるので（ステップ１５
２）、論理回路構成素子の接続情報１３を参照し、
“ワ”の全ての入力信号“ｋ”を検索継続信号情報２０
に登録する（ステップ１５３）。検索履歴情報１９に出
力素子Ｐ“ワ”を登録する（ステップ１５４）。

【００６１】同様に処理を繰り返し、最前段の入力信号
に到達するか又は検索条件１８に信号が一致するまで、
信号伝播方向と逆方向へトレースが繰り返される。

【００６２】上記検索処理状況を実行順に羅列したのが
図４５である。信号“ａ”，“ｂ”，“ｃ”，“ｅ”，
“ｆ”の５つは検索条件の信号値の変化Ｖ“Ｕ０”に合
致していないため、さらに前段方向への検索が継続され
る（ステップ１４４、１３３）。信号“ｄ”は検索条件
の信号値の変化Ｖ“Ｕ０”に合致する信号であるため、
図１４一の検索継続信号に対する処理（１）において、
起点信号情報２のＴに“ｄ”を、Ｖ（Ｔ）に“Ｕ０”
を、信号値の変化のシミュレーション時刻Ｔ（Ｔ）に
“Ｔ１１”を記憶し、前段へのトレースを終了し（ステ
ップ１４５）、次の検索継続信号に対す処理に移行する
（ステップ１３３）。

【００６３】検索信号Ｔ“ｋ”の出力素子Ｐ“ヲ”、検
索信号Ｔ“ｏ”，“ｐ”，“ｑ”の出力素子Ｐ“カ”に
ついては、既に検索履歴情報１９に登録済のため、前段
へのトレースを終了し（ステップ１５２）、次の検索継
続信号に対す処理に移行する（ステップ１３３）。これ
により無駄なトレースが省かれ、検証効率が向上する。

【００６４】図１５における一の検索継続信号に対する
処理（ステップ１３３）は、図１６の一の検索継続信号
に対する処理（２）に示すように検索履歴情報１９に出
力素子ではなく検索信号を登録する方法もある（ステッ
プ１６６）。この方法によれば、検索信号の重複を排除
できるため、多くの素子の入力信号となっている信号即
ちファイナウントの大きい信号を多数含む電子回路にお
いて、検索効率が向上する利点を有する。

【００６５】

【発明の効果】発明においては、特徴的な信号を起点信
号とするため、不定信号の伝播やハザードの発生等の不
具合を直接的に原因解析できる。また、バックトレース
の結果得られた前段の信号を順次トレースの対象とし、
トレース信号伝播方向と逆方向に繰り返しトレースする
ので、不具合を含む信号を仮想モデル上の電子回路の信
号伝播の履歴より遡って、自動的に漏れなく追跡でき、
全ての不具合発生原因を直接発見することができる。こ
れにより不具合の解析が、格段に容易になる。

【００６６】本発明においては、信号伝播の遅延時間を
遡って入力信号を抽出するため、解析の対象となる素子
への入力信号を正確に抽出でき、素子の属性と組み合わ
せることにより、素子の属性に応じた的確な機能検証あ
るいは論理検証をすることができる。

【００６７】本発明においては、入力信号の変化に基づ
き、不具合の発生原因を判定するため、タイミング違反
等に起因する不具合発生原因を自動的に発見することが
できる。これにより不具合の解析が容易になる。

【００６８】本発明においては、バックトレースにおい
てシミュレーションの履歴情報を用いるため、信号の伝
播を回路全体に渡り正確に再現できる。また、シミュレ
ーションを繰り返す必要がないため、検証時間を短縮す
ることができる。

【００６９】本発明おいては、発生原因を判定するルー
ルをデータベースとするため、あらかじめ定められた判
定の条件を繰り返し用いることができ、大規模な論理回
路や複雑な論理回路においても判定の誤りがなくなる。
また、プログラムと分離できるため、不具合信号の内容
や回路を構成する素子の追加や変更に応じた判定条件の
変更や改善等も容易に行うことができる。これにより検
証が効率化され、解析が容易になる。

【００７０】本発明においては、不具合の発生に関連す
る信号のみを順次トレースの対象とし無駄なトレースを
省くため、検証の効率化が図れ、解析時間を短縮するこ
とができる。例えば、起点信号が不定値の場合、“０”
あるいは“１”の確定値を有する入力信号は追跡する必
要はなく、また、ハザードを起こしている場合、ハザー
ドのない素子の入力信号も追跡する必要がなく、自動的
にトレースの対象から除外することにより、それらの入
力信号の前段以前の信号についてのトレースを省略する
ことができ、検証の効率化が図られる。

【００７１】本発明においては、不具合の発生に関連す
る信号の判定を信号伝播の遅延時間を遡った入力信号を
用いて行うため、素子の属性に応じた的確な判定がで
き、検証の信頼性を高めるとともに、検証の効率化を図
ることができる。

【００７２】本発明においては、信号値の変化により不
具合の発生に関連する信号の判定を行うため、信号値の
変化を伴う不具合の解析においても、不具合信号の発生
原因を的確に追跡することができる。

【００７３】本発明おいては、発生に関連する信号を判
定するルールをデータベースとするため、あらかじめ定
められた判定の条件を繰り返し用いることができ、大規
模な論理回路や複雑な論理回路においても判定の誤りが
なくなる。また、プログラムと分離できるため、不具合
信号の内容や回路を構成する素子の追加や変更に応じた
判定条件の変更や改善等も容易に行うことができる。こ
れにより検証が効率化され、解析が容易になる。

【００７４】本発明においては、起点信号の特徴および
その特徴を示す時刻範囲を条件として、起点信号を漏れ
なく高速に検索し、検索された信号を起点信号とするた
め、仮想モデル上の電子回路を操作者の意図した条件に
従って、網羅的かつ効率的に検証することができ、仮想
モデル上の電子回路の検証の信頼性が向上する。

【００７５】本発明においては、起点信号の特徴を特定
の固定理論値を示すこととして、バックトレースし、原
因判定するため、不定値の信号値が発生している場合
に、その不定値の信号を追跡し、高インピーダンス状態
の入力信号等を発生原因として直接発見することなどが
できる。

【００７６】本発明においては、起点信号の特徴を信号
値が特定の変化を示すこととして、バックトレースし、
原因判定するため、固定値から不定値に変化する信号が
発生している場合に、その信号値の変化を追跡し、フリ
ップフロップなどの順序回路素子がタイミング違反を起
こしている等の発生原因を直接発見することができる。

【００７７】以上のように、本発明においては、検証を
効率化し、解析を容易化することにより、近年大規模
化、複雑化する電子回路の機能検証あるいは論理検証の
問題点を解消することができる。

【図面の簡単な説明】

【図１】 本発明の機能論理検証システムの概略図であ
る。

【図２】 本発明の機能論理検証システムのバックトレ
ース部と原因判定部を中心とした構成図である。

【図３】 本発明の機能論理検証システムのトレース継
続信号選択部を中心とした構成図である。

【図４】 本発明の機能論理検証システムの起点信号検
索部を中心とした構成図である。

【図５】 起点信号入力の処理フローチャート図であ
る。

【図６】 起点信号の直接指定の処理フローチャート図
である。

【図７】 検索条件の入力の処理フローチャート図であ
る。

【図８】 一の起点信号に対する処理フローチャート図
である。

【図９】 複数の起点信号に対する処理フローチャート
図である。

【図１０】 バックトレース処理フローチャート図であ
る。

【図１１】 原因判定処理フローチャート図である。

【図１２】 トレース対象選択処理フローチャート図で
ある。

【図１３】 起点信号検索処理フローチャート図であ
る。

【図１４】 一の検索継続信号に対する処理（１）フロ
ーチャート図である。

【図１５】 検索継続信号情報の登録処理フローチャー
ト図である。

【図１６】 一の検索継続信号に対する処理（２）フロ
ーチャート図である。

【図１７】 実施の形態１における論理回路の図であ
る。

【図１８】 実施の形態１におけるタイミングチャート
図である。

【図１９】 実施の形態１における起点信号情報の図で
ある。

【図２０】 実施の形態１におけるバックトレース部の
記憶領域の図である。

【図２１】 実施の形態１におけるバックトレース部の
記憶領域の図である。

【図２２】 実施の形態１における非原因信号情報の図
である。

【図２３】 実施の形態１におけるトレース継続信号情
報の図である。

【図２４】 実施の形態１におけるバックトレース部の
記憶領域の図である。

【図２５】 実施の形態１におけるバックトレース部の
記憶領域の図である。

【図２６】 実施の形態１における非原因信号情報の図
である。

【図２７】 実施の形態１における発生原因情報の図で
ある。

【図２８】 実施の形態２における論理回路の図であ
る。

【図２９】 実施の形態２におけるタイミングチャート
図である。

【図３０】 実施の形態２における起点信号情報の図で
ある。

【図３１】 実施の形態２におけるバックトレース部の
記憶領域の図である。

【図３２】 実施の形態２におけるトレース結果情報の
図である。

【図３３】 実施の形態２における非原因信号情報の図
である。

【図３４】 実施の形態２におけるトレース結果情報の
図である。

【図３５】 実施の形態２における非原因信号情報の図
である。

【図３６】 実施の形態２におけるトレース継続信号情
報の図である。

【図３７】 実施の形態２におけるトレース継続信号情
報の図である。

【図３８】 実施の形態２におけるバックトレース部の
記憶領域の図である。

【図３９】 実施の形態２におけるトレース結果情報の
図である。

【図４０】 実施の形態２における発生原因情報の図で
ある。

【図４１】 実施の形態３における論理回路の図であ
る。

【図４２】 実施の形態３におけるタイミングチャート
図である。

【図４３】 実施の形態３における検索条件の図であ
る。

【図４４】 ルールのデータベースの内容を表わした表
図である。

【図４５】 起点情報検索の結果の表図である。

【符号の説明】

１ 起点信号入力部、２ 起点信号情報、３ バックト
レース部、４ 仮想モデル情報、５ シミュレーション
の履歴情報、６ トレース結果情報、７ 原因判定部、
８ ルールのデータベース、９ 発生原因情報、１０
非原因信号情報、１１ トレース継続信号選択部、１２
トレース継続信号情報、１３ 論理回路構成素子の接
続情報、１４ 回路のテクノロジ情報、１５ 信号伝播
の遅延時間情報、１６ 発生原因判定ルール、１７ 発
生関連判定ルール、１８ 検索条件、１９ 検索履歴情
報、２０ 検索継続信号情報、２１ 起点信号検索部、
Ａ〜Ｒ，ａ〜ｑ 信号線、イ〜カ 回路を構成する素
子、ＤＬ１〜ＤＬ６ 信号伝播の遅延時間、Ｔ１〜Ｔ１
０ サンプリング時刻。

Claims (12)

【特許請求の範囲】
1. 【請求項１】 複数素子の組み合わせにより構成される
   電子回路をコンピュータ上の仮想モデルとして実現し、
   当該仮想モデルの正当性をシミュレーションにて検証す
   る電子回路機能論理検証支援システムにおいて、 仮想モデル上の特徴的な信号を起点信号とし、仮想モデ
   ル上の電子回路を信号伝播方向と逆方向にトレースする
   バックトレース部のトレース結果により、起点信号の特
   徴の発生原因を判定する原因判定部とを有することを特
   徴とする電子回路機能論理検証支援システム。
2. 【請求項２】 バックトレース部は、トレース信号の出
   力素子と信号伝播の遅延時間を遡った時刻のその出力素
   子への入力信号値を抽出し、原因判定部は、その出力素
   子と入力信号値に基づき起点信号の特徴の発生原因を判
   定することを特徴とする請求項１記載の電子回路機能論
   理検証支援システム。
3. 【請求項３】 バックトレース部は、入力信号値の変化
   を抽出し、原因判定部は、その入力信号値の変化に基づ
   き起点信号の特徴の発生原因を判定することを特徴とす
   る請求項２記載の電子回路機能論理検証支援システム。
4. 【請求項４】 バックトレース部は、シミュレーション
   の履歴情報を用いることを特徴とする請求項１記載の電
   子回路機能論理検証支援システム。
5. 【請求項５】 電子回路機能論理検証支援システムは、
   起点信号の特徴の発生原因を判定するルールをデータベ
   ースとして具備することを特徴とする請求項１記載の電
   子回路機能論理検証支援システム。
6. 【請求項６】 電子回路機能論理検証支援システムは、
   起点信号の特徴の発生に関連する信号をトレース継続信
   号として選択するトレース継続信号選択部を有すること
   を特徴とする請求項１記載の電子回路機能論理検証支援
   システム。
7. 【請求項７】 トレース継続信号選択部は、起点信号の
   特徴の発生に関連する信号を、信号伝播の遅延時間を遡
   った時刻の信号値により判定することを特徴とする請求
   項６記載の電子回路機能論理検証支援システム。
8. 【請求項８】 トレース継続信号選択部は、信号値の変
   化により判定することを特徴とする請求項７記載の電子
   回路機能論理検証支援システム。
9. 【請求項９】 電子回路機能論理検証支援システムは、
   起点信号の特徴の発生に関連する信号であると判定する
   ルールをデータベースとして具備することを特徴とする
   請求項６記載の電子回路機能論理検証支援システム。
10. 【請求項１０】 機能論理支援システムは、起点信号の
    特徴およびその特徴を示す時刻範囲を条件として、起点
    信号を検索する起点信号検索部を有し、検索された信号
    を起点信号とすることを特徴とする請求項１記載の電子
    回路機能論理検証支援システム。
11. 【請求項１１】 バックトレース部は、特徴的な信号と
    して特定の固定論理値を示す信号を起点信号とし、原因
    判定部は、起点信号の特徴を特定の固定論理値を示すこ
    ととして発生原因を判定することを特徴とする請求項１
    記載の電子回路機能論理検証支援システム。
12. 【請求項１２】 バックトレース部は、特徴的な信号と
    して特定の変化を示す信号を起点信号とし、原因判定部
    は、起点信号の特徴を特定の変化を示すこととして発生
    原因を判定することを特徴とする請求項１記載の電子回
    路機能論理検証支援システム。