JP4561533B2 - 検証シミュレータ及び検証シミュレーション方法 - Google Patents

Description

本発明は、検証シミュレータ及び検証シミュレーション方法に関する。

液晶パネルなどの表示パネルを駆動するデバイスとして表示ドライバ（ＬＣＤドライバ）がある。この表示ドライバでは、実際にその製造を開始する前に、動作確認のための検証シミュレーションが必要になる。そしてこれまでの検証シミュレーション手法では、シミュレーション結果である信号波形を出力して、表示ドライバの動作確認を行っていた。

この場合、表示ドライバが含むロジック回路単体の検証については、信号波形による確認でも、ある程度対処できる。しかしながら、表示ドライバのＩＣ全体の検証においては、信号波形を表示するだけで正常動作を確認するのは困難である。また表示ドライバが含むアナログ回路の制御には、複数の制御信号が用いられるため、信号波形の目視確認だけでは、バグの発見が複雑且つ困難であり、また全ての信号波形を目視確認する作業は容易ではない。
特開平１１−２５１４０号公報

本発明は、以上のような技術的課題に鑑みてなされたものであり、その目的とするところは、バグの発見や検証作業を容易化できる検証シミュレータ及び検証シミュレーション方法を提供することにある。

本発明に係る検証シミュレータは、デバイスの動作が記述されたモデルの情報を記憶する記憶部と、前記モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部とを含み、前記モデルは、表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルとを含み、前記シミュレーション処理部は、前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力する検証シミュレータに関係する。

本発明によれば、テスト入力情報と表示ドライバモデルと表示パネルモデルに基づいてシミュレーション処理が行われ、シミュレーション結果データが画像データファイルにフォーマット変換されて出力される。この場合、画像データファイルは、表示パネルに表示されるべき画像を表示装置に表示するためのファイルになっている。従って、設計者は、この画像データファイルに基づいて表示装置に画像を表示することで、表示ドライバの動作を検証できるようになる。従って設計者は、シミュレーション結果を、表示画像という形で視覚的に瞬時に捉えることが可能になるため、バグ発見や検証作業を容易化できる。

また本発明では、前記シミュレーション処理部は、前記表示ドライバモデルからの走査信号のデータとデータ信号のデータに基づいて、前記表示パネルの各画素の画像データを求め、求められた各画素の画像データを含む前記画像データファイルを作成するようにしてもよい。

このようにすれば、表示ドライバモデルからの走査信号のデータやデータ信号のデータも加味して、画像データファイルが作成されるようになる。従って、表示パネルのモデルを加えた実装イメージでのシステムシミュレーションを実現できる。

また本発明では、前記表示ドライバモデルからのデータ信号のデータには付加データが付加され、前記シミュレーション処理部は、前記表示ドライバモデルからの前記走査信号のデータと前記データ信号のデータと前記付加データに基づいて、前記表示パネルの各画素の画像データを求めるようにしてもよい。

このようにすれば、付加データに基づいて、その付加データと対となるデータ信号のデータに対して、種々の変換処理を施すことが可能になり、シミュレーション処理の効率化を図れる。

また本発明では、前記付加データは、ＲＧＢ識別データ及び極性反転識別データの少なくとも１つを含むようにしてもよい。

但し付加データはＲＧＢ識別データや極性反転識別データだけに限定されるものではない。

また本発明では、前記表示ドライバモデルは、表示制御信号を生成するロジック回路の動作が記述されたロジック回路モデルを含み、前記シミュレーション処理部は、前記ロジック回路モデルとして前記ロジック回路のネットリストを使用するようにしてもよい。

このようにすれば、様々な仕様の表示ドライバに対して本発明の検証シミュレーション手法を容易に適用できるようになる。

また本発明では、前記モデルは、前記表示ドライバの外部デバイスが含む外部インターフェース回路の動作が記述された外部インターフェース回路モデルを含み、前記テスト入力情報は、前記表示ドライバのレジスタに設定されるべきコマンドが記述されたコマンドファイルを含み、前記シミュレーション処理部は、前記コマンドファイルを前記外部インターフェース回路モデルに入力し、前記コマンドファイルに基づき前記外部インターフェース回路モデルにより生成された所与の形式のインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うようにしてもよい。

このようにすれば、コマンドが羅列されたコマンドファイルを作成するだけで、様々な形式のインターフェース信号のデータが生成されて表示ドライバモデルに入力されるようになり、テスト入力情報の作成を容易化できる。

また本発明では、前記インターフェース信号は、ＭＰＵインターフェース信号、ＲＧＢインターフェース信号、シリアルインターフェース信号及びＹＵＶインターフェース信号の少なくとも１つを含み、前記シミュレーション処理部は、前記外部インターフェース回路モデルにより生成された前記ＭＰＵインターフェース信号、前記ＲＧＢインターフェース信号、前記シリアルインターフェース信号及び前記ＹＵＶインターフェース信号の少なくとも１つのインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うようにしてもよい。

また本発明は、前記コマンドファイルは、インターフェースモード指定コマンドを含み、前記シミュレーション処理部は、前記インターフェースモード指定コマンドで指定される形式のインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うようにしてもよい。

このようにすれば、インターフェースモード指定コマンドを変更するだけで、同じ画像データを用いながらも、様々な形式のインターフェース信号のデータを生成して、表示ドライバモデルに入力できるようになる。

また本発明では、前記表示ドライバモデルは、データ信号を出力するデータドライバの動作が記述されたデータドライバモデルを含み、前記シミュレーション処理部は、各データ線毎にＮビット（Ｎ＞２）のデータ信号のデータを、前記データドライバモデルから前記表示パネルモデルに入力するシミュレーション処理を行うようにしてもよい。

このようにすれば、表示ドライバがアナログ回路を含む場合にも、デジタル論理シミュレーションにより表示ドライバの動作を検証できるようになる。

また本発明では、前記表示ドライバモデルは、画像データである階調データを記憶する表示メモリの動作が記述された表示メモリモデルを含み、前記シミュレーション処理部は、前記表示メモリモデルからのＮビットの階調データを、各データ線毎に設けられた前記データドライバモデルの各内部レジスタに格納し、前記各内部レジスタに格納されたＮビットの階調データをデータ信号のデータとして、前記表示パネルモデルに入力するシミュレーション処理を行うようにしてもよい。

このようにすれば、仮想的な内部レジスタを設けるだけで、データドライバのアナログ動作を擬似的にシミュレーションできるようになる。従って、簡素なモデルを使用しながらも、アナログ制御動作などをデジタル論理シミュレーションで検証でき、検証効率を向上できる。

また本発明では、前記モデルは、前記表示ドライバモデルと前記表示パネルモデルとの間に仮想的に設けられたソケットモデルを含み、前記表示ドライバモデルは、階調電圧を生成する階調電圧生成回路の動作が記述された階調電圧生成回路モデルと、生成された階調電圧に基づいてデータ信号を出力するデータドライバの動作が記述されたデータドライバモデルを含み、前記シミュレーション処理部は、前記ソケットモデルにより生成されたシリアルの階調電圧データを前記階調電圧生成回路モデルを介して前記データドライバモデルに入力し、前記データドライバモデルからのシリアルのデータをソケットモデルに入力してパラレルのデータに変換し、変換により得られたパラレルのデータをデータ信号のデータとして前記表示パネルモデルに入力するシミュレーション処理を行うようにしてもよい。

このようにすれば、アナログの動作モデルの不具合を原因とするシミュレーションの誤動作を効果的に防止できる。そして階調電圧生成回路やデータドライバを実回路レベルで正確に検証することが可能になる。

また本発明は、デバイスの動作が記述されたモデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行う検証シミュレーション方法であって、前記モデルは、表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルとを含み、前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力する検証シミュレーション方法に関係する。

以下、本発明の好適な実施の形態について詳細に説明する。なお以下に説明する本実施形態は特許請求の範囲に記載された本発明の内容を不当に限定するものではなく、本実施形態で説明される構成の全てが本発明の解決手段として必須であるとは限らない。

１．表示ドライバ
図１に、本実施形態の検証シミュレータの検証対象デバイスである表示ドライバ５１０の構成例を示す。なお表示ドライバ５１０の構成は図１に限定されるものではなく、種々の変形実施が可能である。

表示パネル５１２は、複数のデータ線（ソース線）と、複数の走査線（ゲート線）と、データ線及び走査線により特定される複数の画素を有する。そして各画素領域における電気光学素子（狭義には、液晶素子）の光学特性を変化させることで、表示動作を実現する。この表示パネル５１２は、ＴＦＴ、ＴＦＤなどのスイッチング素子を用いたアクティブマトリクス方式のパネルにより構成できる。なお表示パネル５１２は、アクティブマトリクス方式以外のパネルであってもよいし、液晶パネル以外のパネル（有機ＥＬパネル等）であってもよい。

表示メモリ５２０（ＲＡＭ）は画像データを記憶する。メモリセルアレイ５２２は複数のメモリセルを含み、少なくとも１フレーム（１画面）分の画像データ（表示データ）を記憶する。ローアドレスデコーダ５２４（ＭＰＵ／ＬＣＤローアドレスデコーダ）はローアドレスについてのデコード処理を行い、メモリセルアレイ５２２のワード線の選択処理を行う。カラムアドレスデコーダ５２６（ＭＰＵカラムアドレスデコーダ）はカラムアドレスについてのデコード処理を行い、メモリセルアレイ５２２のビット線の選択処理を行う。ライト／リード回路５２８（ＭＰＵライト／リード回路）はメモリセルアレイ５２２への画像データのライト処理や、メモリセルアレイ５２２からの画像データのリード処理を行う。

