JPH10177590A - 論理回路モデルのデバッグ装置およびデバッグ方法 - Google Patents

Abstract

(57)【要約】 【課題】チェックポイントなどの設定なしに論理回路モ
デルが不具合を発生させた時点の直前の状態を容易に復
元することのできるデバッグ装置を提供する。 【解決手段】シミュレータ管理装置１１は、論理シミュ
レータ（ｂ）１２の動作が論理シミュレータ（ａ）１２
の動作よりも１動作遅れるように２つの論理シミュレー
タ１２を並列に実行制御し、論理シミュレータ（ａ）に
よってシミュレートされる論理回路モデル１４の中の観
測対象となるオブジェクトの値と期待値ファイル１５に
格納された期待値とが一致するかどうかを監視する。そ
して、不一致が起こったときに、２つの論理シミュレー
タ１２の動作を停止させることによって、論理シミュレ
ータ（ｂ）１２に論理回路モデル１４が不具合を発生さ
せた時点の直前の状態を保持させる。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】この発明は、回路設計の検証
に用いられる論理回路モデルのデバッグに適用して好適
なデバッグ装置およびデバッグ方法に係り、特に論理回
路モデルが不具合を発生させる直前の状態を容易に復元
することのできるデバッグ装置およびデバッグ方法に関
する。

【０００２】

【従来の技術】回路設計の検証は、以前は試作機を作成
して行なわれていたが、時間的、経済的および労力的ロ
スをなくすための論理シミュレータが考案され実用化さ
れてからは、この論理シミュレータが回路設計の検証に
広く使用されている。この論理シミュレータは、回路モ
デルをハードウェア記述言語またはスケマティックによ
って表現し、コンピュータ上でこの回路モデルの論理
（動作）を模擬実行するものである。

【０００３】回路設計者は、回路モデルにバグ（不具
合）がないかを様々な入力データとその実行結果とから
検証する。一般的には、「回路モデルの作成／修正」、
「シミュレーションの実行」および「不具合箇所の検
出」といった作業をバグがなくなるまで繰り返し行な
う。

【０００４】ここで、それぞれの作業について説明す
る。 （１）回路モデルの作成／修正 このステップでは、回路モデルの表現方法であるハード
ウェア記述言語またはスケマティックのそれぞれに応じ
た編集プログラムを用いて行なう。初期モデルを作成す
る際、または不具合箇所を特定した後に記述またはスケ
マティックを修正する際にこのステップに入る。

【０００５】（２）シミュレーションの実行 このステップでは、回路モデルの構造と動作とが正しい
かをチェックするための情報を得るためにシミュレーシ
ョンを実行する。

【０００６】情報を得るための論理シミュレータの一機
能に、指定したオブジェクトの値を監視して表示するト
レースがある。シミュレーションでは、回路モデルに存
在するいくつかのオブジェクトをトレース指定し、その
値が正しいかどうかをチェックするための情報を取得す
る。トレースするオブジェクトが多いとシミュレーショ
ン時間が長くなり、かつ、そのトレース結果を格納する
ファイルサイズが大きくなるので、通常は回路モデル内
にあるすべてのオブジェクトをトレースすることはな
く、いくつかのオブジェクトを選択して実行する。

【０００７】（３）不具合箇所の検出 このステップでは、論理シミュレータのトレース機能な
どによって得た回路モデル内のオブジェクトの値の情報
で、モデルの構造と動作とが正しいかどうかをチェック
する。

【０００８】動作の正しくないオブジェクトの存在が確
認されたときに、そのオブジェクトに正しくない値を発
生させた原因を究明する作業に入る。その際には、その
不具合を発生させた時点でのオブジェクトとネット接続
されているオブジェクトの情報が必要である。そのオブ
ジェクトの値情報がない場合には、さらに情報を得るた
めに再度「シミュレーションの実行」ステップを行な
う。そして、究明できた場合には、「回路モデルの作成
／修正」ステップに戻る。

