(57)【要約】【課題】  検証者が意図した事象を引き起こすための入力データの生成を容易にし、論理検証の効率化及び高品質化を実現することができる集積回路の論理検証方法及び検証システムを提供する。【解決手段】  集積回路１０２におけるデータ処理結果を検証するため、まず、集積回路１０２の検証用データを準備する。そして、集積回路１０２に入力する入力データを入力データ生成部１０１で生成し、入力データ送信部１０３を介して、所定単位毎に集積回路１０２に入力して処理させる。データ処理結果計測部１０５は、集積回路１０２から出力された出力データを計測し、当該出力データと検証用データとの差分を算出する。そして、入力データ生成部１０１は、当該差分に基づいて、集積回路１０２に次に入力する新たな入力データを生成する。【選択図】  図１
2006134264.tif 000002
【特許請求の範囲】
【請求項１】
集積回路におけるデータ処理結果を検証する論理検証方法であって、
集積回路の検証用データを設定する設定工程と、
前記集積回路に入力する入力データを生成する第１の生成工程と、
前記入力データを所定単位毎に前記集積回路に入力して処理させる処理工程と、
前記集積回路から出力された出力データを計測し、該出力データと前記検証用データとの差分を算出する算出工程と、
前記差分に基づいて、前記集積回路に次に入力する新たな入力データを生成する第２の生成工程と
を有することを特徴とする論理検証方法。
【請求項２】
集積回路におけるデータ処理結果を検証する論理検証方法であって、
集積回路の検証用データを設定する設定工程と、
入力データを生成する第１の生成工程と、
前記入力データを所定単位毎に前記集積回路に入力して処理させた場合に該集積回路から出力されると予測される予測データを生成する予測データ生成工程と、
生成された前記予測データと前記検証用データとの差分を算出する算出工程と、
前記差分に基づいて、前記集積回路に次に入力して処理させるべき新たな入力データを生成する第２の生成工程と
を有することを特徴とする論理検証方法。
【請求項３】
前記第２の生成工程が、
前記算出工程により算出された前記差分の正負を判定し、該差分が正の場合は、直前に生成された入力データとの差分が所定値以下の新たな入力データを生成し、前記差分が負の場合は、直前に生成された入力データとの差分が所定値以上の新たな入力データを生成することを特徴とする請求項１又は２に記載の論理検証方法。
【請求項４】
前記第２の生成工程によって、前記算出工程により算出された前記差分に基づいて、前記集積回路で処理させるべき新たな入力データが全て生成されたか否かを判定する判定工程をさらに有することを特徴とする請求項１から３までのいずれか１項に記載の論理検証方法。
【請求項５】
前記集積回路で処理された場合に出力されるデータと、前記設定工程により設定された該データに対応する前記検証用データとを表示装置に並列表示する表示工程をさらに有することを特徴とする請求項１から４までのいずれか１項に記載の論理検証方法。
【請求項６】
前記処理工程が、前記入力データを１フレーム単位に前記集積回路に処理させることを特徴とする請求項１から５までのいずれか１項に記載の論理検証方法。
【請求項７】
前記処理工程が、前記入力データを１マクロブロック単位又は１画素単位に前記集積回路に処理させることを特徴とする請求項１から５までのいずれか１項に記載の論理検証方法。
【請求項８】
集積回路におけるデータ処理結果を検証する検証システムであって、
集積回路の検証用データを設定する設定手段と、
前記集積回路に入力する入力データを生成する第１の生成手段と、
前記入力データを所定単位毎に前記集積回路に入力して処理させる処理手段と、
前記集積回路から出力された出力データを計測し、該出力データと前記検証用データとの差分を算出する算出手段と、
前記差分に基づいて、前記集積回路に次に入力する新たな入力データを生成する第２の生成手段と
を備えることを特徴とする検証システム。
【請求項９】
集積回路におけるデータ処理結果を検証する検証システムであって、
集積回路の検証用データを設定する設定手段と、
入力データを生成する第１の生成手段と、
前記入力データを所定単位毎に前記集積回路に入力して処理させた場合に該集積回路から出力されると予測される予測データを生成する予測データ生成手段と、
生成された前記予測データと前記検証用データとの差分を算出する算出手段と、
前記差分に基づいて、前記集積回路に次に入力して処理させるべき新たな入力データを生成する第２の生成手段と
を備えることを特徴とする検証システム。
【請求項１０】
集積回路におけるデータ処理結果を検証するためのコンピュータに、
集積回路の検証用データを設定する設定手順と、
前記集積回路に入力する入力データを生成する第１の生成手順と、
前記入力データを所定単位毎に前記集積回路に入力して処理させる処理手順と、
前記集積回路から出力された出力データを計測し、該出力データと前記検証用データとの差分を算出する算出手順と、
前記差分に基づいて、前記集積回路に次に入力する新たな入力データを生成する第２の生成手順と
を実行させるためのプログラム。
【請求項１１】
集積回路におけるデータ処理結果を検証するためのコンピュータに、
集積回路の検証用データを設定する設定手順と、
入力データを生成する第１の生成手順と、
前記入力データを所定単位毎に前記集積回路に入力して処理させた場合に該集積回路から出力されると予測される予測データを生成する予測データ生成手順と、
生成された前記予測データと前記検証用データとの差分を算出する算出手順と、
前記差分に基づいて、前記集積回路に次に入力して処理させるべき新たな入力データを生成する第２の生成手順と
を実行させるためのプログラム。
【請求項１２】
請求項１０又は１１に記載のプログラムを格納したことを特徴とするコンピュータ読み取り可能な記憶媒体。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、集積回路の論理検証方法及び検証システムに関する。
【背景技術】
【０００２】
近年、電子機器の多くに大規模集積回路（ＬＳＩ）が搭載され、内部の信号処理や、機器の制御が行われている。また、ＬＳＩの大規模化に伴い、従来はソフトウェアで実装していた複雑な画像処理アルゴリズムをハードウェアで実装し、大容量データを高速処理することが実現されてきている。このような画像処理アルゴリズムがハードウェアで実装されたデータ処理回路に対して、外部デバイスから処理用データが入力されると、所定のアルゴリズムに基づく信号処理が行われ、処理されたデータが出力される。
【０００３】
例えば、従来から、データ処理回路の論理検証を行う技術として、入力データと期待値データを生成する手段を用意し、入力データを回路に与えて論理シミュレーションを実行する方法が知られている（例えば、特許文献１参照。）。具体的には、期待値データを生成する手段は、検証対象となる回路の動作を模擬したものであり、入力データから当該回路が出力すべき期待値データを生成する。そして、実際に入力されたデータに基づいて当該回路が出力したデータと期待値データとを比較して、一致するか否かを検証するものである。尚、データ処理回路においては、入力データの特徴によって、当該回路内の活性化される部分が異なる場合がある。そこで、シミュレーション実行の度に様々な入力データをランダムに生成するようにして、検証網羅性を高めている。
【特許文献１】特開２００２−３５８３４２号公報
【発明の開示】
【発明が解決しようとする課題】
【０００４】
しかしながら、上述した従来の技術では、全ての入力データをランダムに生成した後にシミュレーションを行うため、検証者が意図したとおりの事象を検証することが困難であった。
【０００５】
例えば、符号量制御機能を持つ動画符号化回路のように、集積回路がデータ処理結果に応じて適応的に動作を変える機能を有する場合には、意図的に集積回路が適応的に動作を変える事象を起こし、その動作変更が正しく行われていることを検証する必要がある。しかしながら、集積回路が適応的に動作を変える事象は、ランダムに生成した入力データから起こる確率は非常に低く、従来の検証方法ではその実現が困難であった。そのため、意図的に集積回路が適応的に動作を変えるような事象の検証を行う際には、予め検証すべき事象を起こすための特殊な入力データを人手で算出し、作成する必要があった。
【０００６】
また、データ処理回路で実現されるアルゴリズムが複雑化するにつれ、上述したような特殊な入力データの作成には時間がかかるようになり、検証の効率化の妨げになっていた。
【０００７】
本発明は、このような事情を考慮してなされたものであり、検証者が意図した事象を引き起こすための入力データの生成を容易にし、論理検証の効率化及び高品質化を実現することができる集積回路の論理検証方法及び検証システムを提供することを目的とする。
【課題を解決するための手段】
【０００８】
上記課題を解決するために、本発明は、集積回路におけるデータ処理結果を検証する論理検証方法であって、
集積回路の検証用データを設定する設定工程と、
前記集積回路に入力する入力データを生成する第１の生成工程と、
前記入力データを所定単位毎に前記集積回路に入力して処理させる処理工程と、
前記集積回路から出力された出力データを計測し、該出力データと前記検証用データとの差分を算出する算出工程と、
前記差分に基づいて、前記集積回路に次に入力する新たな入力データを生成する第２の生成工程と
を有することを特徴とする。
【０００９】
また、上記課題を解決するために、本発明は、集積回路におけるデータ処理結果を検証する論理検証方法であって、
集積回路の検証用データを設定する設定工程と、
入力データを生成する第１の生成工程と、
前記入力データを所定単位毎に前記集積回路に入力して処理させた場合に該集積回路から出力されると予測される予測データを生成する予測データ生成工程と、
生成された前記予測データと前記検証用データとの差分を算出する算出工程と、
前記差分に基づいて、前記集積回路に次に入力して処理させるべき新たな入力データを生成する第２の生成工程と
を有することを特徴とする。
【００１０】
さらに、上記課題を解決するために、本発明は、集積回路におけるデータ処理結果を検証する検証システムであって、
集積回路の検証用データを設定する設定手段と、
前記集積回路に入力する入力データを生成する第１の生成手段と、
前記入力データを所定単位毎に前記集積回路に入力して処理させる処理手段と、
前記集積回路から出力された出力データを計測し、該出力データと前記検証用データとの差分を算出する算出手段と、
前記差分に基づいて、前記集積回路に次に入力する新たな入力データを生成する第２の生成手段と
を備えることを特徴とする。
【００１１】
さらにまた、上記課題を解決するために、本発明は、集積回路におけるデータ処理結果を検証する検証システムであって、
集積回路の検証用データを設定する設定手段と、
入力データを生成する第１の生成手段と、
前記入力データを所定単位毎に前記集積回路に入力して処理させた場合に該集積回路から出力されると予測される予測データを生成する予測データ生成手段と、
生成された前記予測データと前記検証用データとの差分を算出する算出手段と、
前記差分に基づいて、前記集積回路に次に入力して処理させるべき新たな入力データを生成する第２の生成手段と
を備えることを特徴とする。
【発明の効果】
【００１２】
本発明によれば、検証者が意図した事象を引き起こすための入力データの生成を容易にし、論理検証の効率化及び高品質化を実現することができる。
【発明を実施するための最良の形態】
【００１３】
以下、図面を参照して、本発明の好適な実施形態に係る集積回路の論理検証方法及びそれを実現するための検証システムについて詳細に説明する。
【００１４】
＜第１の実施形態＞
図１は、本発明の第１の実施形態に係る集積回路の論理検証を行う検証システムの構成を示すブロック図である。図１に示すように、当該検証システムは、検証用の入力データを生成する入力データ生成部１０１、検証対象となる集積回路１０２、集積回路１０２に対して生成された入力データを送信する入力データ送信部１０３、集積回路１０２で処理されて出力したデータを受信する出力データ受信部１０４、集積回路１０２のデータ処理結果を計測するデータ処理結果計測部１０５、入力データに画像処理を施したときの期待値データを生成する期待値データ生成部１０８、及び出力データと期待値データとを比較するためのモニタ１０９を備える。尚、図１において、１０６は生成された現フレーム画像を示す第１の入力データ、１０７は生成された次フレーム画像を示す第２の入力データとする。
【００１５】
ここで、集積回路１０２の動作について以下に説明する。入力データ生成部１０１において生成された第１の入力データ（現フレーム画像）１０６を入力データ送信部１０３によりＭＰＥＧ圧縮処理回路である集積回路１０２に入力する。これにより、集積回路１０２では、内部でＭＰＥＧ圧縮処理が行われ、出力されたＭＰＥＧデータが出力データ受信部１０４で受信される。
【００１６】
一般的に、ＭＰＥＧ圧縮処理回路は、符号量制御機能を有している。符号量制御において、はじめに、ＭＰＥＧ圧縮処理回路は、ある定められた圧縮率で動画を符号化する。しかし、圧縮処理が十分でなく、出力されたデータが蓄積される後段のバッファメモリがオーバーフローするおそれがある場合には、当該ＭＰＥＧ圧縮処理回路は、圧縮率を上げて発生符号量を減少させることとなる。一方で、後段のバッファメモリに空きが生じた場合には、当該ＭＰＥＧ圧縮処理回路は、圧縮率を下げ、画質を高める動作を動的に行う。
【００１７】
このような集積回路の論理検証を行う際には、バッファメモリがオーバーフローするおそれがある状態、或いはバッファメモリに空きが出てきた状態等を意図的に起こし、集積回路１０２が内部で圧縮率を上下させて発生符号量を制御する動作が正しく行われることを検証する必要がある。
【００１８】
図２は、符号量制御機能を持つある集積回路におけるテストアイテムに関する時間とバッファメモリの蓄積データ量との関係の一例を示す図である。図２に示す例では、時刻０からＴ１の間では、ゆるやかにバッファメモリの蓄積データ量が増加していき、ある時刻Ｔ１において、急激に発生符号量が増加し始める。そして、時刻Ｔ２において、バッファメモリの蓄積データ量が閾値Ａ１を超えると、集積回路１０２の符号量制御機能が働いて、圧縮率を高めて発生符号量を抑える動作が行われる。その結果、時刻Ｔ２からＴ３にかけては、バッファメモリの蓄積データ量の時刻に対する傾きは緩やかになる。ある時刻Ｔ３において、今度は急激に発生符号量が減少し始める。その結果、バッファメモリから取り去られるデータ量が発生符号量を上回るようになり、バッファメモリの蓄積データ量の時刻に対する傾きが負になる。やがて、時刻Ｔ４において、バッファメモリの蓄積データ量が閾値Ａ１を下回る直前になったところで、集積回路１０２の符号量制御機能が働き、圧縮率を減らして発生符号量及び画質を高めることとなる。
【００１９】
ここで、上述した符号量制御機能が正しく行われていることを検証するためには、バッファメモリの蓄積データ量が図２に示すように変化する事象を起こす必要がある。そこで、以下では、そのような事象を引き起こすための入力動画像データを生成してテスト（検証）を行う方法について説明する。
【００２０】
図３は、図１に示す検証システムを用いて図２に示す事象を起こすための入力データを生成して検証を行う際の処理を説明するためのフローチャートである。尚、本実施形態における検証システムは、一般的な情報処理装置（ＲＯＭから読み出されたプログラムに基づいて各処理を実行するＣＰＵ、ＲＡＭ、ハードディスクドライブ等の記憶装置）のハードウエア構成からなり、図３に示す処理はＲＯＭからＲＡＭに読み出されたプログラムをＣＰＵが実行することによって行われる。まず、入力データ生成部１０１において、第１の入力データ（現フレーム画像）１０６をランダムに生成する（ステップＳ１０１）。次に、生成した当該第１の入力データを入力データ送信部１０３に与えて、集積回路１０２に対してデータ転送（送信）を行う（ステップＳ１０２）。
【００２１】
尚、入力データは同時に期待値データ生成部１０８にも送信され、そこで集積回路１０２で処理された場合に出力されることとなる出力データを期待値データとして出力する。
【００２２】
次に、データ処理結果計測部１０５は、データバスを監視して集積回路１０２における発生符号量を計測する。同時に、出力データ受信部１０４は、集積回路１０２より出力されるデータを受信する（ステップＳ１０３）。尚、この出力データの様子は、モニタ１０９に期待値データの様子とあわせて表示することによって、ユーザが逐次比較することが可能となる。
【００２３】
一方、データ処理結果計測部１０５は、実際のバッファに入る集積回路１０２で発生した累計符号量に対して図２に示すグラフより得られる期待される蓄積データ量を減算することによって得られた値（差分値）を求める（ステップＳ１０４）。そして、当該差分値が０以上であるか否かを判定する（ステップＳ１０５）。その結果、当該差分値が負である場合（Ｎｏ）は、次に期待される蓄積データ量を下回る符号量が発生している。このような場合、本実施形態では、入力データ生成部１０１は、次に、前に生成したデータと比べて差が大きく、予測に反するような新たなデータを次フレーム画像（第２の入力データ）として生成する（ステップＳ１０６）。
【００２４】
一方、ステップＳ１０５において差分値が０以上であると判定された場合（Ｙｅｓ）は、期待される蓄積データ量を上回る符号量が発生している。この場合、本実施形態の入力データ生成部１０１は、次に、前に生成したデータとの差が小さく、予測に合致するようなデータを次フレーム画像（第２の入力データ）として生成する（ステップＳ１０７）。
【００２５】
ステップＳ１０６又はステップＳ１０７でそれぞれ次フレーム画像（第２の入力データ）が生成された後、テスト（検証）に必要な全てのデータを生成し終えたかどうかを判断する（ステップＳ１０８）。その結果、全てのデータ生成が終了していないと判断された場合（Ｎｏ）は、ステップＳ１０２に戻って、上述した処理を繰り返す。一方、全てのデータ生成が終了していると判断された場合（Ｙｅｓ）は、ステップＳ１０６又はＳ１０７で生成したデータを最後のフレーム画像（入力データ）として集積回路１０２に送信して処理を行わせる（ステップＳ１０９）。そして、出力データ受信部１０４が集積回路１０２から処理され出力された出力データを受信する（ステップＳ１１０）。尚、この出力データは、前述したように、モニタ１０９により期待値データと逐次比較することが可能である。そして、すべてのデータを出力データ受信部１０４が受信し終えたところでテストが終了する。
【００２６】
上述した方法によれば、入力データ生成部１０１は、集積回路１０２に入力するフレーム画像を生成する際に、集積回路１０２から得られるデータ処理結果を加味して次の入力データを生成するので、入力データ生成部１０１において、検証者が意図した、図２に示すような状況を引き起こす入力画像データの作成を容易に行うことが可能となる。
【００２７】
尚、第１の実施形態では、ステップＳ１０５における差分値の正負によって、次フレームデータの生成方法を２通りに分けた。ここで、ステップＳ１０５において、差分値を引数とする関数を用いて、期待される蓄積データ量との差分を最小にするように、次フレーム画像（第２の入力データ）と前に生成した現フレーム画像（第１の入力データ）との差をきめ細かく制御する処理を行ってもよい。
【００２８】
また、第１の実施形態では、次フレーム画像の生成の際に前に作成された現フレーム画像との差分を制御するようにしているが、集積回路１０２がフレームメモリに保存する予測画像との差分を制御する構成にしてもよい。
【００２９】
さらに、第１の実施形態では、一度に生成するデータの単位を１フレームとしているが、集積回路が実装する予測アルゴリズムに応じて、１マクロブロック、或いは１画素を一度に生成するデータの単位としてもよい。
【００３０】
さらにまた、第１の実施形態では、動画像の符号量制御の検証に本発明の論理検証方法を適用したが、静止画像や音声データの符号量制御検証、入力データによって異なる状態になる回路の内部状態の網羅検証等、広範な応用が可能である。
【００３１】
＜第２の実施形態＞
次に、本発明の第２の実施形態について以下に説明する。第１の実施形態と第２の実施形態との違いは、第１の実施形態では、集積回路から得られるデータ処理結果を加味して次の入力データを生成していたが、第２の実施形態では、期待値データ生成部から得られるデータ処理結果を加味して、次の入力データを生成している点である。
【００３２】
図４は、本発明の第２の実施形態に係る集積回路の論理検証を行う検証システムの構成を示すブロック図である。図４に示すように、当該検証システムは、入力データを生成する入力データ生成部４０１、検証対象となる集積回路４０２、集積回路４０２に対して生成された入力データを送信する入力データ送信部４０３、集積回路４０２で処理されて出力したデータを受信する出力データ受信部４０４、期待値データ生成部４０８から出力された期待値データの符号量を計測するデータ処理結果計測部４０５、集積回路４０２で処理されたデータに相当する期待値データを生成する期待値データ生成部４０８、及び集積回路４０２からの出力データと期待値データとを比較するためのモニタ４０９を備える。尚、図４において、４０６は生成された現フレーム画像を示す第１の入力データ、４０７は生成された次フレーム画像を示す第２の入力データとする。
【００３３】
尚、図４に示す第２の実施形態における集積回路４０２の動作及び起こすべき事象については、前述した第１の実施形態における動作等と同様であるので、ここではその説明を省略する。
【００３４】
次に、バッファメモリの蓄積データ量が図２に示す事象になるような入力動画像データを生成してテストを行う方法について説明する。図５は、図４に示す検証システムを用いて図２に示す事象を起こすための入力データを生成して検証を行う際の処理を説明するためのフローチャートである。
【００３５】
まず、入力データ生成部４０１で第１の入力データ（現フレーム画像）４０６をランダムに生成する（ステップＳ２０１）。次に、生成した現フレーム画像４０６を期待値データ生成部４０８に与えるとともに、同現フレーム画像４０６を集積回路４０２に対してデータ転送する（ステップＳ２０２）。そして、データ処理結果計測部４０５は、期待値データ生成部４０８におけるデータ処理の結果発生する発生符号量を計測する（ステップＳ２０３）。
【００３６】
続いて、集積回路４０２から出力されバッファメモリに入る累計符号量に相当する符号量を期待値データ生成部４０８から発生する符号量から取得し、取得した符号量に対して図２に示すグラフより得られる期待される蓄積データの符号量を減算することによって得られた値（差分値）を計算する（ステップＳ２０４）。そして、当該差分値が０以上であるか否かを判定する（ステップ２０５）。その結果、当該差分値が負であると判定された場合（Ｎｏ）は、期待される蓄積データ量を下回る符号量が発生している。このような場合、本実施形態では、入力データ生成部４０１は、前に生成したデータとの差が大きく、予測に反するようなデータを次フレーム画像（第２の入力データ）として生成する（ステップＳ２０６）。一方、ステップＳ２０５において、差分値が０以上であると判定された場合（Ｙｅｓ）は、期待される蓄積データ量を上回る符号量が発生している。このような場合、本実施形態では、入力データ生成部４０１は、前に生成したデータとの差が小さく、予測に合致するようなデータを次フレーム画像（第２の入力データ）として生成する（ステップＳ２０７）。
【００３７】
ステップＳ２０６又はステップＳ２０７でそれぞれ次フレーム画像が生成された後、テストに必要な全てのデータを生成し終えたかどうかを判断する（ステップＳ２０８）。その結果、まだ全てのデータ生成が終了していないと判断された場合（Ｎｏ）は、ステップＳ２０２に戻って、上述した処理を繰り返す。一方、全てのデータ生成が終了していると判断された場合（Ｙｅｓ）は、生成した全てのフレーム画像を入力データ送信部４０３を用いて集積回路に４０２に入力する（ステップＳ２０９）。そして、出力データ受信部４０４が集積回路４０２からの出力データを受信する（ステップＳ２１０）。尚、この出力データは、モニタ４０９により期待値データと逐次比較することが可能である。そして、すべてのデータを出力データ受信部４０４が受信し終えたところでテストが終了する。
【００３８】
上述したように、第２の実施形態によれば、入力データ生成部４０１は、入力動画像データ生成の際に、期待値データ生成部４０８から得られるデータ処理結果を加味して次のデータを生成するので、検証者が意図した図２に示すような状況を引き起こすような入力動画像データの作成を容易に行うことができる。また、本実施形態では、入力動画像データ生成に集積回路４０２によるデータ処理結果を用いないので、集積回路４０２の完成度が低くデータ処理結果が信用できないような場合であっても、正しく図２に示すような状況を引き起こす入力動画像データの作成を容易に行うことができる。また、当該方法によれば、集積回路４０２にデータを入力しなくても入力動画像データの作成が可能なため、予め全ての入力動画像データを用意しなければならない場合であっても適用することができる。
【００３９】
尚、本実施形態では、期待値データ生成部４０８によるデータ処理結果を用いて、予め全ての入力動画像データを作成するテスト方法について説明したが、上述した第１の実施形態のように、期待値データ生成部１０８によるデータ処理結果を加味した入力動画像データの一部分の作成と作成された一部分の入力データの送信を交互に繰り返し行う方法を用いてもよい。
【００４０】
以上、第１及び第２の実施形態において説明したように、本発明によれば、集積回路や期待値データ生成部のデータ処理結果を用いて次の入力データを生成することにより、検証者が意図した状況を引き起こすための入力データを容易に作成することができ、論理検証の効率化及び高品質化を好適に行うことができる。
【００４１】
＜その他の実施形態＞
以上、実施形態例を詳述したが、本発明は、例えば、システム、装置、方法、プログラム若しくは記憶媒体（記録媒体）等としての実施態様をとることが可能であり、具体的には、複数の機器から構成されるシステムに適用しても良いし、また、一つの機器からなる装置に適用しても良い。
【００４２】
尚、本発明は、前述した実施形態の機能を実現するソフトウェアのプログラム（実施形態では図に示すフローチャートに対応したプログラム）を、システムあるいは装置に直接あるいは遠隔から供給し、そのシステムあるいは装置のコンピュータが該供給されたプログラムコードを読み出して実行することによっても達成される場合を含む。
【００４３】
従って、本発明の機能処理をコンピュータで実現するために、該コンピュータにインストールされるプログラムコード自体も本発明を実現するものである。つまり、本発明は、本発明の機能処理を実現するためのコンピュータプログラム自体も含まれる。
【００４４】
その場合、プログラムの機能を有していれば、オブジェクトコード、インタプリタにより実行されるプログラム、ＯＳに供給するスクリプトデータ等の形態であっても良い。
【００４５】
プログラムを供給するための記録媒体としては、例えば、フロッピー（登録商標）ディスク、ハードディスク、光ディスク、光磁気ディスク、ＭＯ、ＣＤ−ＲＯＭ、ＣＤ−Ｒ、ＣＤ−ＲＷ、磁気テープ、不揮発性のメモリカード、ＲＯＭ、ＤＶＤ（ＤＶＤ−ＲＯＭ，ＤＶＤ−Ｒ）などがある。
【００４６】
その他、プログラムの供給方法としては、クライアントコンピュータのブラウザを用いてインターネットのホームページに接続し、該ホームページから本発明のコンピュータプログラムそのもの、もしくは圧縮され自動インストール機能を含むファイルをハードディスク等の記録媒体にダウンロードすることによっても供給できる。また、本発明のプログラムを構成するプログラムコードを複数のファイルに分割し、それぞれのファイルを異なるホームページからダウンロードすることによっても実現可能である。つまり、本発明の機能処理をコンピュータで実現するためのプログラムファイルを複数のユーザに対してダウンロードさせるＷＷＷサーバも、本発明に含まれるものである。
【００４７】
また、本発明のプログラムを暗号化してＣＤ−ＲＯＭ等の記憶媒体に格納してユーザに配布し、所定の条件をクリアしたユーザに対し、インターネットを介してホームページから暗号化を解く鍵情報をダウンロードさせ、その鍵情報を使用することにより暗号化されたプログラムを実行してコンピュータにインストールさせて実現することも可能である。
【００４８】
また、コンピュータが、読み出したプログラムを実行することによって、前述した実施形態の機能が実現される他、そのプログラムの指示に基づき、コンピュータ上で稼動しているＯＳなどが、実際の処理の一部または全部を行い、その処理によっても前述した実施形態の機能が実現され得る。
【００４９】
さらに、記録媒体から読み出されたプログラムが、コンピュータに挿入された機能拡張ボードやコンピュータに接続された機能拡張ユニットに備わるメモリに書き込まれた後、そのプログラムの指示に基づき、その機能拡張ボードや機能拡張ユニットに備わるＣＰＵなどが実際の処理の一部または全部を行い、その処理によっても前述した実施形態の機能が実現される。
【図面の簡単な説明】
【００５０】
【図１】本発明の第１の実施形態に係る集積回路の論理検証を行う検証システムの構成を示すブロック図である。
【図２】符号量制御機能を持つある集積回路におけるテストアイテムに関する時間とバッファメモリの蓄積データ量との関係の一例を示す図である。
【図３】図１に示す検証システムを用いて図２に示す事象を起こすための入力データを生成して検証を行う際の処理を説明するためのフローチャートである。
【図４】本発明の第２の実施形態に係る集積回路の論理検証を行う検証システムの構成を示すブロック図である。
【図５】図４に示す検証システムを用いて図２に示す事象を起こすための入力データを生成して検証を行う際の処理を説明するためのフローチャートである。
【符号の説明】
【００５１】
１０１、４０１  入力データ生成部
１０２、４０２  集積回路
１０３、４０３  入力データ送信部
１０４、４０４  出力データ受信部
１０５、４０５  データ処理結果計測部
１０６、４０６  第１の入力データ（現フレーム画像）
１０７、４０７  第２の入力データ（次フレーム画像）
１０８、４０８  期待値データ生成部
１０９、４０９  モニタ
【図１】
2006134264.tif 000003
【図２】
2006134264.tif 000004
【図３】
2006134264.tif 000005
【図４】
2006134264.tif 000006
【図５】
2006134264.tif 000007