(57)【要約】【課題】ソフトウェアによる回路検証において、回路の論理を変えずにキュー回路等の蓄積回路が飽和状態に遷移する確率を増加させると共に、回路検証の時間を短縮することができる回路検証装置、回路検証プログラム、回路検証方法を提供することを目的とする。【解決手段】キュー回路記述動作部４５が飽和状態になった場合の動作の検証を行う回路検証装置であって、被検証回路の動作を行う被検証回路記述動作部４０と、被検証回路記述動作部４０の動作において動作速度を制御するための動作制御信号を付与するテスト制御部３１と、動作制御信号を操作してキュー回路記述動作部４５を飽和状態に遷移させる遅延処理部３４と、被検証回路記述動作部４０の動作においてキュー回路記述動作部４５が飽和状態へ遷移したことを表す確認信号を監視する確認信号監視部３３を備えた。【選択図】　　　　図１
2004062522.tif 000002
【特許請求の範囲】
【請求項１】
被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証装置であって、
前記被検証回路の動作が記述され、前記被検証回路の動作を行う被検証回路記述動作手段と、
前記被検証回路記述動作手段の動作において該動作速度を制御するための動作制御信号を付与する動作制御信号付与手段と、
前記動作制御信号を操作して前記蓄積回路を飽和状態に遷移させる信号操作手段と、
前記被検証回路記述動作手段の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視する確認信号監視手段と、
を備えたことを特徴とする回路検証装置。
【請求項２】
請求項１に記載の回路検証装置であって、
前記信号操作手段は、前記被検証回路に対して付与される前記動作制御信号に対して、前記確認信号監視手段により、確認信号が一定期間検出されない場合に、前記動作制御信号の操作量を更新することを特徴とする回路検証装置。
【請求項３】
請求項１または請求項２に記載の回路検証装置において、
前記信号操作手段は、前記蓄積回路の動作結果を利用する蓄積後段回路に付与される前記動作制御信号を操作し、前記蓄積後段回路の動作を遅延させる遅延手段により構成されることを特徴とする回路検証装置。
【請求項４】
被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証をコンピュータに実行させるために、コンピュータにより読取可能な媒体に記憶された回路検証プログラムであって、
記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、
前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、
記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップと、
をコンピュータに実行させることを特徴とする回路検証プログラム。
【請求項５】
被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証方法であって、
記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、
前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、
記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップと、
を備えたことを特徴とする回路検証方法。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
本発明は、ソフトウェアで設計された回路を、ソフトウェアとして動作させることにより、その回路の動作の検証を行う回路検証装置、回路検証プログラム、回路検証方法に関するものであり、特に、蓄積回路を含む回路の検証において、蓄積回路が飽和状態になった場合の回路の動作の検証を行う回路検証装置、回路検証プログラム、回路検証方法に関するものである。
【０００２】
【従来の技術】
近年、回路設計はコンピュータ上のソフトウェアを用いて行われている。すなわち、ハードウェアはソフトウェアとして記述され、設計される。そして、ソフトウェアの状態で検証が行われ、実際にハードウェアを製作する前に、その回路の論理が正しいか否かの確認を行うことができる。ソフトウェアによる回路検証は、回路の変更等があった場合にはソフトウェアの手直しのみを行えばよく、手間をかけずに検証できるというメリットがある。
【０００３】
例えば、特開平８−３２９１２１号公報には、ＬＳＩ等の回路シミュレーションを行う回路シミュレーション方式において、そのシミュレーション対象回路に対し、擬似的に入力信号を与えるモデルにおいて、そのモデルによって定まる一意的な入力条件に対し、別に定義する進み、遅れ時間を対応付けることにより、モデルによって定める入力信号の発生タイミングに対して自動的にばらつきを持たせる機能を備え、シミュレーションごとに進み、遅れ時間の範囲内の任意の時間で入力信号を発生すること等を可能とした技術が開示されている。この様な技術によれば、ＬＳＩ等の回路シミュレーションにおいて、モデルより与えられる擬似入力信号を時間幅で離散的又は順次的に変化させることが可能となり、シミュレーション検証を現実的な回路検証に近づけることが可能となり信頼性が高まる。
【０００４】
ところで、本発明に関連する回路検証装置について図３を用いて説明する。図３に示すように、この回路検証装置１０は、入力部１１と、記憶部１２と、演算部１３と、出力部１４から構成される。記憶部１２は、回路検証プログラムを格納している。回路検証プログラムは、回路検証機能の他に、ソフトウェアで記述された被検証回路を含む。入力部１１は、ユーザからの回路検証機能や被検証回路に関する設定等を受け付ける。演算部１３は、被検証回路におけるテストプログラムを実行して回路検証を行い、その結果を出力部１４へ出力する。出力部１４がユーザへ回路検証の結果を出力することにより、ユーザは被検証回路の論理が正しいか否かを確認することができる。
【０００５】
次に、回路検証装置１０で検証する被検証回路の構成の一例について図４を用いて説明する。図４に示すように、この被検証回路２０は、メモリ回路２１と、Ａ回路２２と、Ｂ回路２３から構成される。メモリ回路２１は、被検証回路を動作させるテストプログラム２７を備える。Ａ回路２２は、検証の対象となる部分であり、Ｂ回路２３は、検証の対象としない部分である。ここでは、例としてＡ回路２２がキュー回路を持つ場合について説明する。Ａ回路２２は、高速回路２４とキュー回路２５と通常回路２６から構成される。
【０００６】
ここで、Ａ回路２２がある演算を行う場合の動作について説明する。高速回路２４は、キュー回路２５からアクセプト信号が入力されている場合に、外部から演算に用いるデータを取得し、キュー回路２５へ出力する。キュー回路２５は、高速回路２４から入力されたデータをスタックする。キュー回路２５は、データをスタックできる場合にはアクセプト信号を、キューフル状態になりデータをスタックできない場合にはキューフル信号を、高速回路２４へ出力する。キュー回路２５は、通常回路２６からコンプリート信号が入力された場合、スタックした順番にデータを通常回路２６へ出力する。通常回路２６は、キュー回路２５から入力されたデータを用いて演算を行い、演算が終了したらコンプリート信号をキュー回路２５へ出力する。
【０００７】
以上のような動作を行うＡ回路２２において、例えばキューフル状態における高速回路２４の動作を検証する場合、キュー回路２５がキューフル状態に遷移する確率は極めて小さいことから、検証が困難であった。
【０００８】
そこで従来は、第１の方法として、キューフル状態に遷移する可能性のある条件をできるだけ多く作成するとともに、実際のハードウェアの回路における様々な動作タイミングを考慮して、作成した条件と動作タイミングとの組み合わせによるテストを、回路検証装置により、キューフル状態に遷移するまで順番に行うという方法が行われていた。また、第２の方法として、キュー回路２５自体の論理を変えることによりキューフル状態に遷移する確率を増加させるという方法が行われていた。例えば、実際のキュー回路２５は４段スタックであるのに対して、２段スタックに変えることによりキューフル状態に遷移する確率を増加させていた。
【０００９】
【発明が解決しようとする課題】
しかしながら、第１の方法によると、キューフル状態に遷移する可能性のある条件が数多く考えられる上に、実際のハードウェアの回路における様々な動作タイミングを考慮すると、テストの数は天文学的な組み合わせとなる。一方で、キューフル状態に遷移する確率は極めて小さいことから、キューフル状態に遷移するまでにかかる時間が非常に長くなる、あるいは、確実にキューフル状態に遷移するとは限らない、という問題があった。
【００１０】
また、第２の方法によると、たとえ２段スタックのキュー回路に論理を変更したＡ回路２２が正常に動作したとしても、実際の４段スタックのキュー回路に論理を戻したときにＡ回路２２が正常に動作するかどうかわからないという問題が生じる。すなわち、実際の論理と異なる回路を検証することになるという問題があった。
【００１１】
更に別の問題として、回路検証では、ハードウェア上で起こりうる状態全てについて検証することが理想である。しかし、回路検証装置でソフトウェアにより行われるシミュレーション速度は、実機と比較して１０の６乗倍程度遅いため、できるだけ似たような検証は行わないようにして、効率よく回路を検証するようにする必要があり、このため、全ての状態について検証することができなかったり、或いは効率良く検証するための工夫に労力を必要としていた。
【００１２】
本発明は上述した課題に鑑みてなされたものであり、ソフトウェアによる回路検証において、回路の論理を変えずにキュー回路等の蓄積回路が飽和状態に遷移する確率を増加させると共に、回路検証の時間を短縮することができる回路検証装置、回路検証プログラム、回路検証方法を提供することを目的とする。
【００１３】
【課題を解決するための手段】
上述した課題を解決するために、本発明は、被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証装置であって、前記被検証回路の動作が記述され、前記被検証回路の動作を行う被検証回路記述動作手段と、前記被検証回路記述動作手段の動作において該動作速度を制御するための動作制御信号を付与する動作制御信号付与手段と、前記動作制御信号を操作して前記蓄積回路を飽和状態に遷移させる信号操作手段と、前記被検証回路記述動作手段の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視する確認信号監視手段とを備えたことを特徴とするものである。
【００１４】
このような構成によれば、動作制御信号を操作することにより、検証回路記述動作手段の蓄積回路が飽和状態に遷移する確率を増加させると共に、確認信号を監視することにより、被検証回路記述動作手段の検証が完了したか否かを判断することができる。なお、実施の形態において、被検証回路記述動作手段は被検証回路記述動作部４０で構成され、蓄積回路はキュー回路記述動作部４５で構成され、動作制御信号付与手段はテスト制御部３１で構成され、信号操作手段は遅延処理部３４で構成され、確認信号監視手段は確認信号監視部３３で構成される。
【００１５】
また、本発明に係る回路検証装置において、前記信号操作手段は、前記被検証回路に対して付与される前記動作制御信号に対して、前記確認信号監視手段により、確認信号が一定期間検出されない場合に、前記動作制御信号の操作量を更新することを特徴とするものである。
【００１６】
このような構成によれば、一定期間確認信号が検出されない場合に動作制御信号の操作量を更新することにより、被検証回路記述動作手段の蓄積回路部分が飽和状態に遷移する確率を増加させることができる。
【００１７】
また、本発明に係る回路検証装置において、前記信号操作手段は、前記蓄積回路の動作結果を利用する蓄積後段回路に付与される前記動作制御信号を操作し、前記蓄積後段回路の動作を遅延させる遅延手段により構成されることを特徴とするものである。
【００１８】
このような構成によれば、被検証回路記述動作手段のうち蓄積後段回路部分の動作を遅延させることにより、被検証回路記述動作手段の蓄積回路部分が飽和状態に遷移する確率を増加させることができる。なお、実施の形態において、蓄積後段回路は通常回路記述動作部４６で構成され、遅延手段は遅延処理部３４で構成される。
【００１９】
また、本発明に係る回路検証装置において、前記確認信号に関する情報と、前記確認信号を発生させる要因となる関与信号に関する情報と、前記関与信号を制御するための操作量に関する情報との組を複数格納する格納手段を備えると共に、前記被検証回路記述動作手段には、テストプログラムを記憶したメモリ回路の動作が記述されて前記メモリ回路の動作を行うメモリ回路記述動作手段を備え、更に前記テストプログラムにより指示される確認信号に関する情報に基づいて、前記格納手段から前記関与信号及び前記操作量に関する情報を抽出し、前記信号操作手段に設定する信号設定手段を備えることを特徴とすることができ、このような構成によれば、信号設定手段が、テストプログラムにより指示された確認信号に関する情報に従って、関与信号に関する情報と操作量に関する情報を格納手段から検索することにより、回路検証に必要な信号に関する情報や操作量に関する情報を得ることができる。なお、実施の形態において、格納手段はライブラリファイル３５で構成され、信号設定手段は信号設定部３２で構成される。
【００２０】
また、本発明に係る回路検証装置において、前記信号操作手段は、前記関与信号に関する情報に基づいて、前記動作制御信号を操作する対象が前記蓄積後段回路であると認識することを特徴とすることができ、このような構成によれば、信号操作手段は、関与信号を出力する蓄積後段回路に与える動作制御信号を操作することができる。
【００２１】
また、本発明に係る回路検証装置において、前記蓄積回路は、キュー回路、バッファ回路、パイプライン回路、又はキャッシュ回路のいずれかであることを特徴とすることができ、このような構成によれば、キュー回路やバッファ回路やパイプライン回路やキャッシュ回路が飽和状態に遷移する確率を増加させ、検証の確実性を向上させることができる。
【００２２】
さらに、本発明は、被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証をコンピュータに実行させるために、コンピュータにより読取可能な媒体に記憶された回路検証プログラムであって、記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップとをコンピュータに実行させることを特徴とするものである。
【００２３】
このような構成によれば、動作制御信号を操作することにより、検証回路記述動作手段の蓄積回路が飽和状態に遷移する確率を増加させると共に、確認信号を監視することにより、被検証回路記述動作手段の検証が完了したか否かを判断することができる。なお、本発明において、上記コンピュータにより読取り可能な媒体は、ＣＤ−ＲＯＭやフレキシブルディスク、ＤＶＤディスク、光磁気ディスク、ＩＣカード等の可搬型記憶媒体や、コンピュータプログラムを保持するデータベース、或いは、他のコンピュータ並びにそのデータベースや、更に回線上の伝送媒体をも含むものである。
【００２４】
さらに、本発明は、被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証方法であって、記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップとを備えたことを特徴とするものである。
【００２５】
このような構成によれば、動作制御信号を操作することにより、検証回路記述動作手段の蓄積回路が飽和状態に遷移する確率を増加させると共に、確認信号を監視することにより、被検証回路記述動作手段の検証が完了したか否かを判断することができる。
【００２６】
【発明の実施の形態】
以下、本発明の実施の形態について図面を用いて詳細に説明する。本実施の形態では、通常では極めて確率の低い特定の状態遷移を監視する仕組みとその特定の状態を意図的に作り出す仕組みを、回路の論理を変えることなく、既存技術を利用して実現する。既存技術としては、市販されているテストベンチと、テストベンチの機能であるアサーションチェッカーを利用する。なお、本実施の形態では、特定の状態としてキューフル状態を例に挙げて説明する。本実施の形態では、図３に示した回路検証装置１０と同様のものを使用するが、記憶部１２に格納される回路検証プログラムが従来とは異なる。また、本実施の形態における被検証回路は、図４に示した回路である。
【００２７】
次に、本発明の回路検証装置上で動作する回路検証プログラムについて図１を用いて説明する。図１に示すように、この回路検証プログラムは、検証部３０と被検証回路記述動作部４０から構成される。検証部３０は、被検証回路の検証を行う部分であり、テスト制御部３１と、信号設定部３２と、確認信号監視部３３と、遅延処理部３４と、ライブラリファイル３５から構成される。テスト制御部３１は、市販されているテストベンチを利用する。また、信号設定部３２と確認信号監視部３３とライブラリファイル３５は、アサーションチェッカーを利用する。テスト制御部３１は、被検証回路記述動作部４０の入力信号や被検証回路記述動作部４０の動作に必要な動作制御信号を与えるとともに、被検証回路記述動作部４０の出力信号の監視を行う。本実施の形態における動作制御信号は、クロックである。
【００２８】
また、被検証回路記述動作部４０とは、検証部３０により検証される部分であり、図４に示した被検証回路をソフトウェアで記述したものである。被検証回路記述動作部４０は、メモリ回路記述動作部４１と、Ａ回路記述動作部４２と、Ｂ回路記述動作部４３から構成される。メモリ回路記述動作部４１は被検証回路記述動作部４０を動作させるテストプログラム４７を備え、Ａ回路記述動作部４２は高速回路記述動作部４４とキュー回路記述動作部４５と通常回路記述動作部４６を備える。
【００２９】
次に、回路検証プログラムの動作について、図２のフローチャートを用いて説明する。ここでは一例として、キュー回路記述動作部４５がキューフル状態になる場合の、Ａ回路記述動作部４２の動作のテストについて説明する。
【００３０】
まず、テスト制御部３１がメモリ回路記述動作部４１におけるテストプログラム４７の開始の指示を行うと、テストプログラム４７はテスト宣言を信号設定部３２へ出力する（Ｓ１）。テストプログラム４７の開始時において、テスト制御部３１は、テストプログラム４７を開始させるためのレジスターなどの初期設定等を行う。また、テスト宣言とは、どんなテストを行うかの宣言であり、監視する対象となる確認信号の識別子を含む。確認信号とは、状態遷移したことを表す信号であり、本実施の形態における確認信号は、キュー回路記述動作部４５がキューフル状態となったときに発生するキューフル信号である。また、本実施の形態におけるテスト宣言の内容は、キュー回路記述動作部４５がキューフル状態になる場合の、Ａ回路記述動作部４２の動作のテストである。
【００３１】
次に、信号設定部３２は、テスト宣言を受け取り、確認信号の識別子をもとにライブラリファイル３５からＩＤとＤＡＴＡの検索を行う（Ｓ２）。ここで、ライブラリファイル３５とは、確認信号の識別子と、確認信号に対応するＩＤと、各ＩＤに対応するＤＡＴＡとの組を複数格納するデータベースのことである。ＩＤとは、確認信号を発生させる要因となる関与信号の識別子であり、ＤＡＴＡとは、関与信号を操作する操作量のことである。信号設定部３２は、確認信号の識別子とＩＤとＤＡＴＡをテスト制御部３１へ出力する。ここで、関与信号は、通常回路記述動作部４６からキュー回路記述動作部４５へ出力されるコンプリート信号であり、操作量は、遅延処理部３４が通常回路を遅延させる遅延時間である。
【００３２】
次に、テスト制御部３１は、確認信号の識別子を確認信号監視部３３へ出力する。確認信号監視部３３は、確認信号の識別子に示された確認信号の監視を開始するために、確認信号フラグをリセットする（Ｓ３）。確認信号フラグとは、確認信号が発生したことを示すフラグである。
【００３３】
次に、テスト制御部３１は、被検証回路記述動作部４０の動作に必要な動作制御信号を遅延処理部３４へ与えるとともに、ＩＤとＤＡＴＡを遅延処理部３４へ設定する（Ｓ４）。本実施の形態における動作制御信号は、クロックである。遅延処理部３４は、ＩＤで示されたコンプリート信号を出力する通常回路記述動作部４６に対して、ＤＡＴＡで示された操作量だけ動作を遅延させる。すなわち、被検証回路記述動作部４０の動作に用いるクロックを、操作量に従って通常回路記述動作部４６に与えないことにより、通常回路記述動作部４６の動作は遅延し、コンプリート信号が遅延する。
【００３４】
次に、テストプログラム４７は実行される（Ｓ５）。次に、確認信号監視部３３は、キュー回路記述動作部４５から高速回路記述動作部４４へ出力される信号が確認信号、すなわちキューフル信号ならば、確認信号監視部３３は確認信号フラグをＯＮとし、テスト制御部３１へ出力する。
【００３５】
テスト制御部３１は、確認信号フラグがＯＮか否かの判断を行い（Ｓ６）、確認信号フラグがＯＮであれば（Ｓ６，Ｙ）、テストプログラム４７を終了してこのフローは終了する。もし、他のテストプログラムがあれば、次のテストプログラムを開始する。
【００３６】
一方、確認信号フラグがＯＦＦであれば（Ｓ６，Ｎ）、テスト制御部３１は、ＤＡＴＡの更新を行う（Ｓ７）。すなわち予め定められた分だけ操作量を増加させ、通常回路記述動作部４６の動作の遅延が増加した状態となる。その後、処理Ｓ５へ戻り、再度テストプログラムは実行される。このように、通常回路記述動作部４６の動作の遅延をキューフル状態になるまで増加させることで、コンプリート信号は遅延することとなり、結果としてキュー回路記述動作部４５にはデータが次々にスタックされ、キューフル状態が作り出される。
【００３７】
以上の処理を行うことにより、従来のように、キューフル状態に遷移する可能性のある条件と動作タイミングによる数多くのテストを実行させることなく、キューフル状態に遷移する確率を増加させるため、効率的なテストが実現される。
【００３８】
なお、本実施の形態においては、データをスタックする回路としてキュー回路を例に挙げて説明したが、キュー回路の代わりにバッファ回路やパイプライン回路やキャッシュ回路などを用いた場合においても、本発明を適用することができる。また、本実施の形態においては、テスト制御部が遅延時間を更新するとしたが、回路検証装置の入力部において遅延時間の入力を行うようにしても良い。更に本実施の形態において、信号操作手段は遅延手段として動作制御信号を遅延させる場合について説明したが、逆に蓄積回路の前段側の処理を高速化するように動作制御信号を操作するようにしても良い。
【００３９】
（付記１）被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証装置であって、
前記被検証回路の動作が記述され、前記被検証回路の動作を行う被検証回路記述動作手段と、
前記被検証回路記述動作手段の動作において該動作速度を制御するための動作制御信号を付与する動作制御信号付与手段と、
前記動作制御信号を操作して前記蓄積回路を飽和状態に遷移させる信号操作手段と、
前記被検証回路記述動作手段の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視する確認信号監視手段と、
を備えたことを特徴とする回路検証装置。
（付記２）付記１に記載の回路検証装置であって、
前記信号操作手段は、前記被検証回路に対して付与される前記動作制御信号に対して、前記確認信号監視手段により、確認信号が一定期間検出されない場合に、前記動作制御信号の操作量を更新することを特徴とする回路検証装置。
（付記３）付記１または付記２に記載の回路検証装置において、
前記信号操作手段は、前記蓄積回路の動作結果を利用する蓄積後段回路に付与される前記動作制御信号を操作し、前記蓄積後段回路の動作を遅延させる遅延手段により構成されることを特徴とする回路検証装置。
（付記４）付記１乃至付記３のいずれかに記載の回路検証装置において、
前記確認信号に関する情報と、前記確認信号を発生させる要因となる関与信号に関する情報と、前記関与信号を制御するための操作量に関する情報との組を複数格納する格納手段を備えると共に、前記被検証回路記述動作手段には、テストプログラムを記憶したメモリ回路の動作が記述されて前記メモリ回路の動作を行うメモリ回路記述動作手段を備え、
更に前記テストプログラムにより指示される確認信号に関する情報に基づいて、前記格納手段から前記関与信号及び前記操作量に関する情報を抽出し、前記信号操作手段に設定する信号設定手段を備えることを特徴とする回路検証装置。
（付記５）付記４に記載の回路検証装置において、
前記信号操作手段は、前記関与信号に関する情報に基づいて、前記動作制御信号を操作する対象が前記蓄積後段回路であると認識することを特徴とする回路検証装置。
（付記６）付記１乃至付記５のいずれかに記載の回路検証装置において、
前記蓄積回路は、キュー回路であることを特徴とする回路検証装置。
（付記７）付記１乃至付記５のいずれかに記載の回路検証装置において、
前記蓄積回路は、バッファ回路であることを特徴とする回路検証装置。
（付記８）付記１乃至付記５のいずれかに記載の回路検証装置において、
前記蓄積回路は、パイプライン回路であることを特徴とする回路検証装置。
（付記９）付記１乃至付記５のいずれかに記載の回路検証装置において、
前記蓄積回路は、キャッシュ回路であることを特徴とする回路検証装置。
（付記１０）被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証をコンピュータに実行させるために、コンピュータにより読取可能な媒体に記憶された回路検証プログラムであって、
記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、
前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、
記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップと、
をコンピュータに実行させることを特徴とする回路検証プログラム。
（付記１１）被検証回路に含まれる蓄積回路が飽和状態になった場合の動作の検証を行う回路検証方法であって、
記述された被検証回路の動作において、前記被検証回路の動作速度を制御するための動作制御信号を付与しつつ前記被検証回路を動作させるステップと、
前記動作制御信号を操作して前記蓄積回路の出力が利用される蓄積後段回路の動作を遅延させるステップと、
記述された前記被検証回路の動作において前記蓄積回路が前記飽和状態へ遷移したことを表す確認信号を監視するステップと、
を備えたことを特徴とする回路検証方法。
【００４０】
【発明の効果】
以上に詳述したように本発明によれば、ソフトウェアによる回路検証において、回路の論理を変えずにキュー回路等の蓄積回路が飽和状態に遷移する確率を増加させると共に、回路検証の時間を短縮することができる回路検証装置、回路検証プログラム、回路検証方法を提供することができるという効果を奏する。
【図面の簡単な説明】
【図１】本発明の回路検証装置上で動作する回路検証プログラムの構成の一例を示すブロック図である。
【図２】キューフル状態を作り出す回路検証プログラムの動作の一例を示すフローチャートである。
【図３】回路検証装置の構成の一例を示すブロック図である。
【図４】被検証回路の構成の一例を示すブロック図である。
【符号の説明】
３０　検証部、３１　テスト制御部、３２　信号設定部、３３　確認信号監視部、３４　遅延処理部、３５　ライブラリファイル、４０　被検証回路記述動作部、４１　メモリ回路記述動作部、４２　Ａ回路記述動作部、４３　Ｂ回路記述動作部、４４　高速回路記述動作部、４５　キュー回路記述動作部、４６　通常回路記述動作部、４７　テストプログラム。
【図１】
2004062522.tif 000003
【図２】
2004062522.tif 000004
【図３】
2004062522.tif 000005
【図４】
2004062522.tif 000006