【０００９】このように、回路設計者は、回路モデルか
らバグを取り除き完全なモデルにしていくが、現状で
は、不具合箇所の原因を把握するための度重なるシミュ
レーションに多大な手間と時間がかかってしまってい
る。

【００１０】たとえば、デバッグ時、不具合を発見した
場合に、その不具合箇所の直前のオブジェクトの状態を
確認したい場合や、誤ったコマンドを入力してしまった
場合など、コマンド入力前のシミュレーション状態に戻
りたい場合がある。

【００１１】しかしながら、従来のシミュレータ装置の
デバッグ機能では、以前のシミュレータの実行状態に戻
ることは困難であるため、最初からシミュレーションの
し直しを行なわなくてはならないといった問題があっ
た。

【００１２】このような状況から、従来の論理シミュレ
ータでは、この最初からシミュレーションのし直しを行
なわなければならないという問題を回避するためのデバ
ッグ機能の一つとしてチェックポイント方式が存在す
る。

【００１３】このチェックポイント方式とは、再実行時
の開始位置とすることのできる時点（チェックポイン
ト）を予め指定しておき、その指定された時点から再実
行を開始するために必要な情報を保存しておく方式をい
う。この方式によれば、再現したい時点以前の最も近い
チェックポイントからシミュレーションを再実行すれば
よく、最初から再びシミュレーションする場合に比べて
不具合解析における再シミュレーション時間が短縮され
ることになる。

【００１４】しかしながら、このチェックポイント方式
にも、予めユーザによるチェックポイントの指定が必要
となる上、そのチェックポイントの指定が必ずしも適切
であるとはいえないといった問題があった。また、この
チェックポイントを頻繁に設定すると、再シミュレーシ
ョンするために保存しておかなければならない情報が膨
大な量になってしまい、記憶装置などの資源を大量に割
り当てざるを得なくなるばかりでなく、シミュレーショ
ンそのものが遅くなってしまうといった問題があった。

【００１５】

【発明が解決しようとする課題】このように、従来のデ
バッグ方式では、不具合箇所を修正後に再度シミュレー
ションを行なって修正が間違いないことを確認する際、
最初からその修正箇所までステップ実行していくか、ま
たは修正箇所にチェックポイントを予め設定してからシ
ミュレーションしなければならないといった問題があっ
た。

【００１６】また、このチェックポイント方式にも、予
めユーザによるチェックポイントの指定が必要となる
上、そのチェックポイントの指定が必ずしも適切である
とはいえないといった問題があり、このチェックポイン
トを頻繁に設定すると、再シミュレーションするために
保存しておかなければならない情報が膨大な量になって
しまい、記憶装置などの資源を大量に割り当てざるを得
なくなるばかりでなく、シミュレーションそのものが遅
くなってしまうといった問題があった。

【００１７】この発明はこのような実情に鑑みてなされ
たものであり、ユーザが予めチェックポイントなどを指
定することなく、不具合が発見された時点でシミュレー
ションを自動的に中断させ、かつこの不具合が発見され
た時点の直前のシミュレータ状態を容易に再現できるこ
とを可能とするデバッグ装置およびデバッグ方法を提供
することを目的とする。

【００１８】

【課題を解決するための手段】この発明のデバッグ装置
は、回路設計の検証に用いられる論理回路モデルのデバ
ッグ装置において、前記論理回路モデル内の観測対象と
するオブジェクトに期待する値を時系列に保持する期待
値ファイルと、前記論理回路モデルの動作をコンピュー
タ上で模擬実行する第１および第２の論理シミュレータ
と、前記第２の論理シミュレータで模擬実行される前記
論理回路モデルの動作が前記第１の論理シミュレータで
模擬実行される前記論理回路モデルの動作から一動作遅
れるように前記第１および第２の論理シミュレータを並
列に実行制御するシミュレータ実行制御手段と、前記第
１の論理シミュレータが模擬実行する前記論理回路モデ
ル内の観測対象オブジェクトの値と前記期待値ファイル
に保持される期待値とを比較する比較手段と、前記比較
手段の比較結果が不一致であったときに、前記第１およ
び第２の論理シミュレータの実行を停止させるシミュレ
ータ停止手段とを具備し、前記論理回路モデルが不具合
を発生させた時点の一動作前の状態を前記第２の論理シ
ミュレータに保持させることを特徴とする。

