(57)【要約】【課題】  パイプライン処理の動作検証及び複数回路の同時動作検証を可能にする論理検証制御装置及び論理検証方法、並びに、コンピュータプログラム及びコンピュータ読み取り可能な記憶媒体を提供する。【解決手段】  論理回路と、当該論理回路の動作検証を行う論理検証装置とに接続される論理検証制御装置であって、論理検証装置から、論理回路への動作要求と論理検証装置を識別するＩＤ情報を受信する受信手段と、前記受信手段で受信したＩＤ情報を保持する保持手段と、前記受信手段で受信した動作要求を論理回路へ送信し、動作要求に対する応答を送出する送出手段と、前記送出手段で順次送出される応答を、前記保持手段より前記取り出されるＩＤ情報によって特定される論理検証装置へ送信する送信手段とを備える。【選択図】  図１
2006171811.tif 000002
【特許請求の範囲】
【請求項１】
論理回路と、当該論理回路の動作検証を行う論理検証装置とに接続される論理検証制御装置であって、
論理検証装置から、論理回路への動作要求と論理検証装置を識別するＩＤ情報を受信する受信手段と、
前記受信手段で受信したＩＤ情報を保持する保持手段と、
前記受信手段で受信した動作要求を論理回路へ送信し、動作要求に対する応答を送出する送出手段と、
前記送出手段で順次送出される応答を、前記保持手段より前記取り出されるＩＤ情報によって特定される論理検証装置へ送信する送信手段とを備えることを特徴とする論理検証制御装置。
【請求項２】
ＩＤ情報を送信しない論理検証装置を接続する接続手段と、
前記接続手段を介して論理検証装置から論理回路への動作要求を受信した場合に、所定のＩＤ情報を生成し、該動作要求と生成したＩＤ情報を前記受信手段へ送る生成手段とを更に備え、
前記送信手段は、前記取り出されたＩＤ情報が前記所定のＩＤ情報であった場合には、前記接続手段に接続された論理検証装置へ応答を送信することを特徴とする請求項１に記載の論理検証制御装置。
【請求項３】
論理回路と、当該論理回路の動作検証を行う論理検証装置と、該論理回路と該論理検証装置を接続した論理検証制御装置とを有する論理検証システムであって、
前記論理検証装置から、論理回路への動作要求と論理検証装置を識別するＩＤ情報を受信する受信手段と、
前記受信手段で受信したＩＤ情報を保持する保持手段と、
前記受信手段で受信した動作要求を前記論理回路へ送信し、その応答を送出する送出手段と、
前記送出手段で順次送出される応答を、前記保持手段より前記取り出されるＩＤ情報によって特定される論理検証装置へ送信する送信手段とを備えることを特徴とする論理検証システム。
【請求項４】
論理検証装置による論理回路の動作検証を行うための方法であって、
論理検証装置から、論理回路への動作要求と論理検証装置を識別するＩＤ情報を受信する受信工程と、
前記受信工程で受信したＩＤ情報を保持手段に保持する保持工程と、
前記受信工程で受信した動作要求を論理回路へ送信し、動作要求に対する応答を送出する送出工程と、
前記送出工程で順次送出される応答を、前記保持手段より前記取り出されるＩＤ情報によって特定される論理検証装置へ送信する送信工程とを備えることを特徴とする論理検証方法。
【請求項５】
ＩＤ情報を送信しない論理検証装置を接続する接続手段を介して論理検証装置から論理回路への動作要求を受信された場合に、所定のＩＤ情報を生成し、該動作要求と生成したＩＤ情報を前記受信工程へ送る生成工程とを更に備え、
前記送信工程は、前記取り出されたＩＤ情報が前記所定のＩＤ情報であった場合には、前記接続手段に接続された論理検証装置に応答を送信することを特徴とする請求項４に記載の論理検証方法。
【請求項６】
請求項４又は５に記載の論理検証方法をコンピュータに実行させるためのコンピュータプログラム。
【請求項７】
請求項６に記載のコンピュータプログラムを格納したことを特徴とするコンピュータ読み取り可能な記憶媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は論理回路の論理検証を行う技術に関する。
【背景技術】
【０００２】
従来より、論理回路に対して所定のタイミングで所定の信号パターンを入力し、その応答出力を観察することにより論理回路の動作を検証する方法が知られている（特許文献１）。ここで、同一の論理回路について複数の検証主体が動作検証を行う場合において、従来の構成で採られていた処理を図５を参照して説明する。図５は、従来の論理検証システムの構成を示すブロック図である。
【０００３】
図５において５０１、５０２は、論理回路に対して所定のデータ読み出し要求信号を出力し、論理回路からの応答信号を入力して、論理回路の単体回路ブロックの動作を検証する論理検証装置であり、それぞれ論理検証装置Ａ、論理検証装置Ｂ（以下、まとめて論理検証装置５０１，５０２と呼ぶ）と呼ぶ。論理検証装置Ａ５０１、論理検証装置Ｂ５０２は、それぞれ論理回路のアドレス情報、データ読み出し要求信号等を出力するパターン発生部Ａ５０３、パターン発生部Ｂ５０４（以下、まとめてパターン発生部５０３，５０４と呼ぶ）と、論理回路が出力するの応答信号を入力するデータ受信部Ａ５０５、データ受信部Ｂ５０６（以下、まとめてデータ受信部５０５，５０６と呼ぶ）を備えている。
【０００４】
５０７は、パターン発生部５０３，５０４より出力されるデータ読み出し要求信号を入力すると、後述する回路動作模擬装置５０８が出力するアクセスの可否を示す情報を参照し、その情報に基づいてアクセス許可に関する情報をパターン発生部５０３，５０４へ出力する、調停装置である。また、５１０、５１１は、論理検証装置５０１，５０２がその動作を検証する対象である、検証対象論理回路であり、それぞれ検証対象論理回路Ａ５１０、検証対象論理回路Ｂ５１１（以下、まとめて検証対象論理回路５１０，５１１と呼ぶ）と呼ぶ。
【０００５】
５０８は回路動作模擬装置であり、パターン発生部５０３，５０４より出力されるデータ読み出し要求信号とアドレス情報を入力し、検証対象論理回路５１０，５１１のアドレス情報により指定されたブロックに対して、入力されたデータ読み出し要求信号を転送する。そして、検証対象論理回路５１０，５１１から出力される応答信号を入力し、データ受信部５０５，５０６へ転送する。また、データ読み出し要求信号の入力が開始してから応答信号の転送を終了するまで、調停装置５０７へアクセス不可を示す信号を出力する。データ読み出し要求信号や応答信号の入出力がない場合はアクセス可を示す信号を調停装置５０７へ出力する。
【０００６】
５０９は、回路動作模擬装置５０８と検証対象論理回路５１０，５１１とを接続するバスであり、データ読み出し要求信号や応答信号を搬送する。
【０００７】
このような構成において、論理検証装置Ａ５０１が動作検証作業を開始した後、論理検証装置Ｂ５０２が動作検証作業を行う場合、従来の検証処理は以下のように行われていた。即ち、まず、パターン発生部Ａ５０３が調停装置５０７へデータ読み出し要求信号を送信する。調停装置５０７は、データ読み出し要求信号を受信した際、回路動作摸擬装置５０８からアクセス可を示す信号が送信されていることを確認し、アクセス許可を示す信号をパターン発生部Ａ５０３に送信する。
【０００８】
アクセス許可示す信号を受信したパターン発生部Ａ５０３は、回路動作摸擬装置５０８に対してアドレス情報を送信し、続けてデータ読み出し要求信号を送信する。そして、データ受信部Ａ５０５をデータ受信が可能なように制御する。
【０００９】
回路動作摸擬装置５０８はパターン発生部Ａ５０３からアドレス情報を受信すると、調停装置５０７へアクセス不可を示す信号を送信する。そして、パターン発生部Ａ５０３より送信されたデータ読み出し要求信号を、アドレス情報により指定された検証対象論理回路５１０，５１１のブロックへ転送する。検証対象論理回路５１０，５１１から応答信号が入力されたら、これをデータ受信部Ａ５０５へ転送する。データ読み出し要求信号の入力が終了し、且つ、応答信号の転送が終了したら、調停装置５０７へアクセス可を示す信号を送信する。
【００１０】
ここで、パターン発生部Ｂ５０４が調停装置５０７へアクセス要求を送信した場合を考える。調停装置５０７は、回路動作模擬装置５０８から入力されるアクセスの可否を示す信号に基づいてパターン発生部Ｂ５０４のアクセス許可を決定する。即ち、回路動作模擬装置５０８よりアクセス不可を示す信号が入力されている場合は、パターン発生部Ｂ５０４へアクセスを許可しないことを示す信号を送信する。アクセス可を示す信号が入力されている場合は、パターン発生部Ｂ５０４へアクセス許可を示す信号を送信する。パターン発生部Ｂ５０４がアクセス許可を受信すると、論理検証装置Ａ５０１の検証処理と同様の手順で論理検証装置Ｂ５０２は検証処理を実行する。
このような構成を取ることで、論理検証装置Ａ５０１の動作検証処理が終了した後、論理検証装置Ｂ５０２の動作検証処理を行うといった、排他制御を行うことが可能である。    
【特許文献１】特開２００３−１５７１８２号公報
【発明の開示】
【発明が解決しようとする課題】
【００１１】
しかしながら、上記従来の技術では、複数の論理検証装置が同一の回路動作模擬装置を経由して論理回路の動作検証を行う場合、ある論理検証装置が動作検証を開始すると、他の論理検証装置はその論理検証が終了するまで動作検証を開始することができなかった。このため、従来の構成では、精度の高い動作検証を行うことができなかった。また、検証可能な検証パターンに対して重大な制限を与えてしまっていた。
【００１２】
例えば、データ読み出し要求信号を出力する処理と、論理回路の応答信号を入力する処理とを並列的に行うような、パイプライン処理の動作検証を行うことができなかった。また、単一の回路動作模擬装置を用いた場合、検証対象の論理回路が複数存在するような状況において、複数の論理回路を同時に動作検証することができなかった。
【００１３】
本発明は上記問題に鑑みなされたものであり、パイプライン処理の動作検証及び複数回路の同時動作検証を可能にする論理検証制御装置及び論理検証方法、並びに、コンピュータプログラム及びコンピュータ読み取り可能な記憶媒体を提供することを目的とする。
【課題を解決するための手段】
【００１４】
上記目的を達成するため、例えば本発明による論理検証制御装置は以下の構成を備える。即ち、
論理回路と、当該論理回路の動作検証を行う論理検証装置とに接続される論理検証制御装置であって、
論理検証装置から、論理回路への動作要求と論理検証装置を識別するＩＤ情報を受信する受信手段と、
前記受信手段で受信したＩＤ情報を保持する保持手段と、
前記受信手段で受信した動作要求を論理回路へ送信し、動作要求に対する応答を送出する送出手段と、
前記送出手段で順次送出される応答を、前記保持手段より前記取り出されるＩＤ情報によって特定される論理検証装置へ送信する送信手段とを備える。
【発明の効果】
【００１５】
本発明によれば、パイプライン処理の動作検証及び複数回路の同時動作検証を可能にする論理検証制御装置及び論理検証方法、並びに、コンピュータプログラム及びコンピュータ読み取り可能な記憶媒体を提供することができる。
【発明を実施するための最良の形態】
【００１６】
以下、添付図面を参照して本発明に係る実施の形態を詳細に説明する。ただし、この実施の形態に記載されている構成要素はあくまでも例示であり、この発明の範囲をそれらのみに限定する趣旨のものではない。
【００１７】
＜第１実施形態＞
まず、図１を参照して本発明に係る実施形態の基本構成を説明する。図１は、本実施形態の構成を示すブロック図である。
【００１８】
図１において１０１、１０２は、論理回路に対して所定のデータ読み出し要求信号を出力し、論理回路からの応答信号を入力して、論理回路の単体回路ブロックの動作を検証する論理検証装置であり、それぞれ論理検証装置Ａ、論理検証装置Ｂ（以下、まとめて論理検証装置１０１，１０２と呼ぶ）と呼ぶ。論理検証装置Ａ１０１、論理検証装置Ｂ１０２は、それぞれ、パターン発生部Ａ１０３、パターン発生部Ｂ１０４（以下、まとめてパターン発生部１０３，１０４と呼ぶ）とデータ受信部Ａ１０５、データ受信部Ｂ１０６（以下、まとめてデータ受信部１０５，１０６と呼ぶ）を備えている。
【００１９】
パターン発生部１０３，１０４は、論理回路のアドレス情報、データ読み出し要求信号、論理検証装置１０１，１０２を識別するＩＤ情報等を出力する。データ受信部１０５，１０６は、後述する受信装置１０８へ応答信号の読み出し要求信号と論理検証装置１０１，１０２を識別するＩＤ情報等を出力し、論理回路の応答信号を入力する。
【００２０】
１０７は、パターン発生部１０３，１０４より出力されるアドレス情報、データ読み出し要求信号、ＩＤ情報等を入力し、アドレス情報やデータ読み出し要求信号を後述する回路動作模擬装置１１０へ転送したり、ＩＤ情報を後述するＩＤ記憶装置１０９へ出力する、送信装置である。
【００２１】
１０９は、論理検証装置１０１，１０２を識別するＩＤ情報を記憶するＩＤ記憶装置である。ＩＤ記憶装置１０９の記憶方式は所定の構成を取ることができるが、本実施形態ではＦＩＦＯ（Ｆｉｒｓｔ−Ｉｎ  Ｆｉｒｓｔ−Ｏｕｔ）で記憶制御するものとする。
【００２２】
１１２、１１３は、論理検証装置１０１，１０２がその動作を検証する対象である、検証対象論理回路であり、それぞれ検証対象論理回路Ａ１１２、検証対象論理回路Ｂ１１３（以下、まとめて検証対象論理回路１１２，１１３と呼ぶ）と呼ぶ。検証対象論理回路Ａ１１２と検証対象論理回路Ｂ１１３は、物理的に同一のものでも別のものでも構わないが、本実施形態では説明の便宜上、物理的に分離しており、且つ、論理検証装置Ａ１０１が検証対象論理回路Ａ１１２の動作検証を行い、論理検証装置Ｂ１０２が検証対象論理回路Ｂ１１３の動作検証を行うものとする。
【００２３】
１１０は、送信装置１０７を経由してパターン発生部１０３，１０４より出力されるデータ読み出し要求信号とアドレス情報を入力し、検証対象論理回路１１２，１１３のアドレス情報により指定されたブロックに対して、入力されたデータ読み出し要求信号を転送する回路動作模擬装置である。回路動作模擬装置１１０は、検証対象論理回路１１２，１１３から出力される応答信号を入力し、後述する受信装置１０８へ転送する。
【００２４】
１１１は、回路動作模擬装置１１０と検証対象論理回路１１２，１１３とを接続するバスであり、データ読み出し要求信号や応答信号を搬送する。１０８は、回路動作摸擬装置１１０を経由して検証対象論理回路１１２，１１３より出力される応答信号を受信する受信装置であり、ＩＤ記憶装置１０９に格納されているＩＤ情報によって識別される論理検証装置１０１，１０２のデータ受信部へ転送する。
【００２５】
このような構成において、論理検証装置Ａ１０１は、検証対象論理回路Ａの動作検証処理を続けて２回行い、論理検証装置Ｂ１０２は、検証対象論理回路Ｂの動作検証処理を、論理検証装置Ａ１０１が１回目の動作検証処理を開始した直後に開始する場合を例にとって、上記構成の動作を説明する。図６に、検証対象論理回路１１２，１１３の処理内容を模式的に示す。
【００２６】
まず、データ受信部Ａ１０５は、受信装置１０８に対して読み出し要求を、論理検証装置Ａ１０１を示すＩＤ情報「ＩＤ−Ａ」と共に送信する。そして、パターン発生部Ａ１０３は、送信装置１０７に対して論理回路のアドレス情報「ＡＤＤＲ１」とＩＤ情報「ＩＤ−Ａ」と共にデータ読み出し要求信号を送信する。
【００２７】
送信装置１０７は受信したＩＤ情報「ＩＤ−Ａ」についてＩＤ記憶装置１０９へ書き込み要求を送信し、アドレス情報「ＡＤＤＲ１」とデータ読み出し要求信号を回路動作模擬装置１１０へ転送する。ＩＤ記憶装置１０９は、記憶領域Ｎｏ．１に「ＩＤ−Ａ」を書き込む。回路動作模擬装置１１０は、検証対象論理回路Ａ１１２に対してバス１１１を経由してデータ読み出し要求信号を検証対象論理回路Ａ１１２のアドレス情報「ＡＤＤＲ１」で指定されたブロックへ送信する。
【００２８】
次に、データ受信部Ｂ１０６は、受信装置１０８に対して読み出し要求を論理検証装置Ｂ１０２を示すＩＤ情報「ＩＤ−Ｂ」と共に送信する。そして、パターン発生部Ｂ１０４はアドレス情報「ＡＤＤＲ２」とＩＤ情報「ＩＤ−Ｂ」と共にデータ読み出し要求信号を送信装置１０７に送信する。
【００２９】
送信装置１０７はＩＤ情報「ＩＤ−Ｂ」についてＩＤ記憶装置１０９へ書き込み要求を送信し、回路動作模擬装置１１０へアドレス情報「ＡＤＤＲ２」とデータ読み出し要求信号を転送する。ＩＤ記憶装置１０９は、記憶領域Ｎｏ．２に「ＩＤ−Ｂ」を書き込む。回路動作模擬装置１１０は、検証対象論理回路Ｂ１１３に対してバス１１１を経由してデータ読み出し要求信号を検証対象論理回路Ｂ１１３のアドレス情報「ＡＤＤＲ２」で指定されたブロックへ送信する。
【００３０】
そして、さらに論理検証装置Ａがアドレス情報「ＡＤＤＲ３」の読み出し要求を同様の手順で行う。
【００３１】
この時のＩＤ記憶装置１０９は、図２のように「ＩＤ−Ａ」が１番目と３番目（Ｎｏ．１と３）に、「ＩＤ−Ｂ」が２番目（Ｎｏ．２）に記録されている状態になっている。
【００３２】
以上のように、送信装置１０７はデータ読み出し要求信号を受信した順に要求元の論理検証装置を識別するＩＤ情報をＩＤ記憶装置１０９に登録し、読み出し要求を受信した順にアドレスと読み出し要求信号を回路動作模擬装置１１０へ転送する。さらにＩＤ記憶装置１０９において登録されたＩＤ情報を回路動作模擬装置１１０において管理させるべく回路動作模擬装置１１０へ転送する。このため、検証対象論理回路Ａ１１２がアドレス情報「ＡＤＤＲ１」のデータ読み出し要求信号に対する応答信号を送信する前に、検証対象論理回路Ｂ１１３はアドレス情報「ＡＤＤＲ２」のデータ読み出し要求信号を受け付けることが可能となる。
【００３３】
回路動作模擬装置１１０は、検証対象論理回路Ａ１１２からアドレス情報「ＡＤＤＲ１」の応答信号を受け取ると、受信装置１０８へその応答信号を対応するＩＤ情報とともに転送する。同時に、回路動作模擬装置１１０は、対応するＩＤ情報（例えば、図２のＮｏ．１の情報）を削除し、ＩＤ情報を更新する要求をＩＤ記憶装置１０９に対して行う。受信したＩＤ情報が「ＩＤ−Ａ」であった場合、受信装置１０８は、データ受信部Ａ１０５に対して受信した応答信号を転送する。
【００３４】
尚、ＩＤ記憶装置１０９は、ＦＩＦＯ方式で構成されているので、Ｎｏ．１の「ＩＤ−Ａ」を削除した後、ＩＤ記憶装置１０９は、図３のようにＩＤ−Ｂが１番目に、ＩＤ−Ａが２番目に記録されている状態になる。
【００３５】
回路動作模擬装置１１０は、検証対象論理回路Ｂ１１３からアドレス情報「ＡＤＤＲ２」の応答信号を受け取ると、受信装置１０８へその応答信号を対応するＩＤ情報とともに転送する。同時に、回路動作模擬装置１１０は、対応するＩＤ情報（例えば、図３のＮｏ．１の情報）を削除し、ＩＤ情報を更新する要求をＩＤ記憶装置１０９に対して行う。受信したＩＤ情報が「ＩＤ−Ｂ」であった場合、受信装置１０８は、データ受信部Ｂ１０６に対して受信した応答信号を転送する。
【００３６】
同様に、回路動作模擬装置１１０は、検証対象論理回路Ａ１１２からアドレス情報「ＡＤＤＲ３」の応答信号を受け取ると、受信装置１０８へその応答信号を対応するＩＤ情報とともに転送する。同時に、回路動作模擬装置１１０は、ＩＤ記憶装置１０９に対してＩＤ情報を更新する要求をＩＤ記憶装置１０９に対して行う。ＩＤ記憶装置１０９はその要求に応じて、例えば、ＩＤ情報「ＩＤ−Ａ」を削除し、更新する。そして、受信装置１０８は、データ受信部Ａ１０５に対して受信した応答信号を転送する。
【００３７】
以上説明したように、本実施形態においては、ＩＤ情報を用いて論理検証装置を識別し読み出し要求と応答の順序を管理することによって、あるデータ読み出し要求信号に対する応答処理を行いつつ、別のデータ読み出し要求信号を受け付けることができる（図６）。
【００３８】
また、複数の論理検証装置が同一の回路動作模擬装置を利用して検証対象論理回路の動作検証を行う時に、１つの論理検証装置がデータ読み出し要求信号を送信してから応答信号を受信するまでの間も、別の論理検証装置からのデータ読み出し要求信号を受け付けることが可能である。更に、ＩＤ情報を送信する論理検証装置を複数組み合わせることで、複数の検証対象論理回路を同時動作させながら動作検証処理を行うことが可能である（図６）。
【００３９】
尚、本実施形態では２つの論理検証装置を接続した構成を示したが、所定の数の論理検証装置を接続可能に構成できることは明らかである。また、本実施形態では２つの検証対象論理回路を接続した構成を示したが、所定の数の検証対象論理回路を接続可能に構成できることは明らかである。
【００４０】
＜第２実施形態＞
第１実施形態で述べた構成は、論理検証装置がＩＤ情報を送信する必要があるため、論理検証装置の仕様が第１実施形態の構成に適合している必要があった。本実施形態では、ＩＤ情報を送信しない、従来の論理検証装置を用いた場合でもパイプライン処理等を可能にする構成について図４を参照して説明する。
【００４１】
図４において、４０１は固有のＩＤ情報を送信しない従来の論理検証装置Ｃであり、４０２のデータ送受信部Ｃを備える。４０３は、ＩＤ情報を送信しない従来の論理検証装置からのデータ読み出し要求に対して、その論理検証装置に対応する仮ＩＤ情報を生成し、仮ＩＤ情報とともにデータ読み出し要求信号を転送することで、従来の論理検証装置の論理回路検証を用いた場合でもパイプライン処理等を可能にする、仮ＩＤデータ送受信装置である。ここで、データ送受信部Ｃ４０２は仮ＩＤデータ送受信装置４０３に接続されているものとする。
【００４２】
４０４は仮ＩＤ情報を使用して要求された転送動作が同時に２つ以上発生しないように排他制御を行う仮ＩＤ調停装置である。仮ＩＤ調停装置４０４は、開放状態、及び、非開放状態の２つの状態を記憶する非図示のメモリを有している。
【００４３】
図４において、論理検証装置１０１，１０２、送信装置１０７、受信装置１０８、ＩＤ記憶装置１０９、回路動作模擬装置１１０、バス１１１、検証対象論理回路１１２，１１３等は図１と同様である。
【００４４】
このような構成において、論理検証装置Ｃ４０１が動作検証作業を行う場合の、上記構成の動作を説明する。
【００４５】
まず、データ送受信部Ｃ４０２は、データ読み出し要求信号をアドレス情報と共に仮ＩＤデータ送受信装置４０３へ送信し、応答信号を受信するまで待機する。仮ＩＤデータ送受信装置４０３は、データ読み出し要求信号を受信すると仮ＩＤ調停装置４０４へ読み出しの確保要求を送信し、仮ＩＤ調停装置４０４から許可が送信されるまで待機する。
【００４６】
仮ＩＤ調停装置４０４は、読み出しの確保要求の受信により、仮ＩＤ情報を付加された処理中の読み出し転送が存在しない場合（開放状態）はデータ送受信装置４０２へ読み出し許可を送信し、非開放状態へ遷移するように制御する。処理中の読み出し転送が存在する場合（非開放状態）は読み出し許可を送信しないように制御する。仮ＩＤデータ送受信装置４０３より開放信号を受信した後は、仮ＩＤデータ送受信装置４０３からの読み出し確保要求に対して、読み出し許可を送信する開放状態に遷移するように制御する。
【００４７】
仮ＩＤデータ送受信装置４０３は、仮ＩＤ調停装置４０４から読み出し許可を受信すると、仮ＩＤ情報を生成し、読み出し要求に生成した仮ＩＤ情報を付加して受信装置１０８へ送信する。そして、データ送受信部Ｃ４０２より受信したデータ読み出し要求信号とアドレス情報に生成した仮ＩＤ情報を付加して送信装置１０７へ送信する。
【００４８】
これ以降の処理は、第１実施形態に述べた処理と同様の動作を行う。尚、受信装置１０８は、回路動作模擬装置１１０より転送された応答信号を受信したときに、ＩＤ記憶装置１０９より読み出されたＩＤ情報が仮ＩＤ情報の場合、受信した応答信号を仮ＩＤデータ送受信装置４０３へ転送する。
【００４９】
仮ＩＤデータ送受信装置４０３は、応答信号を受信装置１０８から受信すると、その応答信号をデータ送受信部Ｃ４０２へ転送し、仮ＩＤ調停装置４０４へ開放信号を送信する。仮ＩＤ調停装置４０４は、開放信号を受信すると、読み出し確保要求を受信したときに仮ＩＤデータ送受信装置４０３へ読み出し許可を送信する開放状態へ遷移する。
【００５０】
以上説明したように、仮ＩＤデータ送受信装置４０３、仮ＩＤ調停装置４０４を設けることで、ＩＤ情報を送信しない、従来の論理検証装置を用いた場合でもパイプライン処理等を可能にすることができる。
【００５１】
＜他の実施形態＞
以上、本発明の実施形態例について詳述したが、本発明は、例えば、システム、装置、方法、プログラムもしくは記憶媒体等としての実施態様を取ることが可能であり、具体的には、複数の機器から構成されるシステムに適用しても良いし、また、一つの機器からなる装置に適用しても良い。
【００５２】
尚、本発明は、前述した実施形態の機能を実現するプログラムを、システムあるいは装置に直接あるいは遠隔から供給し、そのシステムあるいは装置のコンピュータが該供給されたプログラムコードを読み出して実行することによっても達成される場合を含む。即ち、上記構成の一部又は全部をプログラムで実行するようにしてもよい。
【００５３】
従って、本発明の機能処理をコンピュータで実現するために、該コンピュータにインストールされるプログラムコード自体も本発明の技術的範囲に含まれる。つまり、本発明は、本発明の機能処理を実現するためのコンピュータプログラム自体も含む。
【００５４】
その場合、プログラムの機能を有していれば、オブジェクトコード、インタプリタにより実行されるプログラム、ＯＳに供給するスクリプトデータ等の形態であっても良い。
【００５５】
プログラムを供給するための記録媒体としては、例えば、フロッピー（登録商標）ディスク、ハードディスク、光ディスク、光磁気ディスク、ＭＯ、ＣＤ−ＲＯＭ、ＣＤ−Ｒ、ＣＤ−ＲＷ、磁気テープ、不揮発性のメモリカード、ＲＯＭ、ＤＶＤ（ＤＶＤ−ＲＯＭ，ＤＶＤ−Ｒ）などがある。
【００５６】
その他、プログラムの供給方法としては、クライアントコンピュータのブラウザを用いてインターネットのホームページに接続し、該ホームページから本発明のコンピュータプログラムそのもの、もしくは圧縮され自動インストール機能を含むファイルをハードディスク等の記録媒体にダウンロードすることによっても供給できる。また、本発明のプログラムを構成するプログラムコードを複数のファイルに分割し、それぞれのファイルを異なるホームページからダウンロードすることによっても実現可能である。つまり、本発明の機能処理をコンピュータで実現するためのプログラムファイルを複数のユーザに対してダウンロードさせるＷＷＷサーバも、本発明に含まれるものである。
【００５７】
また、本発明のプログラムを暗号化してＣＤ−ＲＯＭ等の記憶媒体に格納してユーザに配布し、所定の条件をクリアしたユーザに対し、インターネットを介してホームページから暗号化を解く鍵情報をダウンロードさせ、その鍵情報を使用することにより暗号化されたプログラムを実行してコンピュータにインストールさせて実現することも可能である。  また、コンピュータが、読み出したプログラムを実行することによって、前述した実施形態の機能が実現される他、そのプログラムの指示に基づき、コンピュータ上で稼動しているＯＳなどが、実際の処理の一部または全部を行ない、その処理によっても前述した実施形態の機能が実現され得る。
【００５８】
さらに、記録媒体から読み出されたプログラムが、コンピュータに挿入された機能拡張ボードやコンピュータに接続された機能拡張ユニットに備わるメモリに書き込まれた後、そのプログラムの指示に基づき、その機能拡張ボードや機能拡張ユニットに備わるＣＰＵなどが実際の処理の一部または全部を行ない、その処理によっても前述した実施形態の機能が実現される。
【図面の簡単な説明】
【００５９】
【図１】第１実施形態における論理検証システムの構成を示すブロック図である。
【図２】ＩＤ記憶装置の状態を例示的に示す図である。
【図３】ＩＤ記憶装置の状態を例示的に示す図である。
【図４】第２実施形態における論理検証システムの構成を示すブロック図である。
【図５】従来の論理検証システムの構成を示すブロック図である。
【図６】検証対象論理回路の処理内容を模式的に示す図である。
【図１】
2006171811.tif 000003
【図２】
2006171811.tif 000004
【図３】
2006171811.tif 000005
【図４】
2006171811.tif 000006
【図５】
2006171811.tif 000007
【図６】
2006171811.tif 000008