(57)【要約】【課題】論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することが可能な論理検証装置及び論理検証方法を提供することを目的とする。【解決手段】周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置であって、第１回路ブロックが動作していない期間前記第１回路ブロックの第１クロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、を含む切替情報を出力する動作制御手段と、前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、有する。【選択図】図２
2011034371.tif 000002
【特許請求の範囲】
【請求項１】
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置であって、
第１回路ブロックが動作していない期間前記第１回路ブロックの第１クロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、を含む切替情報を出力する動作制御手段と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、有することを特徴とする論理検証装置。
【請求項２】
前記切替情報を取得する切替情報取得手段と、
前記波形データを取得する波形データ取得手段と、
前記切替情報含まれる前記期間に基づき前記波形データ内の前記圧縮波形データを前記分周比を用いて前記第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手段と、
前記復元波形データを含む前記波形データを表示させる表示手段と、を有する波形表示装置が接続されていることを特徴とする請求項１記載の論理検証装置。
【請求項３】
第３回路ブロックを有し、
前記第１回路ブロックの動作と前記第２回路ブロックの動作とに基づき、前記第３回路ブロックを、前記第１クロック信号又は前記第３回路ブロックの第３クロック信号又は予め設定されたクロック信号のうち何れか一つのクロック信号により動作させる第３回路ブロック動作制御手段を有することを特徴とする請求項１又は２記載の論理検証装置。
【請求項４】
前記第１回路ブロックの動作及び前記第２回路ブロックの動作と、前記第３クロック信号とが対応付けられたクロック切替テーブルを有し、
前記動作制御手段と、前記第３回路ブロック動作制御手段と、は、前記クロック切替テーブルを参照して前記第２回路ブロックと前記第３回路ブロックとを動作させるクロック信号を選択することを特徴とする請求項３記載の論理検証装置。
【請求項５】
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置と、前記論理検証装置による論理検証の結果の波形データを表示させる波形表示装置とを有する論理検証システムによる論理検証方法であって、
前記論理検証装置による
第１回路ブロックが動作していない期間、前記第１回路ブロックのクロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、前記第２回路ブロックを識別するブロック識別情報と、を含む切替情報を出力する動作制御手順と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手順と、を有し、
前記波形表示装置による
前記切替情報を取得する切替情報取得手順と、
前記波形データを取得する波形データ取得手順と、
前記切替情報に含まれる前記ブロック識別情報に基づき復元すべき波形データを特定し、前記切替情報に含まれる前記期間から前記復元すべき波形データに含まれる前記圧縮波形データを特定し、前記圧縮波形データを前記切替情報に含まれる前記分周比を用いて前記圧縮波形データを第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手順と、
前記復元波形データを含む前記波形データを表示させる表示手順と、を有することを特徴とする論理検証方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置及び論理検証方法に関する。
【背景技術】
【０００２】
マイクロプロセッサやメモリ等を組み合わされたシステムＬＳＩ（Large Scale Integration）は、エミュレータ等の論理検証装置を用いて検証される。エミュレータとは、論理シミュレーションをハードウェアで実現する装置である。一般のエミュレータでは、テストベンチに与えるクロック信号は１系統のみである。よって検証対象回路に複数系統のクロック入力がある場合には、テストベンチに与えるクロック信号をテストベンチ内で分周して複数系統のクロック信号を生成し、検証対象回路へ供給する。
【０００３】
例えば検証対象回路内に、高速のクロック信号で動作する高速動作回路ブロックと、低速のクロック信号で動作する低速動作回路ブロックとが存在する場合、テストベンチに与えられるクロック信号が高速動作回路へ供給される。テストベンチに与えられるクロック信号を分周して生成されたクロック信号が低速動作回路へ供給される。
【０００４】
この場合、高速動作回路が停止している状態であっても低速動作回路には低速のクロック信号が供給される。よって複数系統のクロック信号を用いる回路の論理検証を行う場合、高速動作回路が停止しているときの論理検証に係る時間が長くなるという問題がある。
【０００５】
この問題を解決する方法として、高速動作回路が動作していないときは、低速動作回路へ供給するクロック信号を分周して生成したクロック信号（低速）から、テストベンチに与えられるクロック信号（高速）へ切り替える方法がある。
【０００６】
この方法は、論理検証の項目に正確な回路遅延を考慮する必要がなく、クロック同期の範囲での検証ができれば良い場合に有効である。クロック同期の動作の検証に関しては、動作クロックを変化させて実行しても論理検証結果に影響がないからである。
【０００７】
この方法では、高速動作回路が動作していないときに低速動作回路へ供給するクロック信号を高速のクロック信号へ切り替えることで、検証の実行時間を短縮することができる。
【先行技術文献】
【特許文献】
【０００８】
【特許文献１】特開２０００−２２２２３８号公報
【発明の概要】
【発明が解決しようとする課題】
【０００９】
上述したような従来の技術では、論理検証の実行速度を高速化することができる。しかしながら、論理検証の結果を示す波形データは部分的に圧縮されたものになり、正しい波形データを観測することができない。このため、例えば検証対象回路が所定時間内に目的の動作を完了しているか否かを判断することが困難であると言った問題点がある。
【００１０】
本発明は、上記の点に鑑みなされたもので、論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することが可能な論理検証装置及び論理検証方法を提供することを目的とする。
【課題を解決するための手段】
【００１１】
上記課題を解決するため、周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置であって、第１回路ブロックが動作していない期間前記第１回路ブロックの第１クロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、を含む切替情報を出力する動作制御手段と、前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、有する。
【発明の効果】
【００１２】
論理検証の実行速度を高速化すると共に、切替情報に基づいて圧縮波形データを復元できるため、圧縮されていない本来の波形データを出力することができる。
【図面の簡単な説明】
【００１３】
【図１】論理検証システムのハードウェア構成例を示す図である。
【図２】第一実施例の論理検証装置と波形表示装置を説明する図である。
【図３】第一実施例においてクロック信号を切り替えない場合の波形データの一例を示す図である。
【図４】第一実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。
【図５】第一実施例における復元波形データを含む波形データの一例を示す図である。
【図６】第二実施例の論理検証装置と波形表示装置を説明する図である。
【図７】動作制御部の動作を説明するための図である。
【図８】第二実施例においてクロック信号を切り替えない場合の波形データの一例を示す図である。
【図９】第二実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。
【図１０】第二実施例において復元波形データを含む波形データの一例を示す図である。
【図１１】第三実施例の論理検証装置を説明する図である。
【図１２】第四実施例の論理検証装置を説明する図である。
【図１３】第五実施例の論理検証装置を説明する図である。
【図１４】クロック切替テーブルの一例を示す図である。
【図１５】第五実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。
【図１６】第五実施例においてクロック信号を切り替えた場合の波形データの他の例を示す図である。
【発明を実施するための形態】
【００１４】
以下、本発明の実施の形態を図面に基づいて説明する。
【００１５】
図１は、論理検証システムのハードウェア構成例を示す図である。論理検証システム１００は、論理検証装置２００と、波形表示装置３００とを有する。
【００１６】
論理検証装置２００は、それぞれバスＢ１で相互に接続されているＭＰＵ（microprocessor）２１、メモリ装置２２、検証モデル装置２３を有する。ＭＰＵ２１は、論理検証装置２００で実行される各種処理を制御する。メモリ装置２２は、論理検証装置２００で実行される処理を実現させるプログラム等が格納されている。検証モデル装置２３は、後述する検証対象回路が配置されて論理検証が行われる。
【００１７】
波形表示装置３００は、それぞれバスＢ２で相互に接続されているＣＰＵ（Central Processing Unit）３１、補助記憶装置３２、入力装置３３、表示装置３４、ドライバ３５を有する。ＣＰＵ３１は、波形表示装置３００で実行される各種処理を制御する。補助記憶装置３２は、波形表示装置３００で実行される処理を実現させるプログラム、プログラムを実行するために必要なデータ等が格納されている。入力装置３３は、キーボードやマウス等を含み、各種信号を入力するために用いられる。表示装置３３はディスプレイ装置等を含み、各種ウインドウやデータ等を表示するために用いられる。
【００１８】
また波形表示装置３００を動作させるプログラムの一部である波形表示プログラムを記録した記録媒体３６がドライバ３５にセットされると、波形表示プログラムは記録媒体３６からドライバ３５を介して補助記憶装置３２にインストールされる。波形表示プログラムを記録した記録媒体３６は、ＣＤ−ＲＯＭ、フレキシブルディスク、光磁気ディスク等の様に情報を光学的，電気的或いは磁気的に記録する記録媒体、ＲＯＭ、フラッシュメモリ等の様に情報を電気的に記録する半導体メモリ等、様々なタイプの記録媒体を用いることができる。
【００１９】
（第一実施例）
以下に図面を参照して本発明の第一実施例について説明する。図２は、第一実施例の論理検証装置と波形表示装置を説明する図である。
【００２０】
本実施例の論理検証装置２００は、検証モデル装置２３を有する。また本実施例の論理検証装置２００は、クロック信号供給部２１０と、切替情報取得部２２０と、出力部２３０と、を有する。クロック信号供給部２１０は、検証モデル装置２３へクロック信号Ａを供給する。切替情報取得部２２０は、動作制御部２７０から出力される切替情報２９０を取得する。動作制御部２７０及び切替情報２９０の詳細は後述する。出力部２３０は、検証モデル装置２３に配置された検証対象回路２４０の検証結果の波形データ２８０と、切替情報取得部２２０により取得された切替情報２９０と、を波形表示装置３００へ出力する。
【００２１】
検証モデル装置２３は、検証対象回路２４０が配置される。検証対象回路２４０には、回路ブロック２４１と、回路ブロック２４２とが含まれる。また検証モデル装置２３は、分周回路２５０と、クロック切替部２６０と、動作制御部２７０と、を有する。
【００２２】
分周回路２５０は、クロック信号供給部２１０から検証モデル装置２３へ供給されるクロック信号Ａを分周してクロック信号Ｂを生成する。クロック切替部２６０は、回路ブロック２４２へ供給されるクロック信号を、クロック信号Ａ又はクロック信号Ｂのどちらか一方に切り替える。動作制御部２７０は、回路ブロック２４１の動作に基づき、回路ブロック２４２へ供給されるクロック信号を選択し、クロック切替部２６０によるクロック信号の切り替えを制御する。また動作制御部２７０は、後述する切替情報２９０を切替情報取得部２２０へ出力する。
【００２３】
本実施例の検証モデル装置２３では、回路ブロック２４１の動作クロックはクロック信号Ａである。また回路ブロック２４２の動作クロックはクロック信号Ｂである。
【００２４】
本実施例では、例えばクロック信号Ａは高周波であり、クロック信号Ｂは低周波であって、クロック信号Ｂはクロック信号Ａを分周した信号である。よってクロック信号Ａを動作クロックとする回路ブロック２４１は、クロック信号Ｂを動作クロックとする回路ブロック２４２によりも高速に動作する回路ブロックである。
【００２５】
本実施例の検証モデル装置２３では、動作制御部２７０により、回路ブロック２４１が動作しているか否かを判定する。そして検証モデル装置２３は、回路ブロック２４１が動作していないときはクロック切替部２６０により、回路ブロック２４２に供給されるクロック信号をクロック信号Ｂからクロック信号Ａへ切り替える。回路ブロック２４１が動作を再開すると、動作制御部２７０は、回路ブロック２４２に供給されるクロック信号をクロック信号Ａからクロック信号Ｂへ切り替える。
【００２６】
また動作制御部２７０は、切替情報２９０を出力する。以下に切替情報２９０について説明する。
【００２７】
本実施例の切替情報２９０には、回路ブロック２４２がクロック信号Ａで動作した期間を示す期間情報と、回路ブロック２４２を識別するためのブロック識別情報と、クロック信号Ａとクロック信号Ｂとの分周比とが含まれる。ブロック識別情報と分周比とは、例えば予め検証モデル装置２３に設定するようにすれば良い。期間情報は、クロック信号Ａによる回路ブロック２４２の動作の開始時刻と終了時刻とを含む情報である。
【００２８】
回路ブロック２４２にクロック信号Ａが供給されて動作した場合、検証結果の波形データは、クロック信号Ｂを動作クロックとした場合と比べて圧縮された波形データとなる。例えばクロック信号Ｂがクロック信号Ａを４分周した信号である場合、クロック信号Ａで回路ブロック２４２を検証した結果の波形データは、クロック信号Ｂで回路ブロック２４２を検証した結果の波形データを４倍圧縮した波形データとなる。
【００２９】
以下に図３、図４を参照して検証結果の波形データについて説明する。図３は、第一実施例においてクロック信号を切り替えない場合の波形データの一例を示す図である。
【００３０】
図３の例では、クロック信号Ａを動作クロックとする回路ブロック２４１が動作しておらず、クロック信号Ｂを動作クロックとする回路ブロック２４２のみが動作している。この場合、回路ブロック２４１の動作が停止した時点Ｔ１から時点Ｔ２までの期間Ｈの間、回路ブロック２４２の動作クロックをクロック信号Ｂからクロック信号Ａへ切り替えれば、期間Ｈの波形データ（以下、圧縮前波形データ２８１）を圧縮することができ、論理検証を高速化することができる。
【００３１】
そこで本実施例では、動作制御部２７０により回路ブロック２４１が動作していないと判定されたとき、クロック切替部２６０により回路ブロック２４２へ供給されるクロック信号をクロック信号Ｂからクロック信号Ａへ切り替える。
【００３２】
図４は、第一実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。図４の例では、回路ブロック２４１の動作が停止した時点Ｔ１で回路ブロック２４２へ供給するクロック信号をクロック信号Ａへ切り替える。このため図３の期間Ｈは、圧縮された期間Ｈ１となる。また回路ブロック２４２の検証結果の波形データは、期間Ｈ１においては圧縮された圧縮波形データ２８２となる。よって論理検証装置２００の出力部２３０から波形表示装置３００へ出力される波形データ２８０は、図４に示す圧縮波形データ２８２を含む波形データとなる。
【００３３】
図２に戻って、論理検証装置２００の有する切替情報取得部２２０は、切替情報２９０を取得する。切替情報２９０には、動作制御部２７０による制御により、クロック信号Ａが回路ブロック２４２へ供給された期間を示す期間情報、回路ブロック２４２を識別するブロック識別情報、クロック信号Ａとクロック信号Ｂの分周比とが含まれる。
【００３４】
論理検証装置２００の有する出力部２３０は、検証モデル装置２３による検証結果を示す波形データ２８０と、切替情報取得部２２０により取得された切替情報２９０と、を波形表示装置３００へ出力する。出力部２３０から出力される波形データ２８０には、圧縮波形データ２８２が含まれる。
【００３５】
本実施例の波形表示装置３００は、波形データ２８０に含まれる圧縮波形データ２８２を圧縮前波形データ２８１と同じ時間軸となるように復元する。そして波形表示装置３００は、復元された波形データを表示装置３４へ表示させる。
【００３６】
波形表示装置３００は、波形データ取得部３１０と、切替情報取得部３２０と、復元部３３０と、表示制御部３４０と、を有する。波形データ取得部３１０は、論理検証装置２００から出力された波形データ２８０を取得する。切替情報取得部３２０は、論理検証装置２００から出力された切替情報２９０を取得する。
【００３７】
復元部３３０は、取得された波形データ２８０と、切替情報２９０に含まれるブロック識別情報とから、波形データ２８０において圧縮波形データ２８２が含まれる波形データを特定する。この場合、回路ブロック２４２の論理検証の結果の波形データが特定される。復元部３３０は、切替情報２９０に含まれる期間情報に基づき、特定された波形データに含まれる圧縮波形データ２８２を特定する。そして圧縮波形データ２８２を、切替情報２９０に含まれる分周比を用いて圧縮前波形データ２８１と同じ時間軸となるように復元する。復元された波形データを復元波形データ２８３（図５参照）とする。
【００３８】
例えばクロック信号Ｂがクロック信号Ａを１／４に分周した信号である場合、復元部３３０は、圧縮波形データ２８２を４倍に引き延ばせば圧縮前波形データ２８１と同様の時間軸に復元できる。
【００３９】
表示制御部３４０は、復元された復元波形データ２８３が含まれる波形データ２８０を表示装置３４へ表示させる。
【００４０】
図５は、第一実施例における復元波形データを含む波形データの一例を示す図である。図５に示すように、圧縮波形データ２８２は、復元部３３０により復元波形データ２８３に復元される。復元波形データ２８３は、図３に示す圧縮前波形データ２８１と同様の時間軸となるように復元される。
【００４１】
このように本実施例によれば、一度圧縮した波形データを圧縮前の波形データに復元して表示させるので、論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することができる。このため、例えば検証対象回路２４０が所定時間内に目的の動作を完了しているか否かを判断することができる。
【００４２】
（第二実施例）
以下に図面を参照して本発明の第二実施例について説明する。図６は、第二実施例の論理検証装置と波形表示装置を説明する図である。本実施例の論理検証装置２００Ａの有する検証モデル装置２３Ａに配置された検証対象回路２４０Ａは、外部端子ＥＮを有する。また検証対象回路２４０Ａの有する回路ブロック２４１Ａは、制御レジスタ２４３と、ステータスレジスタ２４２と、ＯＲ回路２４５と、クロック制御部２４６と、回路ブロック動作部２４７と、を有する。
【００４３】
本実施例の外部端子ＥＮは、回路ブロック２４１Ａと接続されており、図示しないテストパターンにより入力値が制御されている。制御レジスタ２４３は、制御レジスタ２４３中の１ビットがＥＮＡＢＬＥビットとされている。ステータスレジスタ２４４は、ステータスレジスタ２４４内の１ビットがＲＵＮビットとされており、ＲＵＮビットの値が回路ブロック２４１Ａの状態を示している。ＯＲ回路２４５の一方の入力には制御レジスタ２４３のＥＮＡＢＬＥビットが入力され、他方の入力には外部端子ＥＮの入力値が入力される。ステータスレジスタ２４４のＲＵＮビットの値は、ＯＲ回路２４５の出力の値、即ち制御レジスタ２４３のＥＮＡＢＬＥビットと外部端子ＥＮの入力値との論理和をとった値となる。
【００４４】
クロック制御部２４６は、ステータスレジスタ２４６のＲＵＮビットの値に基づき、回路ブロック２４１Ａの動作部である回路ブロック動作部２４７へのクロック信号Ａの供給を制御する。本実施例のクロック制御部２４６は、ステータスレジスタ２４４のＲＵＮビットが１のときクロック信号Ａを回路ブロック動作部２４７へ供給し、回路ブロック２４１Ａを動作させる。またクロック制御部２４６は、ステータスレジスタ２４４のＲＵＮビットが０のとき、回路ブロック動作部２７７へのクロック信号Ａの供給を停止し、回路ブロック２４１Ａの動作を停止させる。
【００４５】
本実施例の動作制御部２７０は、回路ブロック２４１Ａの有するステータスレジスタ２４４のＲＵＮビットを参照して回路ブロック２４１Ａが動作しているか否かを判定し、回路ブロック２４２へ供給するクロック信号を選択する。図７を参照して本実施例の動作制御部２７０の動作を説明する。図７は、動作制御部の動作を説明するための図である。
【００４６】
本実施例の動作制御部２７０は、ステータスレジスタ２４４のＲＵＮビットが１のとき、回路ブロック２４１Ａは動作しているものと判定する。回路ブロック２４１Ａが動作している場合は、クロック信号Ａは回路ブロック２４１Ａに供給されているため、動作制御部２７０は回路ブロック２４２へ供給するクロック信号として、クロック信号Ｂを選択する。
【００４７】
また動作制御部２７０は、ステータスレジスタ２４４のＲＵＮビットが０のとき、回路ブロック２４１Ａは動作していないと判定する。回路ブロック２４１Ａが動作していない場合、動作制御部２７０は、回路ブロック２４２へ供給するクロック信号としてクロック信号Ａを選択する。クロック信号Ａが選択されると、クロック切替部２６０は、回路ブロック２４２へ供給されるクロック信号をクロック信号Ｂからクロック信号Ａへ切り替える。このとき動作制御部２７０は、クロック信号Ａの選択を開始した時刻、即ちクロック切替部２６０によりクロック信号Ｂからクロック信号Ａへ切り替えた時刻の情報（以下、開始時刻情報）を取得する。
【００４８】
次にステータスレジスタ２４４のＲＵＮビットが０から１へ変わると、動作制御部２７０は、回路ブロック２４１Ａの動作が再開したと判定し、回路ブロック２４２に供給するクロック信号としてクロック信号Ｂを選択する。クロック信号Ｂが選択されると、クロック切替部２６０は、回路ブロック２４２へ供給されるクロック信号をクロック信号Ａからクロック信号Ｂへ切り替える。このとき動作制御部２７０は、クロック信号Ａの選択を終了した時刻、即ちクロック切替部２６０によりクロック信号Ａからクロック信号Ｂへ切り替えた時刻の情報（以下、終了時刻情報）を取得する。
【００４９】
動作制御部２７０は、開始時刻情報と終了時刻情報とを期間情報とする。動作制御部２７０は、この期間情報と、回路ブロック２４２を識別するブロック識別情報と、分周比とを切替情報として切替情報取得部２２０へ出力する。
【００５０】
よって本実施例の切替情報取得部２２０は、回路ブロック２４２にクロック信号Ａが供給された期間、すなわち回路ブロック２４１Ａの動作が停止していた期間を示す期間情報を得ることができる。
【００５１】
出力部２３０は、切替情報取得部２２０が取得した切替情報２９０と、論理検証の結果である波形データ２８０とを波形表示装置３００へ出力する。本実施例の波形表示装置３００は、第一実施例で説明した通りである。
【００５２】
以下に図８ないし図１０を参照して、論理検証の結果である波形データについて説明する。図８は、第二実施例においてクロック信号を切り替えない場合の波形データの一例を示す図である。図８の例では、動回路ブロック２４１Ａの動作が停止している期間Ｔ３の間も、回路ブロック２４２をクロック信号Ｂで動作させた例である。この場合回路ブロック２４２の検証結果の波形データである圧縮前波形データ２８１Ａは、回路ブロック２４１Ａが動作しているときの回路ブロック２４２の波形データと同様である。
【００５３】
図９は、第二実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。図９の例では、回路ブロック２４１Ａの動作が停止した時点Ｔ１０から回路ブロック２４１Ａの動作が再開した時点Ｔ１１までの期間Ｔ４は、回路ブロック２４２はクロック信号Ａで動作している。このため期間Ｔ４の波形データは、圧縮された圧縮波形データ２８２Ａとなる。
【００５４】
論理検証装置２００Ａの出力部２３０からは、圧縮波形データ２８２Ａを含む波形データ２８０Ａと、切替情報２９０とが、波形表示装置３００へ出力される。
【００５５】
波形表示装置３００では、第一実施例で説明したように、波形データ２８０Ａと切替情報２９０とから、波形データ２８０Ａに含まれる圧縮波形データ２８２Ａを特定し、圧縮前波形データ２８１Ａと同様の波形に復元する。
【００５６】
図１０は、第二実施例において復元波形データを含む波形データの一例を示す図である。図１０に示す波形データ２８０Ａには、圧縮波形データ２８２Ａを復元した復元波形データ２８３Ａが含まれている。図１０の例では、図９で示した期間Ｔ４が図８で示した期間Ｔ３と同様の期間に復元されており、圧縮波形データ２８２Ａが圧縮前波形データ２８１Ａと同様の波形データとなるように復元されている。
【００５７】
このように本実施例によれば、一度圧縮した波形データを圧縮前の波形データに復元して表示させるので、論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することができる。このため、例えば検証対象回路２４０が所定時間内に目的の動作を完了しているか否かを判断することができる。
【００５８】
（第三実施例）
以下に図面を参照して本発明の第三実施例について説明する。図１１は、第三実施例の論理検証装置を説明する図である。本実施例の論理検証装置２００Ｂは、圧縮波形データ２８２を含む波形データ２８０を復元する復元部２９０を有する。
【００５９】
本実施例の論理検証装置２００Ｂでは、波形データ２８０の復元まで論理検証装置２００Ｂで行うことで、波形データ２８０の復元機能を有する波形表示装置が不要となる。よって本実施例では、例えば論理検証装置２００Ｂを一般のディスプレイ装置等に接続するだけで、復元波形データ２８３を含む波形データを表示させることができる。
【００６０】
本実施例の論理検証装置２００Ｂの復元部２９０は、波形データ取得部２９１、切替情報取得部２２０を有する。波形データ取得部２９１は、検証モデル装置２３Ｂによる検証結果の波形データを取得する。波形データ取得部２９１により取得される波形データは、復元前の波形データであり、圧縮波形データ２８２が含まれる波形データである。
【００６１】
切替情報取得部２２０は、第一実施例、第二実施例で説明した通りであり、切替情報を取得する。
【００６２】
復元部２９０は、波形データ取得部２９１により取得された波形データと、切替情報取得部２２０に取得された切替情報とに基づき、波形データに含まれる圧縮波形データを特定して復元する。すなわち復元部２９０には、切替情報に含まれるブロック識別情報から、圧縮波形データ２８２が含まれる波形データを特定し、期間情報に基づき特定された波形データ中の圧縮波形データ２８２を特定する。そして分周比を用いて圧縮波形データ２８２を復元波形データへ復元する。
【００６３】
よって本実施例では、一度圧縮した波形データを圧縮前の波形データに復元して表示させるので、論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することができる。このため、例えば検証対象回路２４０が所定時間内に目的の動作を完了しているか否かを判断することができる。また本実施例では、論理検証装置２００Ｂから復元された波形データを出力することができるため、波形データの復元機能を有する波形表示装置が不要となる。
【００６４】
（第四実施例）
以下に図面を参照して本発明の第四実施例について説明する。図１２は、第四実施例の論理検証装置を説明する図である。本実施例の論理検証装置２００Ｃは、第三実施例の論理検証装置２００Ｃに、検証モデル装置２３Ａを配置した例である。本実施例の論理検証装置２００Ｃの検証モデル装置２３Ａの動作制御部２７０は、回路ブロック２４１Ａのステータスレジスタ２４４のＲＵＮビットを参照し、回路ブロック２４２の動作クロック信号を選択する。また本実施例の論理検証装置２００Ｃは、圧縮波形データ２８２を復元する復元部２９０を有する。
【００６５】
よって本実施例では、第三実施例と同様の効果を奏することができる。
【００６６】
（第五実施例）
以下に図面を参照して本発明の第五実施例について説明する。本発明の第五実施例では、検証対象回路に含まれる回路ブロックが３つであり、３系統のクロック信号を用いる場合について説明する。図１３は、第五実施例の論理検証装置を説明する図である。
【００６７】
本実施例の論理検証装置２００Ｄは、検証モデル装置２３Ｂを有する。また本実施例の論理検証装置２００Ｄは、クロック供給部２１０、切替情報取得部２２０、出力部２３０を有する。
【００６８】
本実施例の検証モデル装置２３Ｂには、検証対象回路２４０Ｂが配置され、論理検証が行われる。本実施例の検証対象回路２４０Ｂは、回路ブロック２４１、２４２、２４９を有する。
【００６９】
また本実施例の検証モデル装置２３Ｂは、分周回路２５０、２５１、２５２、クロック切替部２６０、２６１、動作制御部２７０、２７１を有する。分周回路２５０は、クロック供給部２１０から検証モデル装置２３Ｂへ供給されるクロック信号Ａを分周してクロック信号Ｂを生成する。分周回路２５１は、クロック信号Ａを分周してクロック信号Ｃを生成し、分周回路２５２はクロック信号Ａを分周してクロック信号Ｄを生成する。
【００７０】
クロック切替部２６０は、クロック信号Ａとクロック信号Ｂとの切り替えを行う。クロック切替部２５１は、クロック信号Ａとクロック信号Ｃとクロック信号Ｄとの切り替えを行う。
【００７１】
動作制御部２７０は、回路ブロック２４１の動作に基づき回路ブロック２４２に供給されるクロック信号を選択し、クロック切替部２６０を制御してクロック信号を切り替えさせる。本実施例の回路ブロック２４１は、図示しないステータスレジスタを有しており、回路ブロック２４１が動作している場合はステータスレジスタのＲＵＮ−１ビットの値が１となる。回路ブロック２４１が動作していない場合はステータスレジスタのＲＵＮ−１ビットの値が０となる。本実施例の動作制御部２７０は、回路ブロック２４１のステータスレジスタの値を参照して回路ブロック２４１が動作しているか否かを判定し、回路ブロック２４２に供給されるクロック信号を選択する。
【００７２】
動作制御部２７１は、回路ブロック２４１の動作と回路ブロック２４２の動作とに基づき、回路ブロック２４９へ供給されるクロック信号を選択し、クロック切替部２６１を制御してクロック信号を切り替えさせる。本実施例の回路ブロック２４２は、図示しないステータスレジスタを有しており、回路ブロック２４２が動作している場合はステータスレジスタのＲＵＮ−２ビットの値が１となる。回路ブロック２４２が動作していない場合はステータスレジスタのＲＵＮ−２ビットの値が０となる。本実施例の動作制御部２７１は、回路ブロック２４２のステータスレジスタの値を参照して回路ブロック２４２が動作しているか否かを判定し、回路ブロック２４９に供給されるクロック信号を選択する。
【００７３】
尚本実施例では、回路ブロック２４１の動作クロックはクロック信号Ａであり、回路ブロック２４２の動作クロックはクロック信号Ｂであり、回路ブロック２４９の動作クロックはクロック信号Ｃである。また本実施例では、クロック信号Ｃの周波数はクロック信号Ｂの周波数よりも小さい。
【００７４】
よって本実施例では、回路ブロック２４１が最も高速で動作し、回路ブロック２４９が最も低速で動作することがわかる。
【００７５】
本実施例では、回路ブロック２４１の動作と回路ブロック２４２の動作とに基づき、各回路ブロックに供給されるクロック信号が選択され、クロック切替部２６０、２６１の制御によりクロック信号が切り替えられる。
【００７６】
本実施例の論理検証装置２００Ｄでは、回路ブロック２４１の動作と、回路ブロック２４２の動作と、選択されるクロック信号とを対応付けたクロック切替テーブル４０を有する。動作制御部２７０、２７１は、クロック切替テーブル４０を参照してクロック切替部２６０、２６１を制御する。尚クロック切替テーブル４０は、例えば論理検証装置２００Ｄのメモリ装置２２等に格納されている。
【００７７】
図１４は、クロック切替テーブルの一例を示す図である。本実施例のクロック切替テーブル４０によれば、回路ブロック２４１、２４２が動作している場合、クロック切替部２６０はクロック信号Ｂを回路ブロック２４２へ供給するクロック信号とする。またクロック切替部２６１は、クロック信号Ｃを回路ブロック２４９に供給するクロック信号とする。
【００７８】
また回路ブロック２４１が動作しており、回路ブロック２４２が動作していない場合、回路ブロック２４１にはクロック信号Ａが供給され、回路ブロック２４９にはクロック信号Ｃが供給される。
【００７９】
また回路ブロック２４１の動作が停止しており、回路ブロック２４２が動作している場合、クロック切替部２６０は回路ブロック２４２へ供給されるクロック信号を、クロック信号Ｂからクロック信号Ａへ切り替える。クロック切替部２６１は、回路ブロック２４９に供給されるクロック信号をクロック信号Ｃからクロック信号Ｄへ切り替える。
【００８０】
ここでクロック信号Ｄについて説明する。
【００８１】
本実施例において、回路ブロック２４２のクロック信号を切り替える場合、回路ブロック２４２の動作クロックと回路ブロック２４９の動作クロックとの比率を一定に保持する必要がある。例えばクロック信号Ｂはクロック信号Ａを４分周した信号であり、クロック信号Ｃはクロック信号Ａを８分周した信号である場合、クロック信号Ｂとクロック信号Ｃとの比率は１：２である。
【００８２】
すなわち、回路ブロック２４２の動作クロックをクロック信号Ｂからクロック信号Ａへ切り替えた場合、クロック信号Ａと回路ブロック２４９の動作クロック信号との比率は１：２とする必要がある。本実施例のクロック信号Ｄは、回路ブロック２４２に供給されるクロック信号がクロック信号Ａに切り替えられたとき、回路ブロック２４２に供給されるクロック信号と回路ブロック２４９に供給されるクロック信号との比率が切り替え前と同様になるように設定された信号である。
【００８３】
よって図１４に示すように、回路ブロック２４１の動作が停止しており、回路ブロック２４２が動作している場合、回路ブロック２４２にはクロック信号Ｂが供給され、回路ブロック２４９にはクロック信号Ｄが供給される。
【００８４】
また回路ブロック２４１と回路ブロック２４２の両方の動作が停止していた場合、クロック切替部２６１は、回路ブロック２４９の動作クロックをクロック信号Ａに切り替える。
【００８５】
図１５は、第五実施例においてクロック信号を切り替えた場合の波形データの一例を示す図である。
【００８６】
図１５に示す例では、時点Ｔ２１から時点Ｔ２２までの期間Ｔ５において、回路ブロック２４１の動作が停止している。
【００８７】
よって動作制御部２７０は、クロック切替テーブル４０を参照してクロック切替部２６０を制御し、期間Ｔ５の間、回路ブロック２４２の動作クロックをクロック信号Ｂからクロック信号Ａへ切り替える。また動作制御部２７１は、クロック切替テーブル４０を参照してクロック切替部２６１を制御し、期間Ｔ５の間、回路ブロック２４９の動作クロックをクロック信号Ｃからクロック信号Ｄへ切り替える。
【００８８】
期間Ｔ５の波形データは、圧縮された圧縮波形データ２３２Ｂとなる。また論理検証装置２００Ｄは、切替情報取得部２２０により、時点Ｔ２１と時点Ｔ２２とを期間Ｔ５の開始時刻情報及び終了時刻情報とする期間情報を含む切替情報２９０を取得し、出力部２３０へ渡す。出力部２３０は、圧縮波形データ２８２Ｂを含む波形データ２８０Ｂと、切替情報２９０と、回路ブロックの識別情報とを、圧縮波形データの復元機能を有する波形表示装置３００へ出力する。
【００８９】
波形表示装置３００では、圧縮波形データを復元した復元波形データを含む波例データを表示することができる。
【００９０】
図１６は、第五実施例においてクロック信号を切り替えた場合の波形データの他の例を示す図である。
【００９１】
図１６に示す例では、時点Ｔ３１から時点Ｔ３２までの期間Ｔ６において、回路ブロック２４１及び回路ブロック２４２の動作が停止している。
【００９２】
よって動作制御部２７１は、クロック切替テーブル４０を参照してクロック切替部２６１を制御し、期間Ｔ６の間、回路ブロック２４９の動作クロックをクロック信号Ｃからクロック信号Ａへ切り替える。
【００９３】
よって期間Ｔ６の波形データは、圧縮された圧縮波形データ２８２Ｃとなる。本実施例の論理検証装置２００Ｄは、出力部２３０から圧縮波形データ２８２Ｃを含む波形データ２８０Ｃを波形表示装置３００へ出力し、波形表示装置３００において圧縮波形データ２８２Ｃが復元された復元波形データを含む波形データを表示させる。
【００９４】
よって本実施例によれば、一度圧縮した波形データを圧縮前の波形データに復元して表示させるので、論理検証の実行速度を高速化し、且つ圧縮されていない本来の波形データを出力することができる。このため、例えば検証対象回路２４０Ｂが所定時間内に目的の動作を完了しているか否かを判断することができる。
【００９５】
本発明は、以下に記載する付記のような構成が考えられる。
（付記１）
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置であって、
第１回路ブロックが動作していない期間前記第１回路ブロックの第１クロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、を含む切替情報を出力する動作制御手段と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、有することを特徴とする論理検証装置。
（付記２）
前記切替情報を取得する切替情報取得手段と、
前記波形データを取得する波形データ取得手段と、
前記切替情報に含まれる前記期間に基づき前記波形データ内の前記圧縮波形データを前記分周比を用いて前前記第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手段と、
前記復元波形データを含む前記波形データを表示させる表示手段と、を有する波形表示装置が接続されていることを特徴とする付記１記載の論理検証装置。
（付記３）
前記第１回路ブロックは、当該第１回路ブロックが動作しているか否かを示す値が書き込まれるレジスタを有し、
前記動作制御手段は、
前記レジスタに書き込まれた値を参照して前記第１回路ブロックが動作していないことを判断することを特徴とする付記１又は２記載の論理検証装置。
（付記４）
前記動作制御手段により前記第１回路ブロックが動作していないと判断されたとき、前記第２クロック信号を前記第１クロック信号に切り替える切替手段を有することを特徴とする付記３記載の論理検証装置。
（付記５）
前記動作制御手段は、
前記第１回路ブロックが動作していないと判断されたときの時刻を示す情報と、前記動作制御手段により前記第１回路ブロックが動作を開始したと判断されたときの時刻を示す情報と、を前記切替情報に含まれる前記期間を示す期間情報とすることを特徴とする付記３又は４記載の論理検証装置。
（付記６）
第３回路ブロックを有し、
前記第１回路ブロックの動作と前記第２回路ブロックの動作とに基づき、前記第３回路ブロックを、前記第１クロック信号又は前記第３回路ブロックの第３クロック信号又は予め設定されたクロック信号のうち何れか一つのクロック信号により動作させる第３回路ブロック動作制御手段を有することを特徴とする付記１ないし５の何れか一項に記載の論理検証装置。
（付記７）
前記第１回路ブロックの動作及び前記第２回路ブロックの動作と、前記第３クロック信号とが対応付けられたクロック切替テーブルを有し、
前記動作制御手段と、前記第３回路ブロック動作制御手段と、は、前記クロック切替テーブルを参照して前記第２回路ブロックと前記第３回路ブロックとを動作させるクロック信号を選択することを特徴とする付記６記載の論理検証装置。
（付記８）
前記第３回路ブロック動作制御手段は、
前記第１回路ブロックの動作が停止しており、前記第２回路ブロックが動作しているとき、前記第３回路ブロックを前記予め設定されたクロック信号により動作させることを特徴とする付記６又は７記載の論理検証装置。
（付記９）
前記第１クロック信号と前記予め設定されたクロック信号との比率は、
前記第１回路ブロックが動作している場合の第１クロック信号と第２クロック信号との比率と等しいことを特徴とする付記８記載の論理検証装置。
（付記１０）
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置であって、
第１回路ブロックが動作していない期間、前記第１回路ブロックのクロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、を含む切替情報を出力する動作制御手段と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、
前記切替情報に含まれる前記期間に基づき前記波形データ内の前記圧縮波形データを前記分周比を用いて前記第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手段と、を有することを特徴とする論理検証装置。
（付記１１）
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証した結果の波形データを表示する波形表示装置であって、
第１回路ブロックが動作していない期間、前記第１回路ブロックのクロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、前記第２回路ブロックを識別するブロック識別情報と、を含む切替情報を出力する動作制御手段と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、有する論理検証装置と接続されており、
前記論理検証装置から前記切替情報を取得する切替情報取得手段と、
前記論理検証装置から前記波形データを取得する波形データ取得手段と、
前記切替情報に含まれる前記ブロック識別情報に基づき復元すべき波形データを特定し、前記切替情報に含まれる前記期間から前記復元すべき波形データに含まれる前記圧縮波形データを特定し、前記圧縮波形データを前記切替情報に含まれる前記分周比を用いて前記圧縮波形データを前記第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手段と、
前記復元波形データを含む前記波形データを表示させる表示手段と、を有することを特徴とする波形表示装置。
（付記１２）
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置と、前記論理検証装置による論理検証の結果の波形データを表示させる波形表示装置とを有する論理検証システムであって、
前記論理検証装置は、
第１回路ブロックが動作していない期間、前記第１回路ブロックのクロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、前記第２回路ブロックを識別するブロック識別情報と、を含む切替情報を出力する動作制御手段と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手段と、を有し、
前記波形表示装置は、
前記切替情報を取得する切替情報取得手段と、
前記波形データを取得する波形データ取得手段と、
前記切替情報に含まれる前記ブロック識別情報に基づき復元すべき波形データを特定し、前記切替情報に含まれる前記期間から前記復元すべき波形データに含まれる前記圧縮波形データを特定し、前記圧縮波形データを前記切替情報に含まれる前記分周比を用いて前記圧縮波形データを前記第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手段と、
前記復元波形データを含む前記波形データを表示させる表示手段と、を有することを特徴とする論理検証システム。
（付記１３）
周波数の異なる複数のクロック信号で動作する複数の回路ブロックを、該クロック信号を切り替えて論理検証する論理検証装置と、前記論理検証装置による論理検証の結果の波形データを表示させる波形表示装置とを有する論理検証システムによる論理検証方法であって、
前記論理検証装置による
第１回路ブロックが動作していない期間、前記第１回路ブロックのクロック信号で第２回路ブロックを動作させるように制御し、前記期間と、前記第１クロック信号と前記第２回路ブロックの第２クロック信号との分周比と、前記第２回路ブロックを識別するブロック識別情報と、を含む切替情報を出力する動作制御手順と、
前記切替情報と、前記第２回路ブロックを動作させた前記第１クロック信号が前記第２クロック信号の周波数に復元される圧縮波形データを含む波形データとを出力する出力手順と、を有し、
前記波形表示装置による
前記切替情報を取得する切替情報取得手順と、
前記波形データを取得する波形データ取得手順と、
前記切替情報に含まれる前記ブロック識別情報に基づき復元すべき波形データを特定し、前記切替情報に含まれる前記期間から前記復元すべき波形データに含まれる前記圧縮波形データを特定し、前記圧縮波形データを前記切替情報に含まれる前記分周比を用いて前記圧縮波形データを第２クロック信号の周波数の波形データとなる復元波形データへ復元する復元手順と、
前記復元波形データを含む前記波形データを表示させる表示手順と、を有することを特徴とする論理検証方法。
【００９６】
本発明は、具体的に開示された実施例に限定されるものではなく、特許請求の範囲から逸脱することなく、種々の変形や変更が可能である。
【符号の説明】
【００９７】
１００  論理検証システム
２００、２００Ａ、２００Ｂ、２００Ｃ、２００Ｄ  論理検証装置
２１０  クロック供給部
２２０  期間情報取得部
２３０  出力部
２４０、２４０Ａ、２４０Ｂ  検証対象回路
２５０、２５１、２５２  分周回路
２６０、２６１  クロック切替部
２７０、２７１  動作制御部
３００  波形表示装置
３１０  波形データ取得部
３２０  期間情報取得部
３３０  復号部
【図１】
2011034371.tif 000003
【図２】
2011034371.tif 000004
【図３】
2011034371.tif 000005
【図４】
2011034371.tif 000006
【図５】
2011034371.tif 000007
【図６】
2011034371.tif 000008
【図７】
2011034371.tif 000009
【図８】
2011034371.tif 000010
【図９】
2011034371.tif 000011
【図１０】
2011034371.tif 000012
【図１１】
2011034371.tif 000013
【図１２】
2011034371.tif 000014
【図１３】
2011034371.tif 000015
【図１４】
2011034371.tif 000016
【図１５】
2011034371.tif 000017
【図１６】
2011034371.tif 000018