【００１９】この発明のデバッグ装置においては、論理
回路モデル内の観測対象とするオブジェクトに期待する
値を時系列に期待値ファイルに保持しておき、この期待
値と論理回路モデル内の観測対象オブジェクトの値とを
比較しながら第１の論理シミュレータによる論理回路モ
デルの動作の模擬実行を進行させていく。一方、第２の
論理シミュレータには、この第１の論理シミュレータに
よる論理回路モデルの動作から一動作遅れるように論理
回路モデルの動作の模擬実行を並列に進行させていく。

【００２０】そして、期待値ファイルに保持される期待
値と、第１の論理シミュレータが模擬実行する論理回路
モデル内の観測対象オブジェクトの値とが一致しなかっ
たとき、すなわち、第１の論理シミュレータが模擬実行
する論理回路モデル内の観測対象オブジェクトに不具合
が発見されたときに、第１および第２の論理シミュレー
タ双方の実行を停止させる。このとき、第２の論理シミ
ュレータが模擬実行する論理回路モデルは、第１の論理
シミュレータが模擬実行する論理回路モデルの一動作前
の状態を保持していることになる。

【００２１】したがって、この発明のデバッグ装置によ
れば、たとえばユーザによるチェックポイントなどの設
定を必要とせずに、論理回路モデルが不具合を発生させ
た時点の直前のシミュレータ状態を容易に提供できるこ
とになり、デバッグの効率を飛躍的に向上させることが
可能となる。

【００２２】また、この発明のデバッグ装置は、回路設
計の検証に用いられる論理回路モデルのデバッグ装置に
おいて、前記論理回路モデル内の観測対象とするオブジ
ェクトに期待する値を時系列に保持する期待値ファイル
と、前記論理回路モデルの動作をコンピュータ上で模擬
実行する論理シミュレータと、前記論理シミュレータの
状態を示す内部情報が保持されるバッファと、その時点
での内部情報が前記バッファに退避された後に前記論理
回路モデルの動作を進行させるように前記論理シミュレ
ータを実行制御するシミュレータ実行制御手段と、前記
論理シミュレータが模擬実行する前記論理回路モデル内
の観測対象オブジェクトの値と前記期待値ファイルに保
持される期待値とを比較する比較手段と、前記比較手段
の比較結果が不一致であったときに、前記論理シミュレ
ータの実行を停止させるシミュレータ停止手段とを具備
し、前記論理回路モデルが不具合を発生させた時点の一
動作前の状態を示す内部情報を前記バッファに保持させ
ることを特徴とする。

【００２３】この発明のデバッグ装置においては、論理
回路モデル内の観測対象とするオブジェクトに期待する
値を時系列に期待値ファイルに保持しておき、この期待
値と論理回路モデル内の観測対象オブジェクトの値とを
比較しながら論理シミュレータによる論理回路モデルの
動作の模擬実行を進行させていく。また、この論理シミ
ュレータによる論理回路モデルの動作を進行させる際、
その時点での内部情報がバッファに退避されるのを待機
させる。

【００２４】そして、期待値ファイルに保持される期待
値と、論理シミュレータが模擬実行する論理回路モデル
内の観測対象オブジェクトの値とが一致しなかったと
き、すなわち、論理シミュレータが模擬実行する論理回
路モデル内の観測対象オブジェクトに不具合が発見され
たときに、この論理シミュレータの実行を停止させる。
このとき、バッファには、論理シミュレータが模擬実行
する論理回路モデルの一動作前の状態を示す内部情報が
保持されていることになる。