ロジック回路５４０（例えば自動配置配線回路）は、表示タイミングやデータ処理タイミングを制御するための表示制御信号を生成する。このロジック回路５４０は例えばゲートアレイ（Ｇ／Ａ）などの自動配置配線により形成できる。制御回路５４２は各種制御信号を生成したり、装置全体の制御を行う。表示タイミング制御回路５４４は表示タイミングの制御信号を生成し、表示メモリ５２０から表示パネル５１２側への画像データの読み出しを制御する。

内部インターフェース回路５４５（ドライバ側インターフェース回路）は、外部デバイス（ホストデバイス等）とのインターフェース処理を行う回路であり、ホストインターフェース回路５４６、ＲＧＢインターフェース回路５４８を含む。ホスト（ＭＰＵ）インターフェース回路５４６は、ホストからのアクセス毎に内部パルスを発生して表示メモリ５２０にアクセスするホストインターフェースを実現する。ＲＧＢインターフェース回路５４８は、ドットクロックにより動画のＲＧＢデータを表示メモリ５２０に書き込むＲＧＢインターフェースを実現する。なおホストインターフェース回路５４６、ＲＧＢインターフェース回路５４８のいずれか一方のみを設ける構成としてもよい。或いは、カメラデバイス等とのインターフェースを実現するＹＵＶインターフェース回路を設けてもよい。或いは、シリアルバスを介した高速シリアル転送を実現する高速シリアルインターフェース回路を設けてもよい。この高速シリアル転送では、シリアルバスの差動信号線を電流駆動又は電圧駆動することにより、外部デバイス（ホストデバイス等）との間での高速シリアル転送が実現される。

データドライバ５５０は、表示パネル５１２のデータ線を駆動するためのデータ信号を生成する回路である。具体的にはデータドライバ５５０は、表示メモリ５２０から画像データである階調データを受け、階調電圧生成回路６１０から複数（例えば６４段階）の階調電圧（基準電圧）を受ける。そして、これらの複数の階調電圧の中から、階調データに対応する電圧を選択して、データ信号（データ電圧）として表示パネル５１２の各データ線に出力する。

走査ドライバ５７０は表示パネルの走査線を駆動するための走査信号を生成する回路である。具体的には、内蔵するシフトレジスタにおいて信号（イネーブル入出力信号）を順次シフトし、このシフトされた信号をレベル変換した信号を、走査信号（走査電圧）として表示パネル５１２の各走査線に出力する。なお走査ドライバ５７０に、走査アドレス生成回路やアドレスデコーダを含ませ、走査アドレス生成回路が走査アドレスを生成して出力し、アドレスデコーダが走査アドレスのデコード処理を行うことで、走査信号を生成してもよい。

電源回路５９０は各種の電源電圧を生成する回路である。具体的には、入力電源電圧や内部電源電圧を、内蔵する昇圧回路が含む昇圧用キャパシタや昇圧用トランジスタを用いてチャージポンプ方式で昇圧する。そして昇圧により得られた電圧を電源電圧として、データドライバ５５０、走査ドライバ５７０、階調電圧生成回路６１０に供給する。

階調電圧生成回路６１０（γ補正回路）は階調電圧を生成する回路である。具体的には、内蔵する電圧分割回路（選択用電圧生成回路）が分割電圧を生成し、内蔵する階調電圧生成回路が、生成された分割電圧の中から例えば６４個（６４階調）の階調電圧を選択して、データドライバ５５０に出力する。

２．検証シミュレータ
図１に示す表示ドライバ５１０の動作を検証する場合に、これまでの検証シミュレーション手法では、シミュレーション結果として図２に示すような信号波形を出力していた。そして設計者がこの信号波形を目視することで、表示ドライバ５１０の動作が正常か否かを確認していた。例えばVerilog等の論理検証シミュレータにバイナリのテストパターンを入力し、シミュレーション結果であるバイナリの出力データを直接目視したり、波形表示ツールを用いてワークステーションの表示装置に出力データに対応する信号波形を表示することで、表示ドライバ５１０の動作を確認していた。

しかしながら、この手法では、バグ発見が複雑且つ困難であり、設計者の検証作業が繁雑化したり、バグ発生などのトラブルにより開発期間が長期化するなどの問題があった。

また、これまでの検証シミュレーション手法では、表示ドライバ５１０が含むロジック回路とアナログ回路の検証を、各々個別に行っていた。

しかしながら、この手法では、ロジック回路の単体検証だけではアナログ回路の制御が正常に行われているかを確実に検証することが難しいという問題があった。またレイアウト後のバックアノテーションを施したシミュレーションを実施することができなかった。

また、これまでの検証シミュレーション手法では、テストパターンとして手書きの信号レベルのテストパターンを使用していた。このため、検証作業が繁雑化したり、バグ発見率が高いテストパターンの作成が難しいなどの問題があった。

図３に、以上のような問題を解決できる本実施形態の検証シミュレータの構成例を示し、図４に、本実施形態の検証シミュレータのシミュレーション環境を示す。

図３において、記憶部２００は、表示ドライバ、表示パネル、外部デバイス（ホストデバイス）などのデバイスの動作が記述されたモデルの情報を記憶する。この記憶部２００の機能は、検証用のワークステーション（広義にはコンピュータシステム）に組み込まれるメモリ（ＲＡＭ）やハードディスクなどのハードウェアにより実現される。また記憶部２００にその情報が記憶されるモデルとしては、Verilogのビヘイビア（Behavior)モデルなどの抽象度が高いビヘイビアレベルのモデルや、ビヘイビアレベルより抽象度が低いＲＴＬ（Register Transfer Level）のモデルや、ＲＴＬよりも抽象度が低いネットリストなどの論理レベルのモデルを用いることができる。

シミュレーション処理部２１０（シミュレーション実行部）は、記憶部２００に記憶されたモデルと、テスト入力情報１５０とに基づいて、検証対象デバイスのシミュレーション処理を行う。このシミュレーション処理部２１０の機能は、検証用ワークシステムに組み込まれるＣＰＵなどのハードウェアと、検証用ソフトウェアにより実現できる。そして検証用ソフトウェアとしては、Verilogなどの論理シミュレーションのソフトウェアを使用してもよいし、ＳＰＩＣＥなどのアナログシミュレーションのソフトウェアを使用したり、論理シミュレーションのソフトウェアとアナログシミュレーションのソフトウェアを混在させたものを使用してもよい。

テスト入力情報１５０（テストベンチ、テストデータ）は、コマンドファイル１５２を含むことができる。このコマンドファイル１５２には、表示ドライバ（広義には検証対象デバイス）を動作させるためのコマンドとレジスタ（コマンドレジスタ）に設定されるべきパラメータが記述されている。即ちコマンドファイル１５２には、これらのコマンドが羅列されて記述される。またテスト入力情報１５０は、ＲＧＢデータなどの画像データ１５４を含むことができる。この画像データ１５４は、テスト入力用の画像データファイル１５６から抽出できる。

シミュレーション処理部２１０が出力する画像データファイル１６０は、テスト入力情報１５０が含む画像データ１５４により表示パネルに表示されるべき画像を、検証用ワークステーションの表示装置（ＣＲＴ、モニタ）に表示するためのものである。この画像データファイル１６０としては、ＡＳＣＩＩ形式で最も簡単なＰＰＭ（Portable Pix Map）の画像形式などを用いることができる。ＰＰＭを用いればＵＮＩＸ（登録商標）のユーティリティソフトなどにより、ワークステーションの表示装置に画像データを容易に表示できる。

図４に示すようにシミュレーション環境を構成するモデルとしては、表示ドライバの動作が記述された表示ドライバモデル１０や、表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデル９０がある。また表示ドライバの外部デバイスが含む外部インターフェース回路（ホスト側インターフェース回路）の動作が記述された外部インターフェース回路モデル１３０がある。なお表示ドライバの初期状態を設定するための不揮発性メモリ（ＥＥＰＲＯＭ）の動作が記述された不揮発性メモリモデルを用いてもよい。また外部インターフェース回路を含む外部デバイスとしては、ＭＰＵ（Micro Processor Unit）、ベースバンドエンジン、アプリケーションプロセッサ、画像処理コントローラ（表示コントローラ）などのデバイス（ホストデバイス）がある。

図４では表示ドライバモデル１０は、データ信号を出力するデータドライバの動作が記述されたデータドライバモデル２０を含む。また走査信号を出力する走査ドライバの動作が記述された走査ドライバモデル３０や、画像データである階調データを記憶する表示メモリの動作が記述された表示メモリモデル４０を含む。また表示ドライバモデル１０は、電源回路の動作が記述された電源回路モデル５０や、階調電圧を生成する階調電圧生成回路の動作が記述された階調電圧生成回路モデル６０や、表示制御信号を少なくとも生成するロジック回路の動作が記述されたロジック回路モデル７０を含む。またＭＰＵインターフェース回路やＲＧＢインターフェース回路やＹＵＶインターフェース回路や高速シリアルインターフェース回路などの内部インターフェース回路の動作が記述された内部インターフェース回路モデル８０を含む。

