(57)【要約】【課題】  任意のタイミングで機能（入力モード）が選択指定された場合でも自動的に有効な出力期待値波形を容易に生成可能とする。【解決手段】  ステップＳ１で、要素となる動作モードが同じ領域毎の出力期待値の波形パターンの情報及び当該動作モードにおいて遷移可能な機能を示す情報を含むパターンファイルと、このパターンファイルを順次選択するためのパターン選択管理ファイルとを登録し、ステップＳ２で、論理回路に対する入力として順次切換選択される機能（入力モード）を指定し、ステップＳ３で、選択指定された機能に対応するパターン選択管理ファイルによりパターンファイルを順次選択し、その動作モードで遷移可能な機能を判断しながら出力期待値波形を生成し、ステップＳ４で、生成された出力期待値波形と、設計された論理回路のシミュレートにより得られる出力波形とを比較することにより検証を行う。【選択図】  図１４
2005316752.tif 000002
【特許請求の範囲】
【請求項１】
設計された論理回路のシミュレートにより得られる出力波形を、目標とされる出力波形としての出力期待値と比較して検証を行う論理回路検証方法において、
論理回路に対して選択指定される機能に対する論理回路からの出力期待値の波形が、要素となる少なくとも１つの動作モードの波形により構成され、
上記要素となる動作モードが同じ領域毎にまとめられた出力期待値の波形パターンの情報及び当該動作モードにおける機能遷移を制御する情報を含むパターンファイルと、このパターンファイルを順次選択することにより上記機能を実現するための出力期待値の波形を生成するためのパターン選択管理ファイルとを登録する工程と、
論理回路に対して選択指定された機能に対応する上記パターン選択管理ファイルにより順次選択される上記パターンファイルに基づく動作モードの出力期待値波形を生成すると共に、当該動作モードにおける遷移可能な機能を判断しながら機能遷移を行う工程と、
生成された出力期待値波形と、上記設計された論理回路のシミュレートにより得られる出力波形とを比較することにより検証を行う工程と
を有することを特徴とする論理回路検証方法。
【請求項２】
上記機能遷移を制御する情報は、当該動作モードにおいて遷移可能な機能を示す情報であることを特徴とする請求項１記載の論理回路検証方法。
【請求項３】
上記論理回路は、ＣＣＤを駆動するための駆動パルスを発生するタイミングジェネレータであり、上記動作モードはＣＣＤを転送駆動する転送モードであることを特徴とする請求項１記載の論理回路検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、設計された論理回路のシミュレートにより得られる出力波形を、目標とされる出力波形としての出力期待値と比較して正常に動作するか否かの検証を行うような論理回路検証方法に関する。
【背景技術】
【０００２】
一般にＩＣ（集積回路）、特にＬＳＩ（大規模集積回路）等における論理回路の設計は、論理回路の機能や動作を設計する論理設計工程と、回路素子の配置を設計するレイアウト設計工程とに大別される。
【０００３】
論理設計工程においては、回路動作のタイミング仕様書等に基づいて例えば回路図面入力ツールあるいはハードウェア記述言語等を使用して、設計者が直接論理ネットリストを入力するようにしている。また、レイアウト設計工程においては、論理設計工程において作成した論理ネットリストを基にして、回路素子の配置や配線を行うようにしている。
【０００４】
また、タイミング仕様書に基づいてハードウェア記述言語等を用いて回路を作成した後に、設計された回路が正しく動作するかを検証（論理回路検証）するために、シミュレーションが行われる。
【０００５】
ところで、近年のディジタル機器においては、多機能化、高性能化と共に、製品サイクルも短縮されており、短期間に複雑な論理回路を設計することが要求されている。
【０００６】
例えば、近年において、ＣＣＤ（Charge Coupled Device） などの固体撮像素子を用いたデジタルスチルカメラ、ビデオカメラの開発期間は短くなり、低価格化が進んでいる一方で、固体撮像素子の高画素化、高性能化への取り組みが進行している。固体撮像素子の改良が図られた場合には、駆動用タイミングの互換性は確保されないのが一般的である。また、様々な撮像機能、シャッターラグ改良のため、より多くの駆動タイミングが要求され、ＣＣＤを駆動するタイミングジェネレータＩＣ（以下ＣＣＤ−ＴＧという。）の開発においても、開発／設計の検証期間に大きな影響を与えている。
【０００７】
従来技術として、特許文献１、２には、検証容易性、効率の向上のため、波形エディターを用いて、ＧＵＩ（graphical user interface）から読み出しライン、フレームシフト数などの数値を入力することにより、波形生成を可能とし、また出力期待値、すなわちシミュレーションにより得られる出力波形と比較される目標となる出力波形、を生成するような検証システムが開示されている。論理回路検証は、設計された論理回路に所定の入力波形を供給したときの出力波形をシミュレートし、この出力波形を上記出力期待値の波形と比較して一致するかを見ることにより行われる。
【０００８】
【特許文献１】特開２００１−３１８９５５号公報
【特許文献２】特開２００３−１７３３６０号公報
【発明の開示】
【発明が解決しようとする課題】
【０００９】
ところで、上述のような検証システムは、入力波形および出力期待値を検証用パターンに使用することにより、検証効率の向上が期待できる。しかしながら、外部からのトリガ入力のような非同期入力時の振る舞い、および機能切換時等の遷移タイミング生成に課題があり、設計検証においても、その部分についてはテストパターンを入力し、シミュレーションによる波形出力を目視確認するなどの非効率な検証作業を要し、設計ミスを生んでいる。
【００１０】
特に、上述したようなＣＣＤ−ＴＧにおいては、非常に多くの機能が存在し、機能遷移の組み合わせ、遷移タイミングは無数にあり、また、用いられるカメラの機種等によっても要求される機能が微妙に異なっており、これらの全ての場合に対応する出力期待値を準備しておくことは困難である。
【００１１】
本発明は、このような従来の実情に鑑みて提案されたものであり、論理回路に対する種々の入力波形に対して簡単且つ容易に出力期待値を生成することができるような論理回路検証方法を提供することを目的とする。
【課題を解決するための手段】
【００１２】
上述の課題を解決するために、本発明は、設計された論理回路のシミュレートにより得られる出力波形を、目標とされる出力波形としての出力期待値と比較して検証を行う論理回路検証方法において、論理回路に対して選択指定される機能に対する論理回路からの出力期待値の波形が、要素となる少なくとも１つの動作モードの波形により構成され、上記要素となる動作モードが同じ領域毎にまとめられた出力期待値の波形パターンの情報及び当該動作モードにおける機能遷移を制御する情報を含むパターンファイルと、このパターンファイルを順次選択することにより上記機能を実現するための出力期待値の波形を生成するためのパターン選択管理ファイルとを登録する工程と、論理回路に対して選択指定された機能に対応する上記パターン選択管理ファイルにより順次選択される上記パターンファイルに基づく動作モードの出力期待値波形を生成すると共に、当該動作モードにおける遷移可能な機能を判断しながら機能遷移を行う工程と、生成された出力期待値波形と、上記設計された論理回路のシミュレートにより得られる出力波形とを比較することにより検証を行う工程とを有することを特徴とする。
【００１３】
ここで、上記機能遷移を制御する情報は、当該動作モードにおいて遷移可能な機能を示す情報であることが好ましい。
【００１４】
また、上記論理回路は、ＣＣＤを駆動するための駆動パルスを発生するタイミングジェネレータであり、上記動作モードはＣＣＤを転送駆動する転送モードであることが挙げられる。
【００１５】
このような本発明では、論理回路に対する入力として順次切換選択指定される機能（入力モード）に対応するパターン選択管理ファイルによりパターンファイルを順次選択し、その動作モードで遷移可能な機能を判断しながら出力期待値波形を生成し、生成された出力期待値波形と、設計された論理回路のシミュレートにより得られる出力波形とを比較することにより検証を行う。
【発明の効果】
【００１６】
本発明によれば、論理回路の設計検証において、動作モード（転送モード）が同じ領域毎にまとめられた出力期待値の波形パターンの情報及び当該動作モードにおいて遷移可能な機能を示す情報を含むパターンファイルと、このパターンファイルを順次選択することにより機能を実現するための出力期待値の波形を生成するためのパターン選択管理ファイルとを作成し登録しておき、選択指定された機能に対応するパターン選択管理ファイルによりパターンファイルを順次選択し、その動作モードで遷移可能な機能を判断しながら出力期待値波形を生成することにより、ランダムな入力パターン、すなわち任意のタイミングでの機能（入力モード）の選択指定に対し、自動で出力期待値波形を生成することが可能になり、検証効率の向上が図れる。
【発明を実施するための最良の形態】
【００１７】
以下、本発明を適用した具体的な実施の形態について、図面を参照しながら詳細に説明する。以下の実施の形態においては、論理回路検証を行う対象となる論理回路の一例として、固体撮像素子であるＣＣＤ（Charge Coupled Device） を駆動するためのタイミングジェネレータ（ＣＣＤ−ＴＧ）を想定しているが、本発明はこれに限定されるものではなく、他の種々の論理回路の検証に適用可能であることは勿論である。
【００１８】
図１は、本発明の実施の形態における論理回路検証に用いられるＣＣＤおよびＣＣＤを駆動するためのタイミングジェネレータ（ＣＣＤ−ＴＧ）を概略的に示すブロック図である。また図２は、ＣＣＤ駆動信号の一例を示すタイミングチャートである。
【００１９】
図１において、固体撮像素子であるＣＣＤ１０の撮像部１１は、水平垂直方向に２次元的に配列された画素に対応する複数の受光部１２と、これらの複数の受光部１２に蓄積された電荷を垂直方向に転送する複数の垂直転送部１３とを有して成り、各垂直転送部１３により転送された電荷は、水平転送部１４により水平方向に転送され、電荷検出部１５を介して出力端子１９よりＣＣＤ撮像出力信号として取り出される。
【００２０】
また、このＣＣＤ１０を駆動するためのタイミングジェネレータ（ＣＣＤ−ＴＧ）１６は、外部から入力されるクロック信号ＣＫ、垂直・水平同期信号ＶＤ、ＨＤに基づいて、駆動パルスＸＶ１〜ＸＶ４、ＸＲＧ、ＸＨ１、ＸＨ２等を生成し、これらの駆動パルスＸＶ１〜ＸＶ４等をＣＣＤ１０に送ることにより、ＣＣＤ１０を駆動する。また、ＣＣＤ駆動用のタイミングジェネレータ１６には、後述する各種機能に切換制御するための機能切換制御信号が制御端子１７を介して供給されている。
【００２１】
ここで、このＣＣＤ１０を例えばカメラ（ディジタルスチルカメラ、ディジタルビデオカメラ等）に用いる場合においては、カメラの各種機能あるいは各種モード、例えば、モニタリング機能、キャプチャ機能、電子ズーム機能、オートフォーカス機能等を実現するために、各種動作モード、例えば、通常転送モード、高速掃き出し転送モード、電荷読み出し転送モード、フレームシフト転送モード等を所定の順序で切り換えることが必要とされる。この場合、１垂直走査期間内に通常転送、高速掃き出し転送、電荷読み出し転送、フレームシフト転送等の動作モード（出力動作モード）が混在し、上記駆動パルスＸＶ１〜ＸＶ４等は、時系列に波形パターンが変化しているが、さらに機能切換（入力モード切換）タイミングにより、パターン変化の組み合わせは多数存在する。なお、一般的にカメラの操作による機能切換はモード切換とも称されるが、上述したようなＣＣＤ−ＴＧにおける動作モードあるいは転送モードと区別するために、本明細書においては、カメラ操作に応じて切換選択されるモードを、「機能」あるいは「入力モード」と称する。
【００２２】
例えば図２の例においては、所定の機能あるいは入力モードＭ（例えばモニタモード）を実現するために、垂直同期信号ＶＤの開始点（図中の立ち下がりエッジ）から、所定ライン数（走査線数）毎に動作モード（ＣＣＤ−ＴＧでは転送モード）が切り換えられており、例えば走査線番号の０〜１５は高速掃き出し転送モード、１６〜１８は電荷読み出し転送モード、１９〜２４はフレームシフト転送モードと変化し、走査線番号２５以降は通常転送モードとなっている。
【００２３】
また、カメラの手動操作によりあるいは自動的に上記各種機能（各種入力モード）が切り換えられる際、例えばモニタリングからキャプチャへとか、オートフォーカスからまた別の機能へと切り換えられる際には、この機能切換（入力モード切換）に応じて状態遷移するが、外部からのトリガにより遷移するため、どの状態で同期信号が入力されるかは一様ではない。
【００２４】
例えば図３は、上記図２に示す機能（入力モード）Ｍが選択されているときのフレームシフト転送モードの期間中に機能が切り換えられて垂直同期信号ＶＤが入力された例を示し、状態遷移が機能（入力モード）Ｂ、Ｃへと変化している。この図３の例のように、フレームシフトが完了しない状態での機能切換（入力モード切換）による垂直同期信号ＶＤが入力されると、回路が予期しない動作を生じることがあり、回路修正を必要とする。設計構想を十分に行った場合でも、機能切換に伴う状態遷移については種々のテストパターンを用いて十分な検証が必要となるが、現状の検証システムでは、目視によるシミュレーション結果の確認作業が不可欠であり、目視によるため設計ミスを見逃しやすい、または時間を費やす傾向になっている。
【００２５】
本発明の実施の形態では、タイミングチャートから同様な動作を行う領域（動作モード領域）毎に出力波形パターンを管理し、種々の駆動モード（動作モード）に合わせて出力期待値を作成し、またパターンファイルに機能（入力モード）遷移情報を設けることで、任意のタイミングで期待値パターンを生成することができるようにしている。
【００２６】
これを図４のＣＣＤ駆動タイミングジェネレータのタイミングチャートの例と共に説明すると、上記図２に示したような所定の機能（入力モード）Ｍが選択されているとき、例えば走査線番号の０〜１５は高速掃き出し転送モード、１６〜１８は電荷読み出し転送モード、１９〜２４はフレームシフト転送モードと変化し、走査線番号２５以降は通常転送モードとなっているが、これらの各動作モード（転送モード）毎に期待値パターンのファイル（パターンファイル）ＰＴＦを作成することを意味する。
【００２７】
図５は、例えば高速掃き出し転送モードの動作時の期待値としての上記各駆動パルスＸＶ１〜ＸＶ４、ＸＲＧ、ＸＨ１、ＸＨ２等の波形パターンの具体例を示すものであるが、図示を簡略化するため、図５では、駆動パルスＸＶｎ（ｎは１〜４）で代表させて示している。この図５に示すように、駆動パルスＸＶｎについて、水平同期信号（ＨＤ）からのオフセットクロック数ａ、立ち上がりポイントまでのクロック数ｂ、１サイクルのクロック数ｃ、掃出し繰り返し数ｄ等、波形パターンを規定するための定型的な各部の数値を記述する。
【００２８】
同様に図６は、通常読み出し転送モードの動作時における期待値としての駆動パルスの波形パターンの具体例を示し、この図６の例では、ＨＤ毎に定型的に変化するＨＤからの１つ目の立下りポイントの位置ａ、１つ目の立ち上がりポイントの位置ｂ、２つ目の立下りポイントの位置ｃ、２つ目の立ち上がりポイントの位置ｄ等をそれぞれクロック数で表した記述例を表す。この図６の例でも駆動パルスＸＶｎ（ｎは１〜４）で代表させて示しているが、他の駆動パルスＸＲＧ、ＸＨ１、ＸＨ２等の波形パターンについても各部の数値を記述することは勿論である。
【００２９】
これらの図５、図６に示すような波形パターンを動作モード毎にパターン登録し、任意に選択できるようにする。また、各パターンに入力モード遷移情報を設け、入力モード遷移時の変化に対しての可否判断に対応させる。この入力モード遷移情報あるいは機能遷移情報は、当該動作モード（転送モード）の動作中にトリガされたとき遷移可能な入力モードあるいは機能を記述したものである。
【００３０】
例えば上記図４のタイミングチャートにおいては、水平走査線の１〜１５ラインは高速掃き出し、１６〜１８ラインは電荷読み出し、１９〜２４ラインはフレームシフト、その他は通常読み出し動作が行われ、１画面走査における一連の動作になっており、これらの各動作モードに対応して、上記図５、図６と共に説明したような期待値の波形パターンを規定するための情報と、当該動作モード時の遷移可能な機能（入力モード）を示す情報とを含むパターンファイルＰＴＦがそれぞれ作成される。なお、設計された論理回路に入力を供給したときのシミュレートにより得られる出力波形が０，１等のデータ列として表されるとき、波形パターンの情報は同様な０，１のデータ列として表されることが必要とされるが、上記パターンファイルＰＴＦ内には、波形パターンの情報自体を０，１のデータ列としてパターン登録しておいてもよく、あるいは、上述したような波形の立ち上がり、立ち下がり等の位置を登録しておき、これを波形比較の際に０，１のデータ列に変換するようにしてもよい。
【００３１】
図７は、このようなパターン登録されたパターンファイルＰＴＦを用いて、上述したようなモニタリング機能、キャプチャ機能、電子ズーム機能、オートフォーカス機能等の各種機能（入力モード）を規定するためのパターン選択管理ファイルを説明するためのものである。この図７には、例えば上記図４に示したような機能（入力モード）Ｍを実現するためのパターン選択管理ファイルの例が示されている。すなわち、図７のパターン選択管理ファイルの内容として、図４に示した各ライン毎の動作モード（転送モード）に切り換えるために、垂直同期信号ＶＤからのライン数の１〜１５ラインに対しては高速掃き出し転送モードのパターンファイルＰＴＦ１が選択され、１６〜１８ラインに対しては電荷読み出し転送モードのパターンファイルＰＴＦ２が選択され、１９〜２４ラインに対してはフレームシフト転送モードのパターンファイルＰＴＦ３が選択され、その他は通常読み出し転送モードのパターンファイルＰＴＦ４が選択されるように記述されている。上記高速掃き出し転送モードのパターンファイルＰＴＦ１には、高速掃き出し転送モードの期待値波形を示すパターンＰ１と、この高速掃き出し転送モードのとき遷移可能な機能（入力モード）Ａ，Ｂの各情報が記述され、上記電荷読み出し転送モードのパターンファイルＰＴＦ２には、電荷読み出し転送モードの期待値波形を示すパターンＰ２と、この電荷読み出し転送モードのとき遷移可能な機能（入力モード）Ａ，Ｂ，Ｃの各情報が記述され、上記フレームシフト転送モードのパターンファイルＰＴＦ３には、フレームシフト転送モードの期待値波形を示すパターンＰ３と、このフレームシフト転送モードのとき遷移可能な機能（入力モード）Ａ，Ｂの各情報が記述され、上記通常読み出し転送モードのパターンファイルＰＴＦ４には、通常読み出し転送モードの期待値波形を示すパターンＰ４と、この電荷読み出し転送モードのとき遷移可能な機能（入力モード）Ａの各情報が記述されている。従って、パターン選択管理ファイルにより順次選択されるの記述内容に基づいて全体の出力期待値の波形を生成する。このとき生成される出力期待値の波形としては、ツールまたはプログラミング言語を用い、０，１のデータ列で表されたテストパターンに変換可能である。この０，１のデータ列で表された出力期待値は、設計された論理回路に入力が供給されたときのシミュレーション出力波形と比較されるものである。
【００３２】
次に図８は、いくつかのパターン選択管理ファイルＦＡ，ＦＢ，ＦＣの例を示している。パターン選択管理ファイルＦＡは、機能（入力モード）Ａの出力期待値を生成するためのものであり、垂直同期信号ＶＤからのライン数の１〜９ラインに対してパターンファイルＰＴＦＡ１が選択され、１０〜１１ラインに対してパターンファイルＰＴＦＡ２が選択され、１２〜２５ラインに対してパターンファイルＰＴＦＡ３が選択され、その他のライン（default）に対してパターンファイルＰＴＦＡ４が選択される。パターンファイルＰＴＦＡ１には、出力期待値の波形を示すパターンＰＡ１と、この動作モード時に遷移可能な機能（入力モード）Ａ，Ｂの各情報が記述され、パターンファイルＰＴＦＡ２には、出力期待値の波形を示すパターンＰＡ２と、この動作モード時に遷移可能な機能（入力モード）Ａの各情報が記述され、パターンファイルＰＴＦＡ３には、出力期待値の波形を示すパターンＰＡ３と、この動作モード時に遷移可能な機能（入力モード）Ａ，Ｂの各情報が記述され、パターンファイルＰＴＦＡ４には、出力期待値の波形を示すパターンＰＡ４と、この動作モード時に遷移可能な機能（入力モード）Ａ，Ｂ，Ｃの各情報が記述されている。また、パターン選択管理ファイルＦＢ，ＦＣも同様であり、それぞれの機能（入力モード）Ｂ，Ｃの出力期待値を生成するためのパターンファイルが各ライン毎に記述され、各パターンファイルには、出力期待値の波形を示すパターン及び遷移可能な機能（入力モード）の各情報が記述されている。
【００３３】
図９は、上記パターン選択管理ファイルＦＡにより生成される機能（入力モード）Ａにおける出力期待値波形のタイミングチャートを示す。先に述べたように、予め登録した波形パターンを選択し、出力期待値波形を生成する。すなわち、垂直同期信号ＶＤからのライン数の１〜９ラインでパターンＰＡ１の期待値波形が生成され、１０〜１１ラインでパターンＰＡ２の期待値波形が生成され、１２〜２５ラインでパターンＰＡ３の期待値波形が生成され、２６ライン以降でパターンＰＡ４の期待値波形が生成される。また、各パターンに対応する動作モード（転送モード）毎に遷移可能な機能（入力モード）が規定されており、パターンＰＡ１に対応する動作モードでは機能Ａ，Ｂ、パターンＰＡ２に対応する動作モードでは機能Ａ、パターンＰＡ３に対応する動作モードでは機能Ａ，Ｂ、パターンＰＡ４に対応する動作モードでは機能Ａ，Ｂ，Ｃとなっている。このような機能（入力モード）Ａが選択されているときに、他の機能（入力モード）に切り換えられたときの動作について説明する。
【００３４】
図１０は、時刻ｔ１１から機能Ａが選択指定されているとき、時刻ｔ１２で機能（入力モード）Ｂが選択指定された場合を示す。この時刻ｔ１２は、上記パターンＰＡ３に対応する動作モードの期間中であるものとするとき、パターンファイルＰＴＦＡ３より、遷移可能な機能（入力モード）は機能Ａ，Ｂであるため、この時刻ｔ１２の直後の水平同期信号の時刻ｔ１３で直ちに機能Ｂに遷移している。
【００３５】
これに対して、図１１に示すように、時刻ｔ１２で機能（入力モード）Ｃが選択指定された場合には、このときのパターンファイルＰＴＦＡ３より、上記パターンＰＡ３に対応する動作モードにて遷移可能な機能（入力モード）は機能Ａ，Ｂのみであるため、このパターンＰＡ３に対応する動作モードが終了する２５ラインまでは機能（入力モード）Ｃへの遷移が行えず、次のパターンＰＡ４に対応する動作モード（パターンファイルＰＴＦＡ４より遷移可能な機能はＡ，Ｂ，Ｃ）が開始される２６ラインの時刻ｔ１４で初めて機能Ｃに遷移することができる。
【００３６】
このように、機能（入力モード）の遷移は上述したようにＣＣＤが使用されるカメラの仕様等により異なり、様々な組み合わせが存在し、一様ではなく、仕様／動作、入力パターンに合わせファイル選択させる必要がある。
【００３７】
ここで図１２は、時刻ｔ２１から機能（入力モード）Ａが選択指定されているとき、時刻ｔ２２で機能Ｃが選択指定され、時刻ｔ２４で機能Ｂが選択指定された場合の例を示している。すなわち、この図１２の例では、設計検証において、上記水平同期信号ＨＤ、垂直同期信号ＶＤにそれぞれ対応する任意入力パターンＨＲ、ＶＲを作成し、動作基準となるＨＲライン毎にモード状態をポーリングし、モード情報を把握するようにしている。上記各機能（入力モード）Ａ，Ｂ，Ｃは、カメラ使用時にユーザの手動操作によりあるいはタイマ等の自動操作により切り換えられるものであり、任意のタイミングで外部トリガとして上記ＣＣＤ−ＴＧに機能切換制御信号が供給されることにより選択されるものである。
【００３８】
図１２の例において、時刻ｔ２１からの機能Ａの実現中は、上記パターン選択管理ファイルＦＡにより、１〜９ラインでパターンＰＡ１の期待値波形が生成され、１０〜１１ラインでパターンＰＡ２の期待値波形が生成され、１２ラインからパターンＰＡ３の期待値波形が生成されるが、このパターンＰＡ３の期待値波形が生成されている途中の時刻ｔ２２で機能Ｃが選択指定されると、パターンＰＡ３に対応する動作モードにて遷移可能な機能（入力モード）は機能Ａ，Ｂのみであることから、機能Ｃへの遷移は許可されず、パターンＰＡ３の期待値波形生成が続行される。そして、２５ラインまでパターンＰＡ３の期待値波形が生成されると、時刻ｔ２３から次のパターンＰＡ４の期待値波形に移行するが、このパターンＰＡ４に対応する動作モードにおいて遷移可能な機能はＡ，Ｂ，Ｃであるため、現在選択されている機能Ｃへの遷移が可能となり、この時刻ｔ２３から機能Ｃの最初のパターンＰＣ１の期待値波形の生成が開始される。このパターンＰＣ１の期待値波形の生成中の時刻ｔ２４で機能Ｂが選択指定されたとき、パターンＰＣ１に対応する動作モードにて遷移可能な機能（入力モード）に機能Ｂが含まれていれば、直ちに機能Ｂに遷移することができる。
【００３９】
また、図１３は、パターン選択管理ファイルに記述されたパターンファイルを順次読み出して実行することにより出力期待値波形を生成する際の動作を模式的に示したものである。この図１３において、機能Ａが時刻ｔ３１から選択指定されることによりパターン選択管理ファイルＦＡの最初のパターンファイルＰＴＦＡ１から順次読み出されてパターンＰＡ１の期待値波形が生成され、次のパターンファイルＰＴＦＡ２が読み出されてパターンＰＡ２の期待値波形が生成されている途中の時刻ｔ３２で機能Ｂが選択指定されたとき、このパターンＰＡ２に対応する動作モードにて遷移可能な機能（入力モード）は機能Ａのみであることから、機能Ｂへの遷移は許可されない。パターンＰＡ２の期待値波形が生成終了すると時刻ｔ３３から次のパターンファイルＰＴＦＡ３が読み出されるが、このときのパターンＰＡ３に対応する動作モードにて遷移可能な機能はＡ，Ｂであるため、機能Ｂへの遷移が許可され、パターン選択管理ファイルＦＢの最初のパターンファイルＰＴＦＢ１から順次読み出されてパターンＰＢ１の期待値波形が生成される。このパターンＰＢ１の期待値波形が生成されている途中の時刻ｔ３４で機能Ａが選択指定されたとき、パターンＰＢ１に対応する動作モードにて遷移可能な機能にＡが含まれていれば直ちに機能Ａに遷移し、パターン選択管理ファイルＦＡの最初のパターンファイルＰＴＦＡ１から順次読み出されて期待値波形の生成が行われる。
【００４０】
このようにシミュレーション前に動作モード毎の基本波形のパターンファイルに遷移可能な機能を示す情報を付加することにより、ランダムで生成した機能（入力モード）選択パターンに対しても、自動で全体の期待値波形を生成することができ、様々なパターンにおける検証が容易になる。すなわち、設計検証において、期待値波形パターン（パターンファイル）を領域毎に予め生成し、かつ機能（入力モード）遷移情報を付加することにより、ランダムな入力パターンに対し、自動で期待値の生成が可能になり、検証効率の向上が見込める。
【００４１】
ここで、本発明の実施の形態となる論理回路検証方法の全体の流れについて、図１４のフローチャートを参照しながら説明する。
【００４２】
この図１４のフローチャートにおいて、最初のステップＳ１では、上記動作モード（転送モード）が同じ領域毎にまとめられた出力期待値の波形パターンの情報及び当該動作モードにおいて遷移可能な機能を示す情報を含むパターンファイルと、このパターンファイルを順次選択することにより上記機能を実現するための出力期待値の波形を生成するためのパターン選択管理ファイルとを作成し登録する。次のステップＳ２では、論理回路に対する入力として順次切換選択される機能（入力モード）を指定する。次のステップＳ３では、選択指定された機能に対応する上記パターン選択管理ファイルにより順次選択される上記パターンファイルに基づく動作モードの出力期待値波形を生成すると共に、当該動作モードにおける遷移可能な機能を判断しながら機能遷移を制御し、有効な機能遷移が行われた状態での全体的な出力期待値波形を生成する。次のステップＳ４では、生成された出力期待値波形と、上記設計された論理回路のシミュレートにより得られる出力波形とを比較することにより検証（論理回路検証）を行う。
【００４３】
さらに、論理回路検証により不具合が生じた場合に、その検証結果を反映して論理回路設計をやり直すこと等が行われるわけであるが、これは従来と同様であるため説明を省略している。
【００４４】
上述したような本発明の実施の形態によれば、簡単な構成により、任意のタイミングで機能（入力モード）が選択指定された場合でも、そのタイミングにおける動作モード（転送モード）での遷移可能な機能を判断しながら、有効な出力期待値波形を容易に自動生成することができる。
【００４５】
なお、本発明は上述した実施の形態のみに限定されるものではなく、例えば、上述した実施の形態においては、論理回路検証の対象となる論理回路としてＣＣＤを駆動するためのタイミングジェネレータ（ＣＣＤ−ＴＧ）を用いているが、これ以外にも種々の論理回路の設計検証に本発明を適用することができる。この他、本発明の要旨を逸脱しない範囲において種々の変更が可能であることは勿論である。
【図面の簡単な説明】
【００４６】
【図１】本発明の実施の形態における論理回路検証に用いられるＣＣＤおよびＣＣＤを駆動するためのタイミングジェネレータ（ＣＣＤ−ＴＧ）を概略的に示すブロック図である。
【図２】機能（入力モード）Ｍが選択されているときのＣＣＤ駆動信号の一例を示すタイミングチャートである。
【図３】機能Ｍが選択されているときのフレームシフト転送モードの期間中に機能が切り換えられて垂直同期信号ＶＤが入力された例を示すタイミングチャートである。
【図４】機能Ｍが選択されているときのＣＣＤ駆動信号の動作モード（転送モード）が同じ領域毎に作成されるパターンファイルを説明するためのタイミングチャートである。
【図５】高速掃き出し転送モードの動作時の駆動パルスの波形パターンの具体例を示すタイミングチャートである。
【図６】通常読み出し転送モードの動作時の駆動パルスの波形パターンの具体例を示すタイミングチャートである。
【図７】パターン登録されたパターンファイルＰＴＦを用いて各種機能（入力モード）を規定するためのパターン選択管理ファイルを説明するための図である。
【図８】パターン選択管理ファイルのいくつかの具体例を示す図である。
【図９】パターン選択管理ファイルＦＡにより生成される機能（入力モード）Ａにおける出力期待値波形を示すタイミングチャートである。
【図１０】時刻ｔ１１から機能Ａが選択されているとき、時刻ｔ１２で機能Ｂが選択された場合を示すタイミングチャートである。
【図１１】時刻ｔ１１から機能Ａが選択されているとき、時刻ｔ１２で機能Ｃが選択された場合を示すタイミングチャートである。
【図１２】機能Ａが選択されているとき、機能Ｃ、機能Ｂの順に選択がされた場合を示すタイミングチャートである。
【図１３】パターン選択管理ファイルに記述されたパターンファイルを順次読み出して実行することにより出力期待値波形を生成する動作を模式的に示す説明図である。
【図１４】本発明の実施の形態となる論理回路検証方法の全体の流れを概略的に説明するためのフローチャートである。
【符号の説明】
【００４７】
１０  ＣＣＤ、  １１  撮像部、  １２  受光部（画素）、  １３  垂直転送部、  １４  水平転送部、  １６  タイミングジェネレータ（ＣＣＤ−ＴＧ）
【図１】
2005316752.tif 000003
【図２】
2005316752.tif 000004
【図３】
2005316752.tif 000005
【図４】
2005316752.tif 000006
【図５】
2005316752.tif 000007
【図６】
2005316752.tif 000008
【図７】
2005316752.tif 000009
【図８】
2005316752.tif 000010
【図９】
2005316752.tif 000011
【図１０】
2005316752.tif 000012
【図１１】
2005316752.tif 000013
【図１２】
2005316752.tif 000014
【図１３】
2005316752.tif 000015
【図１４】
2005316752.tif 000016