【００２５】したがって、この発明のデバッグ装置によ
れば、たとえばユーザによるチェックポイントなどの設
定を必要とせずに、論理回路モデルが不具合を発生させ
た時点の直前のシミュレータ状態を容易に提供できるこ
とになり、デバッグの効率を飛躍的に向上させることが
可能となる。

【００２６】なお、たとえば３つ以上の論理シミュレー
タを並列に動作させることが可能な場合や３世代以上の
状態を保持できる容量をもつバッファを使用することが
可能な場合には、論理回路モデルが不具合を発生させた
時点以前のシミュレータ状態を複数世代提供できること
になる。

【００２７】

【発明の実施の形態】以下、図面を参照してこの発明の
実施形態を説明する。 （第１実施形態）図１は、この発明の第１実施形態のデ
バッグシステムの概略構成を示す図である。図１に示す
ように、第１実施形態のデバッグシステム１０では、シ
ミュレータ管理装置１１の制御下で、論理シミュレータ
（ａ）１２および論理シミュレータ（ｂ）１２の２つの
論理シミュレータが並列に論理回路モデル１４の動作を
シミュレートする。この２つの論理シミュレータは同じ
ものである。また、このデバッグシステム１０では、論
理回路モデル１４の中の観測対象とするオブジェクトに
期待する値を時系列に保持する期待値ファイル１５と、
論理シミュレータ（ａ）１２および論理シミュレータ
（ｂ）１２に動作指示するためのコマンドを格納するコ
マンド格納バッファ１６とを具備し、シミュレータ管理
装置１１がこのコマンド格納バッファ１６に格納された
コマンドを一つずつずらしながら論理シミュレータ
（ａ）１２と論理シミュレータ（ｂ）１２とに投入して
いく。ここでは、論理シミュレータ（ａ）１２が、論理
シミュレータ（ｂ）１２よりも先行してコマンドが投入
されていくものとする。したがって、論理シミュレータ
（ｂ）１２による論理回路モデル１４のシミュレーショ
ンは、論理シミュレータ（ａ）１２による論理回路モデ
ル１４のシミュレーションと比較して、１コマンド分遅
れていることになる。また、デバッガ１３は、ユーザの
指示にしたがい、論理シミュレータ１２がシミュレート
する論理回路モデル１４内のオブジェクトの値を参照し
たり変更したりするツールである。

【００２８】そして、シミュレータ管理装置１１は、論
理シミュレータ（ａ）１２によってシミュレートされて
いる論理回路モデル１４の中の観測対象オブジェクトの
値と期待値ファイル１５の値とを比較して、一致してい
れば次のコマンドをコマンド格納バッファ１６から読み
出して論理シミュレータ（ａ）１２に対して投入すると
ともに、その一つ前のコマンド、すなわち、いま論理シ
ミュレータ（ａ）１２が処理したコマンドを論理シミュ
レータ（ｂ）１２に対して投入する。一方、一致してい
なかった場合、シミュレータ管理装置１１は、その時点
で論理シミュレータ（ａ）１２および論理シミュレータ
（ｂ）１２双方に対するコマンドの投入を停止する。

【００２９】すなわち、論理シミュレータ（ａ）１２に
は論理回路モデル１４が不具合を発生させた時点の状態
が保持され、一方、論理シミュレータ（ｂ）１２には論
理回路モデル１４が不具合を発生させた時点の１コマン
ド前の状態が保持されていることになり、ユーザはデバ
ッガ１３を操作することにより、これらの情報を容易に
取得することができることになる。

【００３０】図２には、論理回路モデル１４の一例が示
されており、この図２に示した論理回路モデル１４は図
３のように表現されるものであるとする。そして、この
論理回路モデル１４の中の「ｐｏｒｔ」を観測対象オブ
ジェクトとし、この「ｐｏｒｔ」に対する期待値が図４
のように設定されて期待値ファイル１５に格納されてい
るものとする。なお、この期待値は、論理回路モデル１
４が新規に作成させるものであるときは、多くの場合、
検証用データとして設計者により作成されるものである
が、一方、機能追加などによる修正の場合には、修正前
の論理回路モデル１４をシミュレートした結果を採用す
ればよい。