そして本実施形態では図３のシミュレーション処理部２１０が、テスト入力情報１５０と表示ドライバモデル１０と表示パネルモデル９０に基づいてシミュレーション処理を行う。そして、表示パネルに表示されるべき画像を検証用ワークステーションの表示装置に表示するための画像データファイル１６０に、シミュレーション結果データを変換して出力する。具体的にはシミュレーション処理部２１０は、表示ドライバモデル１０からのシミュレーション結果データである走査信号のデータとデータ信号のデータに基づいて、表示パネルの各画素の画像データ（各画素に表示すべき画像データ）を求める。そして求められた各画素の画像データを含む画像データファイル１６０を作成して出力する。この場合に、表示ドライバモデル１０からのデータ信号のデータには付加データが付加されていてもよい。そして表示ドライバモデル１０からの走査信号のデータとデータ信号のデータと付加データに基づいて、表示パネルの各画素の画像データを求めるようにしてもよい。この場合の付加データとしては、ＲＧＢ識別データや極性反転識別データなどが考えられる。

図４に示すように本実施形態によれば、表示パネルモデル９０、外部インターフェース回路モデル１３０などの周辺デバイスのモデルを加えた実装イメージでのシステムシミュレーションを実現できる。また表示ドライバ内部のアナログブロック（データドライバ、走査ドライバ、階調電圧生成回路、電源回路等）を、Verilogのビヘイビアモデルなどでモデル化している。またシミュレーション結果の変換を行い、表示イメージでの視覚検証を可能にしている。

具体的には外部インターフェース回路モデル１３０（ＭＰＵモデル）に、テストベンチとして記述されたコマンドファイル１５２（ＭＰＵコマンド）を入力し、外部インターフェース回路モデル１３０の変換処理により、ＭＰＵインターフェース信号やＲＧＢインターフェース信号などのインターフェース信号のデータを生成する。そして、表示ドライバモデル１０の端子に、インターフェース信号のバイナリデータを入力する。同様に、画面に表示させる画像データ１５４も、外部インターフェース回路モデル１３０を介して表示ドライバモデル１０に入力する。この画像データ１５４としては例えばＲＧＢフォーマットのデータを使用する。なおＹＵＶフォーマットのデータを使用してもよい。

また表示ドライバの内部ブロックは、ロジック回路（ゲートアレイ）以外は、アナログ回路を含むアナログブロックが大半を占める。そしてアナログブロックは、ネットリスト出力によるVerilogの論理シミュレーションでは正しい動作を検証できないため、ブロックレベルの動作を記述したVerilogのビヘイビアモデルを使用する。このアナログブロックのビヘイビアモデルの作り方により、アナログ動作の検証レベルが変わってくるが、本実施形態では、例えばパワーオンシーケンスなどのアナログ制御動作を、論理シミュレーションで検証可能にしている。

具体的にはアナログブロックのビヘイビアモデルの特殊表現としては以下のものがある。例えばデータドライバでは表示メモリからの階調データをＤ／Ａ変換して、階調電圧であるデータ電圧を発生させている。しかしながら、階調電圧値はアナログ値であり、論理シミュレーターでは表現できない。そこで図４では、表示メモリモデル４０からの画像データである例えば６ビット（広義にはＮビット）の各階調データを、データドライバモデル２０に設けられた仮想的な各内部レジスタに格納する。そして各内部レジスタに格納された階調データに対して変換処理（極性反転処理、ＲＧＢ反転処理或いは減色モード処理等）を行い、変換処理が行われた後の階調データを、データ信号のデータとして表示パネルモデル９０に入力する。

また表示パネルの走査信号に出力される走査電圧値はアナログ値であり、論理シミュレーションでは表現できない。そこで走査ドライバモデル３０では、走査電圧（選択電圧）の発生を論理「１」で表現している。

また昇圧動作による発生電圧の電位差はアナログ値であり、論理シミュレーションでは表現できない。そこで電源回路モデル５０では、昇圧条件を判定し、昇圧電圧の発生を論理「１」で表現している。即ち昇圧条件が満たされると、論理「１」を出力するようにしている。同様に抵抗分割により得られる階調電圧値はアナログ値であり、論理シミュレーションでは表現できない。そこで階調電圧生成回路モデル６０では、動作条件を判定し、階調電圧の発生を論理「１」で表現している。即ち動作条件が満たされると、論理「１」を出力するようにしている。そして電源回路や階調電圧生成回路が正常に動作していないと、これらの回路から信号を受けて動作するデータドライバや走査ドライバが動作しないように、データドライバや走査ドライバのビヘイビアモデルを作成する。即ち電源回路モデル５０や階調電圧生成回路モデル６０から論理「１」が出力されていないと動作を開始しないようなモデルに、データドライバモデル２０や走査ドライバモデル３０を作成する。こうすることで、パワーオンシーケンスなどのアナログ制御動作が、論理シミュレーションで検証可能になる。

なお図４では、ロジック回路モデル７０として、ロジック回路（ゲートアレイ）のネットリストを使用している。即ちロジック回路（図１の５４０）は、アナログ要素を含まず、ネットリストをそのままVerilog等の論理シミュレータに入力できる。またロジック回路の構成、動作は、仕様により随時変更される。従って、ロジック回路モデル７０については、ロジック回路のネットリストをそのまま使用してVerilog等の論理シミュレーションを行うようにする。こうすることでシミュレーション精度を向上できると共に、様々な仕様の表示ドライバに対して本実施形態の検証シミュレーション手法を容易に適用できるようになる。なお内部インターフェース回路モデル８０についても、少なくともその一部に内部インターフェース回路のネットリストを使用するようにしてもよい。

３．表示検証機能
さて、従来の検証シミュレーション手法では、図２に示すような信号波形を出力し、設計者がこれを目視で確認していた。しかしながら、このような信号波形の目視確認のみでは、バグ発見が複雑且つ困難であり、全ての信号波形を目視確認する作業も容易ではないという問題があった。

そこで本実施形態では図３、図４に示すように、シミュレーション結果データを、ワークステーションの表示装置に表示可能な形式の画像データファイル１６０に変換して出力し、これまでの検証シミュレータでは実現できなかった表示検証機能を実現している。

即ち本実施形態の表示パネルモデル９０では、表示ドライバモデル１０から入力されたデータを表示画像データに変換する処理が行われる。例えば図５に示すように、表示パネルモデル９０が、表示ドライバモデル１０からのシミュレーション結果であるデータ信号ＳＳ１、ＳＳ２、ＳＳ３・・・のデータと走査信号ＧＳ１、ＧＳ２・・・のデータを受ける。そしてこれらのデータに基づいて、表示パネルの各画素（データ信号と走査信号で特定される画素）での画像データを求め、求められた各画素での画像データを含む画像データファイル１６０を作成する。即ち図５に示すように表示パネルイメージの画像ダンプファイルを作成する。

