入力されたRTL記述データを解析し、指定されたモジュールのクロック端子からクロック生成起点までのクロック経路を探索するクロック経路探索部と、入力されたクロック制御情報にもとづいて無効クロック経路を除外し、前記クロック経路から有効クロック経路のみを抽出するクロック経路抽出部と、前記クロック生成起点のクロック周波数情報にもとづいて、クロック周波数が同一である有効クロック経路を有する複数のモジュールを、クロック周波数ごとに1つのブロックに集約し、前記ブロックおよび前記クロック生成起点をそれぞれ図形で表し、前記図形間を1本のクロック線で結んだクロック系統図を生成するクロック系統図生成部とを備えることを特徴とするクロック経路抽出装置。前記有効クロック経路が、非同期動作検証ツールへ入力されることを特徴とする請求項1に記載のクロック経路抽出装置。対話形式入力部をさらに備え、前記クロック系統図生成部が、前記対話形式入力部を介して入力されたユーザの要求に応じて、指定されたクロック線のみを表示するクロック系統図を生成することを特徴とする請求項2に記載のクロック経路抽出装置。前記クロック系統図生成部が、前記ユーザの要求に応じて、前記クロック線の周波数を前記クロック系統図に表示することを特徴とする請求項3に記載のクロック経路抽出装置。前記クロック系統図生成部が、前記ユーザの要求に応じて、指定されたクロック線と他のクロック線との同期/非同期関係を前記クロック系統図に表示することを特徴とする請求項4に記載のクロック経路抽出装置。そこで、本発明が解決しようとする課題は、タイミング検証におけるクロック系統の解析時間を短縮することのできるクロック経路抽出装置を提供することにある。実施形態のクロック経路抽出装置は、クロック経路探索部が、入力されたRTL記述データを解析し、指定されたモジュールのクロック端子からクロック生成起点までのクロック経路を探索し、クロック経路抽出部が、入力されたクロック制御情報にもとづいて無効クロック経路を除外し、前記クロック経路から有効クロック経路のみを抽出する。さらに、クロック系統図生成部が、前記クロック生成起点のクロック周波数情報にもとづいて、クロック周波数が同一である有効クロック経路を有する複数のモジュールを、クロック周波数ごとに1つのブロックに集約し、前記ブロックおよび前記クロック生成起点をそれぞれ図形で表し、前記図形間を1本のクロック線で結んだクロック系統図を生成する。以下、本発明の実施の形態について図面を参照して説明する。なお、図中、同一または相当部分には同一の符号を付して、その説明は繰り返さない。第1の実施形態図1は、本発明の第1の実施形態に係るクロック経路抽出装置の構成の例を示すブロック図である。本実施形態のクロック経路抽出装置1は、検証対象モジュールのモジュール名が入力されると、入力されたRTL記述データ100を解析し、検証対象モジュールのクロック端子からクロック生成起点までのクロック経路を探索するクロック経路探索部11と、クロック経路探索部11により探索されたクロック経路から、入力されたクロック制御情報200にもとづいて無効クロック経路を除外し、有効クロック経路のみを抽出したクロック経路情報20を出力するクロック経路抽出部12と、クロック生成起点のクロック周波数情報300にもとづいて、クロック周波数が同一である有効クロック経路を有する複数のモジュールを、クロック周波数ごとに1つのブロックに集約し、そのブロックおよびクロック生成起点をそれぞれ図形で表し、その図形間を1本のクロック線で結んだクロック系統図30を生成するクロック系統図生成部13と、を備える。本実施形態のクロック経路抽出装置1へは、非同期動作検証ツール非図示の検証対象となるモジュール検証対象モジュールのモジュール名が入力される。クロック経路探索部11は、検証対象モジュールのモジュール名が入力されると、入力されたRTL記述データ100の構文解析などを行い、検証対象モジュールのクロック端子から順次クロック経路をバックトレースして、クロック生成起点までのクロック経路を探索する。この探索経路の途中に、入力された複数のクロック信号の中から1つのクロック信号を選択して出力するクロック制御素子が存在することがある。このクロック制御素子が存在した場合、クロック経路探索部11は、入力側の複数のクロック信号をそれぞれバックトレースして、それぞれのクロック信号に対するクロック経路を探索する。しかし、非同期動作検証ツールの検証の際は、クロック制御素子により選択されたクロック信号に対するタイミング検証のみが行われる。このとき、クロック制御素子のクロック選択の制御は、クロック制御情報200にて行われる。そこで、本実施形態のクロック経路抽出装置1へも、クロック制御情報200が入力される。図2aに、クロック制御情報200の記述例を示す。クロック制御情報200には、クロックの選択を指示する制御信号の信号名とその値が記述される。クロック経路抽出部12は、クロック経路探索部11により探索されたクロック経路上にクロック制御素子が存在する場合は、クロック制御情報200を参照し、どのクロック信号が選択されているかを検査する。そして、選択されていないクロック信号の経路を無効クロック経路として除外し、クロック制御素子により選択されているクロック信号の経路のみを、有効クロック経路として抽出する。一方、クロック経路探索部11により探索されたクロック経路上にクロック制御素子が存在しない場合は、クロック経路抽出部12は、探索されたクロック経路をそのまま有効クロック経路として抽出する。クロック経路抽出部12により抽出された有効クロック経路が、クロック経路情報20として、非同期動作検証ツールへ入力される。この有効クロック経路に対して、クロック系統図生成部13が、クロック系統図30を生成する。その際、検証対象モジュールの数が多いと、有効クロック経路の数も多くなり、これをそのまま図示すると、クロック経路が錯綜して非常に見づらい図になるものと考えられる。そこで、クロック系統図生成部13は、クロック生成起点のクロック周波数情報300にもとづいて、クロック周波数が同一である有効クロック経路を有する複数のモジュールを、クロック周波数ごとに1つのブロックに集約し、そのブロックおよびクロック生成起点をそれぞれ図形で表し、その図形間を1本のクロック線で結ぶようにして、クロック系統図30を生成する。これにより、クロック系統図30に表記されるクロック信号線等の数が少なくなり、図が見やすくなる。その結果、検証対象モジュール間のクロック周波数の関係の把握が容易となる。図2bに、クロック周波数情報300の記述例を示す。ここでは、クロック生成起点CK1、CK2、CK3のクロック周期が、それぞれ記載されている。次に、図3に示すフロー図を用いて、本実施形態のクロック経路抽出装置1の処理の流れについて説明する。処理が開始されると、まず、非同期動作検証ツールが検証対象とする、検証対象モジュール名の入力が行われるステップS01。この入力に対して、クロック経路探索部11が、RTL記述データ100を検索し、検証対象モジュールのクロック端子の抽出を行うステップS02。続いて、クロック経路探索部11は、RTL記述データ100の構文解析などを行いながら、検証対象モジュールのクロック端子から順次クロック経路をバックトレースして、クロック生成起点までのクロック経路を探索するステップS03。総てのクロック経路の探索が終了すると、クロック経路抽出部12が、探索されたクロック経路上にクロック制御素子が存在するかどうかを検査し、クロック制御素子が存在する場合は、クロック制御情報200を読み込むステップS04。続いて、クロック経路抽出部12は、クロック制御情報200にもとづいて、クロック経路探索部11により探索されたクロック経路から有効クロック経路を抽出するステップS05。図4に、有効クロック経路の抽出例を示す。この例では、検証対象モジュールMD1~MD8と、クロック生成モジュールCKGENに記述されているクロック生成起点CK1、CK2、CK3との間に、有効クロック経路1~8が抽出されている。図3のフローに戻って、有効クロック経路の抽出が終了すると、クロック経路抽出部12は、抽出した有効クロック経路をクロック経路情報20として出力するステップS06。次に、クロック系統図生成部13が、クロック生成起点のクロック周波数情報300にもとづいて、クロック周波数が同一である有効クロック経路を有する複数のモジュールを、クロック周波数ごとに1つのブロックに集約するステップS07。続いて、クロック系統図生成部13は、クロック生成起点および上述のブロックをそれぞれ図形で表し、その図形間を1本のクロック線で結ぶようにして、クロック系統図30を生成するステップS08。このクロック系統図30の出力により、一連の処理は終了する。図5に、クロック系統図30の例を示す。このクロック系統図30は、図4に示した有効クロック経路の抽出例に対応したものである。図5に示す例では、クロック生成起点CK1が共通のモジュールMD1、MD3、MD4が、モジュール集約ブロックBK1に集約され、クロック生成起点CK2が共通のモジュールMD2、MD5、MD6が、モジュール集約ブロックBK2に集約され、クロック生成起点CK3が共通のモジュールMD7、MD8が、モジュール集約ブロックBK3に集約されている。また、クロック生成起点CK1を表す矩形とモジュール集約ブロックBK1を表す矩形との間が1本のクロック線CL1で結ばれ、クロック生成起点CK2を表す矩形とモジュール集約ブロックBK2を表す矩形との間が1本のクロック線CL2で結ばれ、クロック生成起点CK3を表す矩形とモジュール集約ブロックBK3を表す矩形との間が1本のクロック線CL3で結ばれている。このように、クロック系統図30では、周波数の異なるクロック生成起点に対して1本ずつクロック線が引かれるだけなので、例えば図4に示したような有効クロック経路をそのまま図示するよりは、図上に示される線の数が大幅に削減される。このような本実施形態によれば、検証対象モジュールとクロック生成起点との間のクロック経路をクロック生成起点の周波数ごとに集約化したクロック系統図30が生成されるので、検証対象モジュール間のクロック周波数の関係を容易に把握することができる。これにより、例えば非同期動作検証ツールの検証結果を解析する際に要するクロック系統の解析時間を短縮することができる。第2の実施形態クロック系統の解析を行う際など、総てのクロック系統の情報が総て表示されているよりも、解析対象のクロック系統の情報のみが必要に応じて表示される方が、より効率的に解析を進めることができる場合がある。そこで、本実施形態では、ユーザの必要とする情報を対話形式で表示することのできるクロック経路抽出装置の例を示す。図6は、本発明の第2の実施形態に係るクロック経路抽出装置の構成の例を示すブロック図である。本実施形態のクロック経路抽出装置1Aは、第1の実施形態のクロック経路抽出装置1に、対話形式入力部14を追加したものである。対話形式入力部14は、例えばGUIグラフィックユーザインターフェイスを備えており、ユーザからの表示要求をクロック系統図生成部13Aへ伝達する。クロック系統図生成部13Aは、対話形式入力部14から伝達された表示要求に応じて、ユーザから指定されたクロック系統に関するクロック系統図30を生成し、モニタ表示形式クロック系統図30Aとしてモニタ1000に表示する。このとき、対話形式入力部14がGUIを備えている場合は、ユーザからの表示要求は、モニタ1000に表示されているモニタ表示形式クロック系統図30Aの一部を、例えばマウスでクリックすることにより、入力されるものとする。また、クロック系統図生成部13Aは、ユーザの要求に応じて、印刷形式クロック系統図30Bも出力する。次に、本実施形態において、モニタ表示形式クロック系統図30Aの表示内容をGUIにより変更する例を、図7~図10を用いて説明する。なお、ここでは、実施形態1の説明に用いた例と同じクロック経路抽出結果を例にとって説明する。図7aは、モニタ1000に表示される初期画面の例である。初期画面では、クロック生成起点CK1、CK2、CK3が含まれるクロック生成モジュールCKGENを表す矩形と、モジュール集約ブロックBK1、BK2、BK3をそれぞれ表す矩形のみが表示されている。ここで、例えば、モジュール集約ブロックBK1のクロックに関する情報を入手したい場合、ユーザは、モジュール集約ブロックBK1の矩形を選択してクリックする。これに応答して、クロック系統図生成部13Aは、図7bに示すような、モジュール集約ブロックBK1とクロック生成起点CK1との間にクロック線CL1を配線したモニタ表示形式クロック系統図30Aを生成し、モニタ1000に表示する。この表示に対して、モジュール集約ブロックBK1が再度選択されると、クロック系統図生成部13Aは、図8aに示すクロック系統図に加えて、図8bに示すような、モジュール集約ブロックBK1に集約されているモジュールの内訳とクロック周波数を示す表を生成し、モニタ1000に追加表示する。この表示に対して、クロック線CL1が選択されると、クロック系統図生成部13Aは、図9aに示すように、クロック線CL1と、クロック線CL1と同期関係にあるクロック線CL3とを配線したクロック系統図30を作成する。このクロック系統図30には、クロック線CL1とクロック線CL3が同期関係にあること示すSYNCが表示される。また、クロック系統図生成部13Aは、モニタ1000にモニタ表示形式クロック系統図30Aを表示するとき、クロック線CL1とクロック線CL3は、例えば表示色を異ならせるなど、その表示形態を異ならせて表示する。この表示に対して、クロック線CL3が接続されるモジュール集約ブロックBK3が選択されると、クロック系統図生成部13Aは、図9bに示すような、モジュール集約ブロックBK3に集約されているモジュールの内訳とクロック周波数を示す表を生成し、モニタ1000に追加表示する。また、この表には、モジュール集約ブロックBK3がモジュール集約ブロックBK1と同期関係にあること示すSYNCも表示される。続いて、クロック線CL1が再選択されると、クロック系統図生成部13Aは、図10aに示すように、クロック線CL1と、クロック線CL1と非同期関係にあるクロック線CL2とを配線したクロック系統図30を作成する。このクロック系統図30には、クロック線CL1とクロック線CL2が非同期関係にあること示すASYNCが表示される。また、クロック系統図生成部13Aは、モニタ1000にモニタ表示形式クロック系統図30Aを表示するとき、クロック線CL1とクロック線CL2は、例えば表示色を異ならせるなど、その表示形態を異ならせて表示する。この表示に対して、クロック線CL2が接続されるモジュール集約ブロックBK2が選択されると、クロック系統図生成部13Aは、図10bに示すような、モジュール集約ブロックBK2に集約されているモジュールの内訳とクロック周波数を示す表を生成し、モニタ1000に追加表示する。また、この表には、モジュール集約ブロックBK2がモジュール集約ブロックBK1と非同期関係にあること示すASYNCも表示される。そのほか、クロック系統図生成部13Aは、図11に示すように、上述した総ての情報を表示するクロック系統図30の生成も行う。これをモニタ表示形式クロック系統図30Aとして表示するときは、クロック線CL1、クロック線CL2、クロック線CL3は、例えば表示色をそれぞれ異ならせるなど、その表示形態を異ならせて表示する。また、このクロック系統図30を印刷形式クロック系統図30Bとして出力するときは、クロック系統図生成部13Aは、プリンタサイズに合わせたリサイズ処理を行い、指定サイズの用紙への印刷を可能とする。これにより、ユーザが必要とするクロック情報ドキュメントの作成が可能となる。このような本実施形態によれば、ユーザの要求に応じて、ユーザが必要とする情報のみが記載されたクロック系統図が作成されるので、ユーザは、クロック系統の解析時間をより短縮することができる。以上説明した少なくとも1つの実施形態のクロック経路抽出装置によれば、タイミング検証におけるクロック系統の解析時間を短縮することができる。また、本発明のいくつかの実施形態を説明したが、これらの実施形態は、例として提示したものであり、発明の範囲を限定することは意図していない。これら新規な実施形態は、その他の様々な形態で実施されることが可能であり、発明の要旨を逸脱しない範囲で、種々の省略、置き換え、変更を行うことができる。これら実施形態やその変形は、発明の範囲や要旨に含まれるとともに、特許請求の範囲に記載された発明とその均等の範囲に含まれる。