【００３１】そして、シミュレータ管理装置１１は、ユ
ーザから入力されたコマンドのうち、論理シミュレータ
（ａ）１２を動作指示するためのシミュレータ制御系コ
マンドのみをコマンド格納バッファ１６に格納してい
く。たとえば、ユーザから図５（ａ）に示したようなコ
マンドが入力された場合には、図５（ｂ）に示したよう
にシミュレータ制御系コマンドのみがコマンド格納バッ
ファ１６に格納されることになる。

【００３２】いま、論理シミュレータ（ａ）１２および
論理シミュレータ（ｂ）１２による論理回路モデル１４
のシミュレートによって「ｐｏｒｔ」の値が図６のよう
に推移していくものとする。また、論理シミュレータ
（ａ）１２および論理シミュレータ（ｂ）１２は、図７
に示すように互いに一定のずれをもってシミュレーショ
ンを進行させていく。そして、シミュレータ管理装置１
１は、論理シミュレータ（ａ）１２がシミュレートする
論理回路１４の「ｐｏｒｔ」の値が（時刻）５において
期待値ファイル１５の値と異なることを検出し、論理シ
ミュレータ（ａ）１２および論理シミュレータ（ｂ）１
２双方のシミュレートをその時点で停止させる。すなわ
ち、図７（ｂ）に示す時点の状態を論理シミュレータ
（ａ）１２および論理シミュレータ（ｂ）１２は保持す
ることになる。したがって、ユーザはデバッガ１３を操
作することにより、論理回路モデル１４が不具合を発生
させた時点（（時刻）５）の一動作前（（時刻）４）の
状態を論理シミュレータ（ｂ）１２から容易に取得する
ことができることになる。

【００３３】次に、第１実施形態の動作手順を説明す
る。図８は第１実施形態の動作手順を説明するためのフ
ローチャートである。シミュレータ管理装置１１は、ユ
ーザからのコマンドを入力して制御系コマンドのみをコ
マンド格納バッファ１６に格納すると（ステップＡ
１）、論理シミュレータ（ａ）１２に対してコマンドを
投入するとともに（ステップＡ２）、その１つ前のコマ
ンドを論理シミュレータ（ｂ）１２に対して投入する
（ステップＡ４）。このとき、シミュレータ管理装置１
１は、論理シミュレータ（ａ）１２がシミュレートする
論理回路モデル１４の中の観測対象とするオブジェクト
の値と期待値ファイル１５に保持された期待値とを比較
して（ステップＡ５）、一致していた場合には（ステッ
プＡ６のＮ）、論理シミュレータ（ａ）１２および論理
シミュレータ（ｂ）１２双方のシミュレートを継続させ
る。一方、一致しなかった場合には（ステップＡ６の
Ｙ）、その時点でシミュレーションを中断させ（ステッ
プＡ７）、デバッガ１３によるオブジェクトの確認作業
に移行する（ステップＡ８）。

【００３４】これにより、たとえばチェックポイントの
設定などを予め行なわなくとも、論理回路モデル１４が
不具合を発生させた時点の直前の状態を論理シミュレー
タ（ｂ）１２に保持させることができ、デバッグの効率
を飛躍的に向上させることが可能となる。

【００３５】なお、論理シミュレータを３つ以上並列に
動作させることが可能であれば、前述した手法で、論理
回路モデルが不具合を発生させた時点以前のシミュレー
タ状態を複数世代保持させることができる。