より具体的には図５のＡ１、Ａ２に示すように、走査ドライバモデル３０からの走査信号の立ち下がりエッジをトリガとして、表示パネルモデル９０の内部レジスタが、階調データである画像データＲ［５：０］、Ｇ[５：０］、Ｂ［５：０］を表示ドライバモデル１０から取り込む。次に、コモン信号（信号ＦＲ）の極性（正極性、負極性）を判断して、内部レジスタに取り込まれた画像データの正転／反転処理を行う。次に、垂直同期信号（信号ＶＳＹＮＣ）をトリガとして、画像データファイル１６０を作成して、出力する。

図６に画像データファイル１６０の一例を示す。なお本実施形態の画像データファイル１６０は図６のフォーマットに限定されず、種々の変形実施が可能である。

図６の画像データファイル１６０は、ＰＰＭ（Portable Pix Map）と呼ばれるＡＳＣＩＩ形式で最も簡単な画像フォーマットのファイルである。具体的には画像データファイル１６０は、フォーマット識別子（Ｐ１：２値ＡＳＣＩＩ、Ｐ２：グレースケールＡＳＣＩＩ、Ｐ３：フルカラーＡＳＣＩＩ）、画像サイズ（横、縦）、階調数（最大色調値）、画像データ（１０進の階調値で表されたＲＧＢの画像データ）を含む。そしてシミュレーション終了後に、作成された画像データファイル１６０を、ＵＮＩＸ（登録商標）のユーティリティソフト等を用いてワークステーションの表示装置の画面に画像表示して、表示ドライバの動作検証を行う。

図７（Ａ）（Ｂ）に本実施形態の検証シミュレータの表示検証機能により発見されたバグの例を示す。例えば図７（Ａ）では、白黒のチェッカーパターンを表示した画面の最終表示ブロックが、緑色になってしまうという異常表示のバグが発生している。このバグは、ロジック回路（ゲートアレイ）により制御されるデータドライバのデータ信号が、最終表示ブロックの表示タイミングで出力されなかったことが原因で発生したものである。このようなバグは、図２のような信号波形の目視では到底発見することができない。

このような場合にも本実施形態の表示検証機能によれば、表示パネルの表示画像と同様の画像を表示装置に表示するための画像データファイル１６０に、シミュレーション結果データがフォーマット変換される。従って、ワークステーションの表示装置に表示される画像にも、図７と同様の異常な緑色表示が発生するようになるため、設計者はバグを確実且つ容易に発見できる。

また図７（Ｂ）では、通常の１画面表示であるべきものが２画面表示になってしまうバグが発生している。このバグは、コマンドにより上下駆動が選択されていたにもかかわらず、櫛歯駆動で表示させるデータが出力されていたため、発生したものである。具体的には、ハードリセットの解除時間が長すぎたため、表示ドライバへのコマンドが受け付けられず、駆動モード選択回路が正しく動作しなかったことが原因で、バグが発生した。

このような場合にも本実施形態の表示検証機能によれば、表示パネルの表示画像と同様の２画面表示画像がワークステーションの表示装置に表示されるようになるため、設計者はバグを確実且つ容易に発見できる。

これ以外にも例えば、ＲＧＢデータのＲデータが消失し、色褪せた画像が表示されてしまうようなバグについても、本実施形態の表示検証機能によれば確実且つ容易に発見できる。

以上のように、本実施形態の表示検証機能によれば、シミュレーション結果を、表示画像という形で視覚的に瞬時に捉えることが可能になる。また複雑な制御信号の全てを波形表示で目視確認しなくても済むため、設計効率を向上できる。また仕様を熟知した設計者でも発見が困難なバグについても、発見が可能になる。また細かな動作仕様を理解していない設計者でも検証作業に携わることが可能になり、作業の分業化が可能になる。このように本実施形態の表示検証機能によれば、信号波形を確認する手法に比べて検証精度の向上と検証作業の効率化を図れるという利点がある。

４．外部インターフェース回路モデル
これまでの検証シミュレーション手法では、論理検証言語の１つであるVerilogの記述を用いて、テストパターン（テスト入力情報）を（１、０）のバイナリデータで作成していた。或いは、テストパターンの信号タイミングをタスク記述し、それを繰り返し使用することで、信号入力の簡略化を図っていた。

しかしながら、検証対象デバイスである表示ドライバの仕様は、年々、複雑になって来ており、テストパターンをバイナリデータの信号入力で作成することは、非現実的になっている。またタスク記述を用いる手法においても、複数の形式のインターフェース信号の記述を個別に用意してしまうと、仕様毎に異なるテストパターンの記述が必要になってしまう。このためテストパターンの管理が煩雑化するなどの問題が生じる。

そこで本実施形態では図４に示すように、表示ドライバ（検証対象デバイス）の外部デバイス（ホストデバイス）が含む外部インターフェース回路の動作が記述された外部インターフェース回路モデル１３０を用意する。即ち内部インターフェース回路モデル８０に入力されるインターフェース信号を生成する外部インターフェース回路モデル１３０を用意する。またテスト入力情報１５０（テストベンチ）に、表示ドライバのレジスタに設定されるべきコマンドが記述されたコマンドファイル１５２を含ませる。

そしてコマンドファイル１５２を外部インターフェース回路モデル１３０に入力し、コマンドファイルに基づき外部インターフェース回路モデル１３０により生成されたインターフェース信号のデータ（バイナリデータ）を、表示ドライバモデル１０に入力するシミュレーション処理を行う。この場合、外部インターフェース回路モデル１３０によりデータを生成できるインターフェース信号としては、ＭＰＵインターフェース信号、ＲＧＢインターフェース信号がある。或いはシリアルインターフェース信号（ＣＭＯＳレベルのシリアルインターフェース信号、差動シリアルインターフェース信号）やＹＵＶインターフェース信号であってもよい。

例えば図８にコマンドファイル１５２の一例を示す。図８のＣ１に示すＩＭＯＤＥは、インターフェースモードを指定するコマンドである。外部インターフェース回路モデル１３０では、このＩＭＯＤＥで指定される形式のインターフェース信号のデータが生成され、表示ドライバモデル１０に入力される。例えば図８のＣ１では、１６ビットのバス幅で、ＲＡＭのリード、ライトが可能なＭＰＵインターフェース信号のモードが指定されている。

図８のＣ２に示すＣｍｄＶＤＤＯＮは、ＶＤＤのレギュレータを動作状態にし、内部の基準電圧発生回路を起動するためのコマンドである。Ｃ３に示すＣｍｄＳｏｆｔＲｅｓｅｔは、ハードリセットを行うことなくハードリセットと同様のリセット（ソフトリセット）を行うためのコマンドである。Ｃ４に示すＣｍｄＳｅｔＰｗｒＣｔｌは、電源回路の機能のオン、オフや能力を制御する電源設定を行うためのコマンドであり、電源設定の詳細についてはパラメータで指定される。Ｃ５に示すＣｍｄＳｅｔＰｔｌＰｗｒＣｔｌは、パーシャル表示時の非表示領域及びフロントポーチ期間の電源設定を行うためのコマンドであり、電源設定の詳細についてはパラメータで指定される。

Ｃ６に示すＣｍｄＳｅｔＳｃａｎＭｏｄは、走査ドライバのスキャンモードを設定するためのコマンドであり、例えばパラメータにより順方向スキャンや逆方向スキャンが設定される。Ｃ７に示すＣｍｄＳｅｔＡｌｔＤｒｖは、交流駆動の状態を設定するためのコマンドであり、例えばパラメータにより１ライン反転駆動、２ライン反転駆動、フレーム反転駆動、インターレス駆動が設定される。Ｃ８に示すＣｍｄＳｌｅｅｐＯｕｔは、自動オンシーケンスを実行するためのコマンドである。Ｃ９に示すＣｍｄＷｒＲａｍは、表示メモリであるＲＡＭへのライトコマンドである。Ｃ１０に示すＴａｓｋＦｉｌｌＭｅｍは画像データを指定して送るためのコマンドである。Ｃ１１に示すＣｍｄＯｎＤｉｓｐは、表示パネルをオンにするためのコマンドであり、このコマンドにより、表示メモリに格納された画像データが階調電圧に変換され、表示パネルへの画像表示が開始する。Ｃ１２、Ｃ１３に示すＣｍｄＰａｒｔｉａｌＩｎは、パーシャル表示状態の設定を行うためのコマンドであり、パラメータによりパーシャル開始ラインやパーシャル終了ラインなどが設定される。なおＣ１４、Ｃ１５はウェイト時間を指定するためのものである。

図８に示すようなコマンドファイル１５２に記述されたコマンドにより、表示ドライバ（検証対象デバイス）の動作モードが指定される。そして、これらのコマンドで指定される動作モードに表示ドライバを設定するためのインターフェース信号のデータが、表示ドライバモデル１０に入力されるようになる。

図９（Ａ）（Ｂ）にＭＰＵインターフェース信号の例を示す。図９（Ａ）はライト時の例であり、図９（Ｂ）はリード時の例である。図９（Ａ）（Ｂ）や図１０（Ａ）に示すように、データ／コマンド識別信号Ａ０が「０」（ローレベル）でライト信号ＸＷＲ（Ｘは負論理を表す）が「０」である場合には、コマンドライトが行われ、信号Ａ０が「０」でリード信号ＸＲＤが「０」である場合には、リビジョンリードが行われる。また信号Ａ０が「１」（ハイレベル）で信号ＸＷＲが「０」である場合には、ＲＡＭライト（表示メモリへの画像データのライト）又はコマンドパラメータのライトが行われ、信号Ａ０が「１」で信号ＸＲＤが「０」である場合には、ＲＡＭリード（表示メモリからの画像データのリード）が行われる。

図９（Ｃ）にシリアルインターフェース信号の例を示す。図９（Ｃ）はライト時のシリアルインターフェース信号の例である。図９（Ｃ）において、Ｄ／Ｃはデータとコマンドを識別を意味し、Ｃｎはコマンドのビットｎを意味する。またＰｎはコマンドパラメータのビットｎを意味する。９ビットのシリアルデータ（１パケット）の転送中は、チップセレクト信号ＸＣＳを「０」に保つ必要があり、１パケットの転送中に信号ＸＣＳを「１」にすると、転送中のパケットはキャンセルされる。そして再び信号ＸＣＳを「０」にすることで、パケットの再転送の受け付け状態になる。

図９（Ｄ）にＲＧＢインターフェース信号の例を示す。ＲＧＢインターフェースは動画表示に最適なインターフェースであり、表示メモリへの画像データのライトが行われる。図９（Ｄ）に示すように、ＲＧＢインターフェースでは、表示タイミング基準クロック信号にＤＯＴＣＬＫを用いる。また垂直同期信号ＶＳＹＮＣＩの立ち下がりエッジの検出後、水平同期信号ＨＳＹＮＣの立ち下がりエッジを検出した時点で、強制的にフレーム先頭（バックポーチの１ライン目）に同期を行う。バックポーチライン数、表示ライン数は、表示ドライバのレジスタへのコマンドで設定する。またＲＧＢインターフェースでは、信号ＶＳＹＮＣＩ、ＨＳＹＮＣ、ＥＮＡＢＬＥ、画像データＤ１７〜Ｄ０は、クロック信号ＤＯＴＣＬＫの立ち下がりエッジで読み込まれる。そして信号ＥＮＡＢＬＥが「０」の期間でのみ、１画素（ＲＧＢ）の画像データを表示メモリに書き込む。

なお外部インターフェース回路モデル１３０により生成できるインターフェース信号は、図９（Ａ）〜（Ｄ）に示すようなＭＰＵインターフェース信号、シリアルインターフェース信号、ＲＧＢインターフェース信号に限定されない。例えば図９（Ｅ）に示すようなＹＵＶインターフェース信号（カメラインターフェース信号）を生成するようにしてもよい。

図９（Ｅ）はカメラデータが８ビットのＹＵＶフォーマットである場合の信号ＣＭＶＲＥＦ、ＣＭＨＲＥＦ、ＣＭＤＡＴ［７：０］の波形例である。ここでＣＭＶＲＥＦ、ＣＭＨＲＥＦは、各々、垂直同期信号、水平同期信号に相当する。またカメラデータであるＣＭＤＡＴ［７：０］は、図示しないクロック信号ＣＭＣＬＫＩＮにより取り込まれる。

表示ドライバがＹＵＶ−ＲＧＢの変換回路を有する場合には図９（Ｅ）のＹＵＶインターフェース信号が用いられる。そしてカメラデバイスから出力されるＹＵＶデータを表示ドライバに入力し、表示ドライバのＹＵＶ−ＲＧＢ変換回路を用いてＲＧＢデータに変換して表示メモリに書き込む。

またシリアルインターフェース信号は図９（Ｃ）に示すようなＣＭＯＳ電圧レベルの信号に限定されず、差動信号等を用いた小振幅のシリアル信号（ＬＶＤＳ）であってもよい。これにより高速シリアル転送を実現できる。

即ち、一般的な携帯電話機は、電話番号入力や文字入力のためのボタンが設けられる第１の機器部分と、ＬＣＤ（Liquid Crystal Display ）やカメラデバイスが設けられる第２の機器部分と、第１、第２の機器部分を接続するヒンジなどの接続部分により構成される。従って、第１の機器部分に設けられる第１の回路基板と、第２の機器部分に設けられる第２の回路基板との間のデータ転送を、小振幅の差動信号を用いた高速シリアル転送により行えば、接続部分を通る配線の本数を減らすことができ、設計の自由度を広げることができると共に、ＥＭＩノイズの低減を図れる。

図１１（Ａ）（Ｂ）にＭＤＤＩ規格の高速シリアル転送手法の例を示す。なお本実施形態における高速シリアル転送手法は図１１（Ａ）（Ｂ）に限定されるものではなく、採用される規格に応じて種々の手法を採用できる。

図１１（Ａ）において、物理層回路３４０（トランシーバ）はホストデバイスに内蔵され、物理層回路３３０は表示ドライバに内蔵される。また３３６、３４２、３４４はトランスミッタ回路であり、３３２、３３４、３４６はレシーバ回路である。また３３８、３４８はウェイクアップ検出回路である。ホスト側のトランスミッタ回路３４２は差動ストローブ信号ＳＴＢ＋／−を駆動する。そしてクライアント側のレシーバ回路３３２は、駆動により抵抗ＲＴ１の両端に発生した電圧を増幅し、ストローブ信号ＳＴＢ＿Ｃを後段の回路に出力する。またホスト側のトランスミッタ回路３４４はデータ信号ＤＡＴＡ＋／−を駆動する。そしてクライアント側のレシーバ回路３３４は、駆動により抵抗ＲＴ２の両端に発生した電圧を増幅し、データ信号ＤＡＴＡ＿Ｃ＿ＨＣを後段の回路に出力する。

図１１（Ｂ）に示すように送信側は、データ信号ＤＡＴＡとクロック信号ＣＬＫの排他的論理和をとることで、ストローブ信号ＳＴＢを生成し、このＳＴＢを高速シリアルバスを介して受信側に送信する。そして受信側は、受信したデータ信号ＤＡＴＡとストローブ信号ＳＴＢとの排他的論理和をとることで、クロック信号ＣＬＫを再生する。

図１１（Ａ）で説明したような高速シリアルインターフェース回路を表示ドライバに内蔵させた場合、これをテストするために設計者は、図１１（Ｂ）に示すようなテストパターンを作成する必要がある。しかしながら、高速シリアル転送ではデータがシリアル化されて転送されるため、データの意味を設計者が直感的に認識することは難しく、有効なテストパターンの作成は困難である。

この点、本実施形態によれば、設計者が図８に示すようなコマンドファイルを作成して入力すれば、図１１（Ｂ）に示すような波形の高速シリアルインターフェース信号が自動的に生成されるようになるため、設計者の検証作業の労力を大幅に低減できる。

図１２（Ａ）（Ｂ）に外部インターフェース回路モデル１３０の構成例を示す。図１２（Ａ）は、図９（Ａ）（Ｂ）のＭＰＵインターフェース信号や図９（Ｃ）のシリアルインターフェース信号の生成を実現するモデルの例である。なお図９（Ｄ）のＲＧＢインターフェース信号の生成についても同様のモデルにより実現できる。

コマンド処理タスク部１３２は、テスト入力情報１５０（コマンドファイル、画像データ）に基づいてコマンドレベルのタスク処理を行う。具体的にはコマンドとパラメータの識別処理を行う。またインターフェースモード指定コマンド（ＩＭＯＤＥ）により指定されるインターフェースが、パラレル転送なのかシリアル転送なのかを識別したり、ライトなのかリードなのかを識別する処理を行う。

信号生成タスク部１３４は、コマンド処理タスク部１３２からの変数レベルでの入力を受け、信号レベルでの処理を行う。即ち入力されたコマンドファイルのコマンドや画像データに基づいて、タイミング等を考慮しながら、インターフェース信号ＸＣＳ、ＸＲＥＳ、Ａ０、ＸＲＤ、ＸＷＲ、ＩＦ１、ＩＦ２、ＩＦ３、ＤＡＴＡ［Ｎ：０］、ＳＣＬ、ＳＤに対してバイナリデータ「１」「０」の割り振りを行う。これにより図９（Ａ）（Ｂ）（Ｃ）に示すようなＭＰＵインターフェース信号、シリアルインターフェース信号のデータが生成されて、表示ドライバモデル１０に入力されるようになる。

なお図１０（Ｂ）にインターフェース選択信号ＩＦ１、ＩＦ２、ＩＦ３の意味を示す。例えば図８のＣ１に示すインターフェースモード指定コマンドＩＭＯＤＥにより、１６ビット幅のパラレル転送のインターフェースモードが指定されると、図１０（Ｂ）に示すように信号ＩＦ１、ＩＦ２、ＩＦ３が「０」に設定されて表示ドライバモデル１０に入力される。図１０（Ｂ）の１８ビットパラレル、８ビットパラレル、９ビットパラレル、９ビットシリアルについても同様である。

図１２（Ｂ）は、図１１（Ａ）（Ｂ）で説明した高速シリアルインターフェース信号の生成を実現するモデルの例である。

コマンド処理タスク部１３３は、テスト入力情報に基づいてコマンドレベルのタスク処理を行う。具体的には、レジスタアクセスパケット（コマンドやコマンドパラメータの転送用パケット）なのか、ビデオパケット（画像データ転送用パケット）なのかを識別する処理を行う。またライトなのかリードなのかを識別する処理を行う。

信号生成タスク部１３５は、コマンド処理タスク部１３３からの変数レベルでの入力を受け、信号レベルでの処理を行う。即ち入力されたコマンドファイルのコマンドや画像データに基づいて、タイミング等を考慮しながら、高速シリアルインターフェース信号ＤＡＴＡ＋、ＤＡＴＡ−、ＳＴＢ＋、ＳＴＢ−、ＥＮＡＢＬＥに対してバイナリデータ「１」「０」の割り振りを行う。これにより図１１（Ａ）（Ｂ）で説明した高速シリアルインターフェース信号のデータが生成されて、表示ドライバモデル１０に入力されるようになる。

以上のような外部インターフェース回路モデル１３０を用いる本実施形態の手法によれば以下の利点がある。即ちVerilog記述やタスク記述を用いてテストパターンを生成する手法では、検証対象デバイスの仕様が複雑になるにつれて、テストパターンの作成が非現実的になったり、テストパターンの管理が繁雑化するなどの問題があった。

これに対して外部インターフェース回路モデル１３０を用いる本実施形態の手法によれば、設計者が簡単なモード設定を行うことで、様々なＭＰＵタイプ（Ｃ８０系、６８系）、転送モード（パラレル転送、シリアル転送）、バス幅（８、９、１６、１８ビット）のインターフェース信号のデータが自動生成されて、表示ドライバモデル１０に入力されるようになる。従ってテスト入力情報（テストパターン）の作成の工数を大幅に減らすことができ、開発期間の短縮化を図れる。

また、設計者が、図８に示すようなコマンドが羅列されたコマンドファイルを作成するだけで、図９（Ａ）〜（Ｅ）に示すような様々なタイプのインターフェース信号が生成されるようになる。即ち設計者は、表示ドライバの設計仕様書に従ったコマンドを記述して、図８に示すようなコマンドファイルを作成するだけで、様々なタイプのインターフェース信号が自動生成される。従って設計者は、Verilogの記述フォーマットを熟知していなくても、容易にテスト入力情報を作成できるようになり、テスト入力情報の作成を容易化できる。

また同じ画像データを用いながら、コマンドファイルのコマンド記述を変えるだけで、異なる形式の様々なインターフェース信号のデータが自動生成されるようになるため、テスト入力情報の作成工数の更なる低減化を図れる。

５．内部レジスタを利用したシミュレーション
図１３にデータドライバ５５０、階調電圧生成回路６１０の詳細な構成例を示す。データドライバ５５０は、各データ線（ＳＳ１、ＳＳ２・・・）毎に設けられたドライバセル５５２を含む。そしてこのドライバセル５５２は、データラッチ＆変換回路５５４、制御回路５５６、Ｄ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２を含む。

データラッチ＆変換回路５５４は、表示メモリ５２０からの階調データＧＤ１［５：０］をラッチする。またデータラッチ＆変換回路５５４はＲＧＢ反転処理を行う。即ちＲＧＢデータの並びを、Ｒ、Ｇ、Ｂの順の並びからＢ、Ｇ、Ｒの順の並びに変更する処理などを行う。これにより、実装形態が異なる様々なタイプの表示パネルに対応できるようになる。

制御回路５５６は、Ｄ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２に対する各種の制御信号を生成したり、階調データに対するデータ変換処理を行う。具体的には、Ｄ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２への制御信号を用いて、パワーセーブ処理を行ったり、階調データに対する極性反転処理、減色モード処理を行う。例えば極性反転処理では、正極性期間で「６３」、「６２」、「６１」の階調データを、負極性期間では例えば「０」、「１」、「２」に設定する。また減色モードでは、階調データにより表現される表示色数を例えば８色に切り替える処理を行う。

Ｄ／Ａ変換回路５５８はデジタルの階調データをアナログのデータ電圧にＤ／Ａ変換する回路である。具体的には階調電圧生成回路６１０からの階調電圧の中から、デジタルの階調データに対応する電圧を選択することで、Ｄ／Ａ変換を実現する。

オペアンプ部５６０は、データ信号（データ電圧）のインピーダンス変換処理を行う。このオペアンプ部５６０は、例えばオペアンプＯＰ（演算増幅器）、スイッチング素子ＳＷを含む。例えばスイッチング素子ＳＷがオンになると、Ｄ／Ａ変換回路５５８によりデータ線ＳＳ１が直接駆動されるＤＡＣ駆動が行われる。これにより、ＤＡＣ駆動や、オペアンプ＋ＤＡＣ駆動が実現される。

出力回路５６２はデータ線ＳＳ１の電圧設定などを行う。例えば表示パネルの表示オフコマンドが入力された場合に、Ｄ／Ａ変換回路５５８やオペアンプ部５６０を用いてデータ線ＳＳ１の電圧を設定すると、電荷の充放電に時間がかかるため、データ線ＳＳ１の電圧がローレベル又はハイレベルに設定されるのに長時間を要してしまう。そこで、このような場合には、出力回路５６２が直接にデータ線ＳＳ１の電圧をローレベル又はハイレベルに設定する。このようにすれば、表示パネルの表示オフコマンドが入力された場合に、表示パネルを直ぐに白表示（ノーマリーホワイト液晶の場合）等にすることが可能になる。

階調電圧生成回路６１０（γ補正回路）は、電圧分割回路６１２（選択用電圧生成回路）、階調電圧選択回路６１４を含む。電圧分割回路６１２は、電源回路５９０（図１参照）で生成された高電圧の電源電圧ＶＤＤＨ、ＶＳＳＨに基づいて、分割電圧ＶＳ０〜ＶＳ２５５（選択用電圧）を出力する。具体的には電圧回路６１２は、直列に接続された複数の抵抗素子を有するラダー抵抗回路を含む。そしてＶＤＤＨ、ＶＳＳＨを、このラダー抵抗回路により分割した電圧を、分割電圧ＶＳ０〜ＶＳ２５５として出力する。階調電圧選択回路６１４は、ロジック回路５４０（図１参照）により調整レジスタ６１６に設定された階調特性の調整データに基づいて、分割電圧ＶＳ０〜ＶＳ２５５の中から、例えば６４階調の場合には６４個の電圧を選択して、階調電圧Ｖ０〜Ｖ６３として出力する。このようにすれば表示パネルに応じた最適な階調特性（γ補正特性）の階調電圧を生成できる。

さて図１３のデータドライバ５５０や階調電圧生成回路６１０はアナログ回路を含む。また階調電圧生成回路６１０により生成される階調電圧やデータ線ＳＳ１に出力されるデータ電圧は、アナログ値であり、デジタル論理シミュレーションでは表現できない。

そこで本実施形態では、データドライバ５５０や階調電圧生成回路６１０を、Verilogのビヘイビアモデルなどによりモデル化して、シミュレーション処理を行うようにしている。

具体的には図１４に示すように、各データ線毎に６ビット（広義にはＮビット。Ｎ＞２）のデータ信号のデータ（バイナリデータ）を、データドライバモデル２０から表示パネルモデル９０に入力するシミュレーション処理を行う。即ち実回路レベルのデータ線を介さずに、各データ線毎に６ビットのデータ信号のデータを表示パネルモデル９０に入力するようにする。このようにすれば、Verilogのようなデジタル論理シミュレーションを用いて、表示ドライバの検証を行うことが可能になり、表示ドライバの実動作に近い動作検証が可能になる。

更に具体的には図１４に示すように、データドライバモデル２０に仮想的な内部レジスタ２２を設ける。この内部レジスタ２２は、各データ線毎に設けられる６ビット（Ｎビット）のレジスタである。

そして表示メモリモデル４０からの６ビット（Ｎビット）の階調データを、各データ線毎に設けられた各内部レジスタ２２に格納し、格納された６ビットの階調データをデータ信号のデータとして、表示パネルモデル９０に入力するシミュレーション処理を行う。具体的には表示パネルモデル９０が、データドライバモデル２０の内部レジスタ２２のデータを参照する形態で、各データ線毎に６ビットのパラレルデータをデータドライバモデル２０から表示パネルモデル９０に転送する。このようなデータの参照による転送は、Verilog記述を利用して容易に実現できる。

図１４において表示パネルモデル９０は、データキャプチャ部９２、極性反転部９４、画像データファイル作成部９６を含む。

ここでデータキャプチャ部９２は、表示パネルの全ての画素分の内部レジスタ（全ての画素に対応する内部レジスタ）を有している。そして図５で説明したように表示ドライバモデル１０からの走査信号ＧＳ１のデータが「１」から「０」に変化すると、データキャプチャ部９２に設けられた全画素分の内部レジスタのうち、ＧＳ１に対応する内部レジスタに対して、データドライバモデル２０の内部レジスタ２２からのデータ（パラレルの階調データ）を格納してキャプチャする。同様に、表示ドライバモデル１０からの走査信号ＧＳ２のデータが「１」から「０」に変化すると、データキャプチャ部９２に設けられた全画素分の内部レジスタのうち、ＧＳ２に対応する内部レジスタに対して、データドライバモデル２０の内部レジスタ２２からのデータを格納してキャプチャする。

極性反転部９４は、表示ドライバモデル１０からの信号ＦＲ（極性反転信号）に基づいて、データキャプチャ部９２の内部レジスタに格納されたデータに対して極性反転処理を行う。即ち信号ＦＲの極性を判定してデータ（画像データ）の正転／反転処理を行う。そして画像データファイル作成部９６は、表示ドライバモデル１０からの信号ＶＳＹＮＣ（垂直同期信号）をトリガとして、画像データファイル１６０を生成して出力する。

図１５に、図１４のシミュレーション処理のフローチャートを示す。まず表示メモリモデル４０が階調データを出力する（ステップＳ１）。すると、Ｄ／Ａ変換回路やオペアンプ部用の制御信号をトリガとして、階調データを、データドライバモデル２０の内部レジスタ２２に格納する（ステップＳ２）。

次に内部レジスタ２２に格納された階調データに対してＲＧＢ反転処理、極性反転処理、減色モード処理などの変換処理を実行する（ステップＳ３）。即ち図１３のデータラッチ＆変換回路５５４で行われるＲＧＢ反転処理（ＲＧＢからＢＧＲに変換する処理）や、制御回路５５６で行われる極性反転処理、減色モード（８色モード）処理を実行する。そして変換処理後の階調データを、データ線出力端子に出力せずに内部レジスタ２２に格納する（ステップＳ４）。そして内部レジスタ２２を介して階調データを表示パネルモデル９０に渡す。

図１４、図１５の手法によれば、仮想的な内部レジスタ２２を設けるだけで、データドライバのアナログ動作を擬似的にシミュレーションできる。従って図４に示すような実装イメージでのシステムシミュレーションを、Verilogなどのデジタル論理シミュレーションを用いて実現できる。従って、簡素なモデルを使用しながらも、アナログ制御動作などをデジタル論理シミュレーションで検証できるようになり、検証効率を向上できる。

６．ソケットモデルを利用したシミュレーション
図１４、図１５の手法では、データドライバモデル２０として内部レジスタ２２を用いた簡素なモデルを使用できるという利点がある。しかしながら、データドライバの実回路のネットリストを使用していないため、検証精度の点で劣るという不利点がある。即ち、ビヘイビアモデル自身が疑似モデルである以上、設計者が表示ドライバの動作仕様を誤認したり、誤った動作モデルを作成してしまう可能性があり、検証の正当性を十分に保証できないという不利点がある。

一方、データドライバなどのアナログブロックの動作モデルを、アナログ記述言語ＡＨＤＬにより作成する手法も考えられる。この手法では、アナログブロックがアナログ的な振る舞いをするようになるため、アナログ動作の作り込みについては問題はなくなるが、モデルである以上、仕様の誤認という問題は残ってしまう。また図４に示すようなシステムシミュレーションを実現しようとした場合に、検証シミュレーションの形態を、デジタル論理シミュレーションからミックス・シグナルシミュレーションに切り替えなければならなくなる。そしてミックス・シグナルシミュレーションは、シミュレーション時間が膨大になるため、表示ドライバの全てのファンクションを検証するのには不向きである。

そこで図１６で説明する手法では、アナログブロックをデジタル論理シミュレーション用のネットリストで構成し、本来はアナログ値として扱われるべき階調電圧をシリアルデータとして扱うことで、表示ドライバの全体的なシステムシミュレーションをデジタル論理シミュレーションで実現している。

具体的にはデータドライバなどのアナログブロック全体をモデル化するのではなく、必要最小限のアナログ回路だけをモデル化する手法（部分モデル化）を採用する。アナログブロックといえども、内部の制御回路等はロジック回路で構成されているため、その部分はスケマチックより出力されたVerilogのネットリストを使用し、必要最小限のアナログ回路についてだけ擬似的な動作モデルを作成する。こうすれば、アナログモデルの単位が小さくなるため、仕様を誤認してモデル動作記述を行ってしまう確率も低くなり、検証精度を向上できる。

例えば図１３のデータドライバ５５０において、オペアンプ部５６０のオペアンプＯＰだけをVerilogのビヘイビアモデルで記述してシミュレーションを実行し、その他の回路（データラッチ＆変換回路、制御回路、Ｄ／Ａ変換回路、出力回路等）については、スケマチックより出力したVerilogのネットリストとVerilogのライブラリを使用してシミュレーションを実行する。この手法によれば、データドライバ５５０の内部の制御回路については、設計者が意図した動作を確実に行うようになるため、モデルに起因する異常動作はほとんど生じなくなり、検証精度を向上できる。

また、前述のように、階調電圧生成回路６１０からの階調電圧は、Verilogのデジタル論理シミュレーションでは表現できない。そこで階調電圧のデータとしてシリアルデータのフォーマットを使用して、データドライバモデル２０から出力できるようにするために、ソケットモデル１１０というモデルを導入する。そしてシリアルの階調電圧データをソケットモデル１１０内において階調電圧数分だけ生成し、そのシリアルの階調電圧データをラダー抵抗モデルを介して階調電圧生成回路モデル６０（γモデル）に供給する（仮想接続）。階調電圧生成回路モデル６０はデータドライバモデル２０に対して階調電圧を供給しているため、データドライバモデル２０は、階調電圧生成回路モデル６０からのシリアルの階調電圧データをハンドリングできる。そこで、階調電圧生成回路モデル６０から供給されたシリアル階調電圧データを、階調データに基づいてデータドライバモデル２０内において選択し、ソケットモデル１１０内でシリアル／パラレル変換を行い、表示パネルモデル９０に供給する。

具体的には図１６に示すように、表示ドライバモデル１０と表示パネルモデル９０との間に仮想的に設けられたソケットモデル１１０が用意される。このソケットモデル１１０（仮想接続モデル）は、表示ドライバモデル１０と表示パネルモデル９０を仮想的に接続するモデルである。

そしてソケットモデル１１０により生成されたシリアルの階調電圧データを階調電圧生成回路モデル６０を介してデータドライバモデル２０に入力する。そしてデータドライバモデル２０からのシリアルのデータをソケットモデル１１０に入力してパラレルのデータに変換し、変換により得られたパラレルのデータをデータ信号のデータとして表示パネルモデル９０に入力するシミュレーション処理を行う。

例えば図１６においてソケットモデル１１０は、シフト用クロック生成部１１２、クロック数カウント部１１４、シリアル階調電圧データ生成部１１６、シリアル／パラレル変換部１１８、内部レジスタ１２０を含む。シフト用クロック生成部１１２はシフト用クロックを生成し、クロック数カウント部１１４は、シフト用クロックのクロック数をカウントする。シリアル階調データ生成部１１６は、クロック数カウント部１１４からのカウント値に基づいて動作し、シリアルの階調電圧データを生成する。即ち階調電圧Ｖ０〜Ｖ６３の各々に対応するバイナリのシリアル階調電圧データを生成する。例えば階調電圧Ｖ０、Ｖ１、Ｖ２、Ｖ３に対応するシリアル階調電圧として、各々、（００００００）、（０００００１）、（００００１０）、（０００００１１）などを生成する。そして生成されたシリアル階調電圧データの各々を、Ｖ０〜Ｖ６３のノードの各々に供給する。これはVerilogを利用した仮想接続により実現できる。

ネットリストで構成されるＤ／Ａ変換回路５５８は、表示メモリモデル４０からの階調データに基づいて、Ｖ０〜Ｖ６３のノードのうち階調データに対応するノードを選択する。例えば正極性期間では、階調データが「６３」である場合にはＶ６３のノードが選択され、階調データが「６２」である場合にはＶ６２のノードが選択される。一方、極性反転の負極性期間では、階調データが「６３」である場合にはＶ０のノードが選択され、階調データが「６２」である場合にはＶ１のノードが選択される。そして、選択されたノードに供給されているシリアル階調電圧データが、Ｄ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２を介してデータ線に出力され、ソケットモデル１１０に再入力される。

ソケットモデル１１０のシリアル／パラレル変換回路１１８は、クロック数カウント部１１４からのカウント値に基づいて動作し、データ線に出力されたシリアル階調電圧データのシリアル／パラレル変換を行い、６４階調のパラレルデータに復元する。そして得られたパラレルデータは内部レジスタ１２０に格納される。そして内部レジスタ１２０に格納されたパラレルデータは、図１４、図１５で説明した手法と同様の手法で、ソケットモデル１１０から表示パネルモデル９０に転送される。即ち表示パネルモデル９０が内部レジスタ１２０を参照することで、内部レジスタ１２０のパラレルデータが、表示パネルモデル９０のデータキャプチャ部９２に設けられた内部レジスタに格納される。

なお、図１６では、クロック数カウント部１１４からのカウント値に基づいて、シリアル階調電圧データ生成部１１６とシリアル／パラレル変換部１１８が動作する。このようにすれば、シリアル階調電圧データ生成部１１６とシリアル／パラレル変換部１１８が同期して動作するようになり、適正なシリアル／パラレル変換を実現できる。即ちシリアル／パラレル変換部１１８は、データドライバモデル２０からのシリアルデータの区切り（シリアル階調電圧データと次のシリアル階調電圧データとの区切り）を適正に判断して、シリアル／パラレル変換を行えるようになる。

図１６の手法によれば、データドライバモデル２０の回路は、オペアンプなどの一部の回路を除いて、ネットリストにより構成される。従って、アナログ動作モデルの不具合を原因とするシミュレーションの誤動作を効果的に防止できる。また階調電圧データの信号を、階調電圧生成回路からデータドライバの回路を通った信号として観測できるため、階調電圧生成回路やデータドライバを実回路レベルで正確に検証できるようになる。

例えば表示パネルの表示オフコマンドが入力されると、出力回路５６２は、データ線ＳＳ１の電圧を直接にローレベル又はハイレベルに設定する動作を行う。この出力回路５６２の動作については、図１４、図１５の手法により検証することは難しい。

これに対して図１６の手法では、シリアル階調電圧データが、Ｖ０〜Ｖ６３のノードからＤ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２を介してデータ線に出力される。従って、表示オフコマンドの入力時における出力回路５６２の動作についても正確に検証できるようになり、検証精度を向上できる。

なお図１７（Ａ）に示すように、シリアル階調電圧データの作成時において、シリアル階調電圧データに対して付加データを付加するようにしてもよい。即ちシリアルデータとして、シリアル階調電圧データの他に付加データを準備し、シリアル階調電圧データと付加データとを合わせたパケットデータをソケットモデル１１０内にて生成する。具体的にはシリアル階調電圧データ生成部１１６がパケットデータを生成する。この場合の付加データは、例えばＲＧＢ識別データや極性反転識別データの少なくとも１つを含むことができる。ここでＲＧＢ識別データは、シリアル階調電圧データがＲ、Ｇ、Ｂデータのいずれなのかを識別するためのデータである。また極性反転識別データは、極性反転の正極性と負極性を識別するためのデータである。

そしてソケットモデル１１０からのシリアルの階調電圧データと付加データを、階調電圧生成回路モデル６０を介してデータドライバモデル２０に入力し、ソケットモデル１１０において付加データを分離するシミュレーション処理を行う。即ち、生成されたシリアルデータ（シリアル階調電圧データ及び付加データ）は、Ｖ０〜Ｖ６３のノードからＤ／Ａ変換回路５５８、オペアンプ部５６０、出力回路５６２を介してデータ線に出力されて、ソケットモデル１１０に取り込まれる。そしてソケットモデル１１０内においてパケット解析が行われ、シリアルデータから階調電圧データと付加データが分離される。そして分離された付加データに基づいて、階調電圧データに対する種々の変換処理（ＲＧＢ分離処理、極性反転処理）が行われる。

例えば図１７（Ｂ）に示すように、低温ポリシリコンパネル（以下、ＬＴＰＳパネルと呼ぶ）では、表示ドライバ５１０側において、データ信号へのＲ、Ｇ、Ｂデータの多重化処理が行われ、表示パネル５１２側において、多重化されたＲ、Ｇ、Ｂデータが分離される。具体的には、スイッチング信号ＳＭ１Ｒ、ＳＭ１Ｇ、ＳＭ１Ｂによってオン、オフ制御されるスイッチング素子ＴＭ１Ｒ、ＴＭ１Ｇ、ＴＭ１Ｂ（トランジスタ）により、データ線ＳＳ１のデータ信号に対してＲ、Ｇ、Ｂデータが時分割に多重化される。そしてスイッチング信号ＳＤ１Ｒ、ＳＤ１Ｇ、ＳＤ１Ｂによってオン、オフ制御されるスイッチング素子ＴＤ１Ｒ、ＴＤ１Ｇ、ＴＤ１Ｂ（トランジスタ）により、多重化されたＲ、Ｇ、Ｂデータが分離されて、Ｒ、Ｇ、Ｂの各画素の供給される。

このようなＬＴＰＳパネルにおいては、付加データであるＲＧＢ識別データを用いることで、多重化処理や分離処理の動作についても検証が可能になる。具体的には図１７（Ｃ）に示すように、ソケットモデル１１０内に、シリアル／パラレル変換部１１８の代わりにシリアル／パラレル変換＆分離部１１９を設け、内部レジスタ１２０の代わりにＲ用、Ｇ用、Ｂ用の内部レジスタ１２０Ｒ、１２０Ｇ、１２０Ｂを設ける。そしてシリアル／パラレル変換＆分離部１１９がシリアルデータから付加データを分離する。そして付加データのＲＧＢ識別データがＲデータを示していた場合には、その付加データと対となる階調電圧データをＲ用の内部レジスタ１２０Ｒに格納する。同様に、付加データのＲＧＢ識別データがＧデータ、Ｂデータを示していた場合には、その付加データと対となる階調電圧データをＧ用、Ｂ用の内部レジスタ１２０Ｇ、１２０Ｂに格納する。

また表示パネルモデル９０（データキャプチャ部）にもＲ用、Ｇ用、Ｂ用の内部レジスタ９３Ｒ、９３Ｇ、９３Ｂを設ける。そしてソケットモデル１１０の内部レジスタ１２０Ｒ、１２０Ｇ、１２０Ｂに格納された階調電圧データ（パラレルデータ）は、各々、表示パネルモデル９０の内部レジスタ９３Ｒ、９３Ｇ、９３Ｂに転送されて格納される。この場合に、内部レジスタ９３Ｒ、９３Ｇ、９３Ｂのいずれに階調電圧データを格納するかは、図１７（Ｂ）のスイッチング信号ＳＤ１Ｒ、ＳＤ１Ｇ、ＳＤ１Ｂを用いることで実現できる。なお付加データである極性反転識別データは、例えば表示パネルモデル９０が図１４に示すような極性反転部９４を有していない場合等に、有効利用できる。即ちこの場合には、付加データに含まれる極性反転識別データに基づいて、付加データと対となる階調電圧データの極性反転処理を行えばよい。

なお、上記のように本実施形態について詳細に説明したが、本発明の新規事項および効果から実体的に逸脱しない多くの変形が可能であることは当業者には容易に理解できるであろう。従って、このような変形例はすべて本発明の範囲に含まれるものとする。例えば、明細書又は図面において、少なくとも一度、より広義または同義な異なる用語（検証対象デバイス、Ｎビット等）と共に記載された用語（表示ドライバ、６ビット等）は、明細書又は図面のいかなる箇所においても、その異なる用語に置き換えることができる。

また検証シミュレータの構成や検証シミュレーション手法も本実施形態で説明したものに限定されるものでない。例えば外部インターフェース回路モデルを利用しない手法や、内部レジスタやソケットモデルを利用しない手法を採用してもよい。またシミュレーション手法も、Verilogなどのデジタル論理シミュレーション手法に限定されるものではない。

検証対象デバイスである表示ドライバの構成例。 シミュレーション結果として信号波形を出力する手法の説明図。 本実施形態の検証シミュレータの構成例。 本実施形態の検証シミュレータのシミュレーション環境。 画像データファイルの生成手法の説明図。 画像データファイルの例。 図７（Ａ）（Ｂ）は検証シミュレータにより発見されたバグの例。 コマンドファイルの例。 図９（Ａ）〜図９（Ｅ）は種々の形式のインターフェース信号の例。 図１０（Ａ）（Ｂ）はインターフェース信号の説明図。 図１１（Ａ）（Ｂ）は高速シリアル転送の説明図。 図１２（Ａ）（Ｂ）は外部インターフェース回路モデルの構成例。 表示ドライバの詳細な回路構成例。 内部レジスタを用いるシミュレーション手法の説明図。 内部レジスタを用いるシミュレーション手法のフローチャート。 ソケットモデルを用いるシミュレーション手法の説明図。 図１７（Ａ）（Ｂ）（Ｃ）は付加データを用いる手法の説明図。

符号の説明

１０ 表示ドライバモデル、２０ データドライバモデル、２２ 内部レジスタ、
３０ 走査ドライバモデル、４０ 表示メモリモデル、５０ 電源回路モデル、
６０ 階調電圧生成回路モデル、７０ ロジック回路モデル、
８０ 内部インターフェース回路モデル、９０ 表示パネルモデル、
９２ データキャプチャ部、９３Ｒ、９３Ｇ、９３Ｂ 内部レジスタ、
９４ 極性反転部、９６ 画像データファイル作成部、１１０ ソケットモデル、
１１２ シフト用クロック生成部、１１４ クロック数カウント部、
１１６ シリアル階調電圧データ生成部、１１８ シリアル／パラレル変換部、
１１９ シリアル／パラレル変換＆分離部、
１２０、１２０Ｒ、１２０Ｇ、１２０Ｂ 内部レジスタ、
１３０ 外部インターフェース回路モデル、１３２、１３３ コマンド処理タスク部、
１３４、１３５ 信号生成タスク部、１５０ テスト入力情報、
１５２ コマンドファイル、１５４ 画像データ、１６０ 画像データファイル、

Claims (7)

1. デバイスの動作が記述されたモデルの情報を記憶する記憶部と、
   前記モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部とを含み、
   前記モデルは、
   表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルとを含み、
   前記シミュレーション処理部は、
   前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力すると共に、
   前記表示ドライバモデルからのデータ信号のデータには、ＲＧＢ識別データ及び極性反転識別データの少なくとも１つを含む付加データが付加され、
   前記シミュレーション処理部は、
   前記表示ドライバモデルからの走査信号のデータとデータ信号のデータと前記付加データに基づいて、前記表示パネルの各画素の画像データを求め、求められた各画素の画像データを含む前記画像データファイルを作成することを特徴とする検証シミュレータ。
2. 請求項１において、
   前記表示ドライバモデルは、
   表示制御信号を生成するロジック回路の動作が記述されたロジック回路モデルを含み、
   前記シミュレーション処理部は、
   前記ロジック回路モデルとして前記ロジック回路のネットリストを使用することを特徴とする検証シミュレータ。
3. デバイスの動作が記述されたモデルの情報を記憶する記憶部と、
   前記モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部とを含み、
   前記モデルは、
   表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルと、前記表示ドライバの外部デバイスが含む外部インターフェース回路の動作が記述された外部インターフェース回路モデルとを含み、
   前記シミュレーション処理部は、
   前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力すると共に、
   前記テスト入力情報は、
   インターフェースモード指定コマンドが記述されたコマンドファイルを含み、
   前記シミュレーション処理部は、
   前記コマンドファイルを前記外部インターフェース回路モデルに入力し、前記インターフェースモード指定コマンドで指定される形式のインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うことを特徴とする検証シミュレータ。
4. 請求項３において、
   前記インターフェース信号は、ＭＰＵインターフェース信号、ＲＧＢインターフェース信号、シリアルインターフェース信号及びＹＵＶインターフェース信号の少なくとも１つを含み、
   前記シミュレーション処理部は、
   前記外部インターフェース回路モデルにより生成された前記ＭＰＵインターフェース信号、前記ＲＧＢインターフェース信号、前記シリアルインターフェース信号及び前記ＹＵＶインターフェース信号の少なくとも１つのインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うことを特徴とする検証シミュレータ。
5. 請求項１乃至４のいずれかにおいて、
   前記表示ドライバモデルは、
   データ信号を出力するデータドライバの動作が記述されたデータドライバモデルと、
   画像データである階調データを記憶する表示メモリの動作が記述された表示メモリモデルを含み、
   前記シミュレーション処理部は、
   前記表示メモリモデルからのＮビットの階調データを、各データ線毎に設けられた前記データドライバモデルの各内部レジスタに格納し、前記各内部レジスタに格納されたＮビットの階調データをデータ信号のデータとして、前記表示パネルモデルに入力するシミュレーション処理を行うことを特徴とする検証シミュレータ。
6. 検証シミュレータのための検証シミュレーション方法であって、
   前記検証シミュレータは、
   デバイスの動作が記述されたモデルの情報を記憶する記憶部と、
   前記モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部とを含み、
   前記モデルは、
   表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルとを含み、
   前記シミュレーション処理部は、
   前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力すると共に、
   前記表示ドライバモデルからのデータ信号のデータには、ＲＧＢ識別データ及び極性反転識別データの少なくとも１つを含む付加データが付加され、
   前記シミュレーション処理部は、
   前記表示ドライバモデルからの走査信号のデータとデータ信号のデータと前記付加データに基づいて、前記表示パネルの各画素の画像データを求め、求められた各画素の画像データを含む前記画像データファイルを作成することを特徴とする検証シミュレーション方法。
7. 検証シミュレータのための検証シミュレーション方法であって、
   前記検証シミュレータは、
   デバイスの動作が記述されたモデルの情報を記憶する記憶部と、
   前記モデルとテスト入力情報とに基づいて検証対象デバイスのシミュレーション処理を行うシミュレーション処理部とを含み、
   前記モデルは、
   表示ドライバの動作が記述された表示ドライバモデルと、前記表示ドライバにより駆動される表示パネルの動作が記述された表示パネルモデルと、前記表示ドライバの外部デバイスが含む外部インターフェース回路の動作が記述された外部インターフェース回路モデルとを含み、
   前記シミュレーション処理部は、
   前記テスト入力情報と前記表示ドライバモデルと前記表示パネルモデルに基づいてシミュレーション処理を行い、前記表示パネルに表示されるべき画像を表示装置に表示するための画像データファイルに、シミュレーション結果データをフォーマット変換して出力すると共に、
   前記テスト入力情報は、
   インターフェースモード指定コマンドが記述されたコマンドファイルを含み、
   前記シミュレーション処理部は、
   前記コマンドファイルを前記外部インターフェース回路モデルに入力し、前記インターフェースモード指定コマンドで指定される形式のインターフェース信号のデータを、前記表示ドライバモデルに入力するシミュレーション処理を行うことを特徴とする検証シミュレーション方法。

Images