【００３６】（第２実施形態）次に、この発明の第２実
施形態を説明する。図９は、この発明の第２実施形態の
デバッグシステムの概略構成を示す図である。図９に示
すように、この第２実施形態の第１実施形態との違い
は、第１実施形態のデバッグシステム１０では２つの論
理シミュレータ１２が用いられていたのに対し、第２実
施形態のデバッグシステム１０では１つの論理シミュレ
ータ１２のみが用いられる点と、内部情報格納バッファ
１７が新たに設けられた点にある。

【００３７】そして、第２実施形態のシミュレータ管理
装置１１は、その時点における論理シミュレータ１２の
内部状態を内部情報格納バッファ１７に退避した後に、
論理シミュレータ１２の動作を１コマンド分進行させて
いく。

【００３８】したがって、第２実施形態のシミュレータ
管理装置１１が論理シミュレータ１２によってシミュレ
ートされている論理回路モデル１４の中の観測対象オブ
ジェクトの値と期待値ファイル１５の値とが一致してい
ないことを検知した際、内部情報格納バッファ１７に
は、論理回路モデル１４が不具合を発生させた時点の１
コマンド前の論理シミュレータ１２の状態が保持されて
いることになり、この内部情報格納バッファ１７の内容
をシミュレータ管理装置１１が論理シミュレータ１２に
反映させれば、ユーザはデバッガ１３を操作することに
より、これらの情報を容易に取得することができること
になる。

【００３９】ここで、この第２実施形態の動作手順を説
明する。図１０は第２実施形態の動作手順を説明するた
めのフローチャートである。シミュレータ管理装置１１
は、ユーザからのコマンドを入力して制御系コマンドの
みをコマンド格納バッファ１６に格納すると（ステップ
Ｂ１）、その時点での論理シミュレータ１２の内部情報
を内部情報格納バッファ１７に退避させた後に（ステッ
プＢ２）、論理シミュレータ１２に対してコマンドを投
入する（ステップＢ３）。このとき、シミュレータ管理
装置１１は、論理シミュレータ１２がシミュレートする
論理回路モデル１４の中の観測対象とするオブジェクト
の値と期待値ファイル１５に保持された期待値とを比較
して（ステップＢ５）、一致していた場合には（ステッ
プＢ６のＮ）、論理シミュレータ１２のシミュレートを
継続させる。一方、一致しなかった場合には（ステップ
Ｂ６のＹ）、その時点でシミュレーションを中断させ
（ステップＢ７）、内部情報格納バッファ１７に退避さ
れた内部情報を論理シミュレータ１２に反映し（ステッ
プＢ８）、デバッガ１３によるオブジェクトの確認作業
に移行する（ステップＢ９）。

【００４０】これにより、たとえばチェックポイントの
設定などを予め行なわなくとも、論理回路モデル１４が
不具合を発生させた時点の直前の状態を論理シミュレー
タ１２に再現させることができ、デバッグの効率を飛躍
的に向上させることが可能となる。

【００４１】なお、内部情報格納バッファ１７として３
世代以上の内部情報を確保することが可能であれば、前
述した手法で、論理回路モデルが不具合を発生させた時
点以前のシミュレータ状態を複数世代保持させることが
できる。

【００４２】

【発明の効果】以上詳述したように、この発明によれ
ば、論理回路モデルが不具合を発生させた時点の直前の
状態を、一動作遅らせて並列に動作させる論理シミュレ
ータまたはバッファに自動的に保持させることになるた
め、ユーザはチェックポイントなどの設定を行なうこと
なくこれらの情報を取得することができ、デバッグの効
率を飛躍的に向上させることが可能となる。

【図面の簡単な説明】

【図１】この発明の第１実施形態のデバッグシステムの
概略構成を示す図。

【図２】第１実施形態の論理回路モデルの一例を示す
図。

【図３】図２の論理回路モデルをハードウェア記述言語
で表現した図。

【図４】第１実施形態の「ｐｏｒｔ」に対する期待値を
示す図。

【図５】第１実施形態のコマンド格納バッファへのシミ
ュレータ制御系コマンドの格納を示す図。

【図６】第１実施形態の「ｐｏｒｔ」の値の推移を示す
図。

【図７】第１実施形態の２つの論理シミュレータの進行
関係を示す図。

【図８】第１実施形態の動作手順を説明するためのフロ
ーチャート。

【図９】この発明の第２実施形態のデバッグシステムの
概略構成を示す図。

【図１０】第２実施形態の動作手順を説明するためのフ
ローチャート。

【符号の説明】

１０…デバッグシステム、１１…シミュレータ管理装
置、１２…論理シミュレータ、１３…デバッガ、１４…
論理回路モデル、１５…期待値ファイル、１６…コマン
ド格納バッファ、１７…内部情報格納バッファ。

───────────────────────────────────────────────────── フロントページの続き (51)Int.Cl.⁶ 識別記号 ＦＩ Ｈ０１Ｌ 21/82 Ｔ Ｃ (72)発明者 柴田 行彦 東京都青梅市新町1381番地１ 東芝コンピ ュ―タエンジニアリング株式会社内 (72)発明者 上野 豊 東京都青梅市新町1381番地１ 東芝コンピ ュ―タエンジニアリング株式会社内 (72)発明者 武田 弘之 東京都青梅市新町1381番地１ 東芝コンピ ュ―タエンジニアリング株式会社内 (72)発明者 木下 幸二 東京都青梅市新町1381番地１ 東芝コンピ ュ―タエンジニアリング株式会社内

Claims (7)

【特許請求の範囲】
1. 【請求項１】 回路設計の検証に用いられる論理回路モ
   デルのデバッグ装置において、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持する期待値ファイルと、 前記論理回路モデルの動作をコンピュータ上で模擬実行
   する第１および第２の論理シミュレータと、 前記第２の論理シミュレータで模擬実行される前記論理
   回路モデルの動作が前記第１の論理シミュレータで模擬
   実行される前記論理回路モデルの動作から一動作遅れる
   ように前記第１および第２の論理シミュレータを並列に
   実行制御するシミュレータ実行制御手段と、 前記第１の論理シミュレータが模擬実行する前記論理回
   路モデル内の観測対象オブジェクトの値と前記期待値フ
   ァイルに保持される期待値とを比較する比較手段と、 前記比較手段の比較結果が不一致であったときに、前記
   第１および第２の論理シミュレータの実行を停止させる
   シミュレータ停止手段とを具備し、前記論理回路モデル
   が不具合を発生させた時点の一動作前の状態を前記第２
   の論理シミュレータに保持させることを特徴とするデバ
   ッグ装置。
2. 【請求項２】 論理シミュレータに動作指示するための
   コマンドを格納するコマンド格納バッファを具備し、 前記シミュレータ実行制御手段は、前記コマンド格納バ
   ッファに格納されたコマンドを一つずつずらしながら前
   記第１および第２の論理シミュレータに投入していくこ
   とを特徴とする請求項１記載のデバッグ装置。
3. 【請求項３】 回路設計の検証に用いられる論理回路モ
   デルのデバッグ装置において、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持する期待値ファイルと、 前記論理回路モデルの動作をコンピュータ上で模擬実行
   する論理シミュレータと、 前記論理シミュレータの状態を示す内部情報が保持され
   るバッファと、 その時点での内部情報が前記バッファに退避された後に
   前記論理回路モデルの動作を進行させるように前記論理
   シミュレータを実行制御するシミュレータ実行制御手段
   と、 前記論理シミュレータが模擬実行する前記論理回路モデ
   ル内の観測対象オブジェクトの値と前記期待値ファイル
   に保持される期待値とを比較する比較手段と、 前記比較手段の比較結果が不一致であったときに、前記
   論理シミュレータの実行を停止させるシミュレータ停止
   手段とを具備し、前記論理回路モデルが不具合を発生さ
   せた時点の一動作前の状態を示す内部情報を前記バッフ
   ァに保持させることを特徴とするデバッグ装置。
4. 【請求項４】 回路設計の検証に用いられる論理回路モ
   デルのデバッグ装置において、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持する期待値ファイルと、 前記論理回路モデルの動作をコンピュータ上で模擬実行
   する複数の論理シミュレータと、 前記複数の論理シミュレータで模擬実行される前記論理
   回路モデルの動作が互いに一動作ずれるように前記複数
   の論理シミュレータすべてを並列に実行制御するシミュ
   レータ実行制御手段と、 前記複数の論理シミュレータの中で最も先行する論理シ
   ミュレータが模擬実行する前記論理回路モデル内の観測
   対象オブジェクトの値と前記期待値ファイルに保持され
   る期待値とを比較する比較手段と、 前記比較手段の比較結果が不一致であったときに、前記
   複数の論理シミュレータすべての実行を停止させるシミ
   ュレータ停止手段とを具備し、前記論理回路モデルが不
   具合を発生させた時点以前の状態を最も先行する論理シ
   ミュレータ以外の論理シミュレータに保持させることを
   特徴とするデバッグ装置。
5. 【請求項５】 回路設計の検証に用いられる論理回路モ
   デルのデバッグ装置において、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持する期待値ファイルと、 前記論理回路モデルの動作をコンピュータ上で模擬実行
   する論理シミュレータと、 前記論理シミュレータの状態を示す内部情報が複数世代
   保持されるバッファと、 その時点での内部情報が前記バッファに退避された後に
   前記論理回路モデルの動作を進行させるように前記論理
   シミュレータを実行制御するシミュレータ実行制御手段
   と、 前記論理シミュレータが模擬実行する前記論理回路モデ
   ル内の観測対象オブジェクトの値と前記期待値ファイル
   に保持される期待値とを比較する比較手段と、 前記比較手段の比較結果が不一致であったときに、前記
   論理シミュレータの実行を停止させるシミュレータ停止
   手段とを具備し、前記論理回路モデルが不具合を発生さ
   せた時点以前の状態を示す内部情報を前記バッファに保
   持させることを特徴とするデバッグ装置。
6. 【請求項６】 回路設計の検証に用いられる論理回路モ
   デルの動作をコンピュータ上で模擬実行する第１および
   第２の論理シミュレータを備えた前記論理回路モデルの
   デバッグ方法であって、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持し、 前記第２の論理シミュレータで模擬実行される前記論理
   回路モデルの動作が前記第１の論理シミュレータで模擬
   実行される前記論理回路モデルの動作から一動作遅れる
   ように前記第１および第２の論理シミュレータを実行制
   御し、 前記第１の論理シミュレータが模擬実行する前記論理回
   路モデル内の観測対象オブジェクトの値と前記保持した
   期待値とを比較し、 この比較結果が不一致であったときに、前記第１および
   第２の論理シミュレータの実行を停止させることによ
   り、前記論理回路モデルが不具合を発生させた時点の一
   動作前の状態を第２の論理シミュレータに保持させるこ
   とを特徴とするデバッグ方法。
7. 【請求項７】 回路設計の検証に用いられる論理回路モ
   デルの動作をコンピュータ上で模擬実行する論理シミュ
   レータと前記論理シミュレータの状態を示す内部情報が
   保持されるバッファとを備えた前記論理回路モデルのデ
   バッグ方法であって、 前記論理回路モデル内の観測対象とするオブジェクトに
   期待する値を時系列に保持し、 その時点での内部情報が前記バッファに退避された後に
   前記論理回路モデルの動作を進行させるように前記論理
   シミュレータを実行制御し、 前記論理シミュレータが模擬実行する前記論理回路モデ
   ル内の観測対象オブジェクトの値と前記保持した期待値
   とを比較し、 この比較結果が不一致であったときに、前記論理シミュ
   レータの実行を停止させることにより、不具合が発生し
   た時点の一動作前の状態を示す内部情報を前記バッファ
   に保持させることを特徴とするデバッグ方法。