(57)【特許請求の範囲】
【請求項１】
コンピュータに、
処理対象カスタムマクロの出力側の論理と複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロに含まれる論理ゲートの数に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、
前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
途中で一致が無くなった場合は、ライブラリマクロ同士の論理の一致に基づいて前記複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、
一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す
処理を実行させるライブラリマクロ検出プログラム。
【請求項２】
前記選択する処理において、前記処理対象カスタムマクロの出力側の論理と前記ライブラリマクロの出力側の論理が一致し、且つ、含まれている論理ゲートの数が最大であるライブラリマクロを前記検証対象ライブラリマクロとして選択すること特徴とする請求項１記載のライブラリマクロ検出プログラム。
【請求項３】
前記ライブラリマクロ検出プログラムは、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロに対応する論理を切り出し、
前記検証対象ライブラリマクロに対する動的タイミング解析を行い、
前記処理対象カスタムマクロのうち切り出された前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析を行い、
前記検証対象ライブラリマクロに対する動的タイミング解析の結果と前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析の結果とを用いて前記処理対象カスタムマクロの静的タイミング解析を行う
処理を前記コンピュータにさらに実行させ、
前記コンピュータは、前記検証対象ライブラリマクロに対応する論理を切り出す処理において、同一の複数の前記検証対象ライブラリマクロに対応する論理を切り出した場合、前記検証対象ライブラリマクロに対する動的タイミング解析を行う処理において、前記複数の検証対象ライブラリマクロのうちの１つの前記検証対象ライブラリマクロに対してのみ動的タイミング解析を行うことを特徴とする請求項１または２記載のライブラリマクロ検出プログラム。
【請求項４】
ライブラリマクロ同士の論理の種類と接続関係の一致に基づいて、複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを格納する記憶部と、
処理対象カスタムマクロの出力側の論理と前記複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロに含まれる論理ゲートの数に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、途中で一致が無くなった場合は、前記ライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す処理部
を備えるライブラリマクロ検出装置。
【請求項５】
コンピュータが実行するライブラリマクロ検出方法であって、
処理対象カスタムマクロの出力側の論理と複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロに含まれる論理ゲートの数に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、
前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
途中で一致が無くなった場合は、ライブラリマクロ同士の論理の一致に基づいて前記複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、
一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す
処理を含むライブラリマクロ検出方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ライブラリマクロ検出プログラム、ライブラリマクロ検出装置、およびライブラリマクロ検出方法に関する。
【背景技術】
【０００２】
近年の高性能プロセッサの開発には、トランジスタ素子で設計される高性能なカスタムマクロが使用されている。
【０００３】
カスタムマクロは、基本的なライブラリマクロを作成し、複数のライブラリマクロを組み合わせてカスタムマクロの多機能化を行なっている。また、高速化や省電力などを優先する箇所には専用マクロとして作成し、カスタムマクロを作成する。
【０００４】
カスタムマクロは、ライブラリマクロや専用マクロをトランジスタ素子まで細分化されたネットリスト（論理、接続、電気特性）で表現されているため、トランジスタ素子がどのライブラリマクロに属しているかの情報がなくなっている。なお、電気特性は、高速化や省電力の情報が反映されている。
【０００５】
そのため、カスタムマクロのディレイ解析を行う際は、カスタムマクロのネットリストを基に回路ブロックを抽出して、抽出したブロック毎に動的タイミング解析を行い、解析結果をディレイライブラリとして生成する。その後、ディレイライブラリを用いて静的タイミング解析を行なっている。ディレイライブラリには、シミュレーションによって得られた、対象マクロのタイミング制約値（セットアップ／ホールド時間）やディレイ値などの特性情報が含まれている。
【０００６】
動的タイミング解析とは、信号の伝搬時間を、遅延時間を考慮したシミュレーションを用いて測定する解析方法である。動的タイミング解析では、測定したい回路に信号が適切に伝搬するように回路条件を設定することが望ましく、計算に時間がかかる。
【０００７】
また、静的タイミング解析とは、信号の遅延時間を、ディレイライブラリに格納された値を使用した単純な足し算で求める解析方法である。静的タイミング解析は、回路条件の設定が不要で、短時間で計算できる。
【０００８】
同一トランジスタ群を有するマクロ毎にグループ分けを行い、マクロ群から代表マクロを選択し、回路シミュレーションを実行して、対応づけられたマクロに対して統計的タイミング解析用セルライブラリを作成する技術が知られている（例えば、特許文献１参照）。また、特許文献２〜５に記載の解析方法が知られている。
【先行技術文献】
【特許文献】
【０００９】
【特許文献１】特開２０１０−２１８２５２号公報
【特許文献２】特開２００２−２１５７１０号公報
【特許文献３】特開２００８−１１２４０６号公報
【特許文献４】特開２００７−１０２４２０号公報
【特許文献５】特開２０００−２１５２２０号公報
【発明の概要】
【発明が解決しようとする課題】
【００１０】
動的タイミング解析は、複雑な計算を行うため時間がかかり、ディレイライブラリ作成には膨大な時間がかかる。カスタムマクロ内の同一ライブラリマクロに該当する複数の箇所については、ディレイの解析結果であるディレイ値は許容範囲である特徴がある。このことから、カスタムマクロから複数の同一ライブラリマクロを抽出して、抽出された複数の同一のライブラリマクロのうちの１つに動的タイミング解析を行い、解析結果を残りの同一のライブラリマクロの解析結果として利用することで、動的タイミング解析を行うライブラリマクロの数を減らす方法がある。
【００１１】
しかし、カスタムマクロはトランジスタ素子まで細分化されたネットリスト（論理、接続、電気特性）で表現されているため、トランジスタ素子がどのライブラリマクロに属しているかの情報がなくなっている。このため、カスタムマクロ内のトランジスタ素子がどのライブラリマクロに対応しているかを判定するため通常の総当たり手法を用いており、ライブラリマクロを抽出するのに時間がかかるという問題がある。
【００１２】
本発明の課題は、カスタムマクロからライブラリマクロを高速に検出することである。
【課題を解決するための手段】
【００１３】
実施の形態のライブラリマクロ検出プログラムは、コンピュータに、処理対象カスタムマクロの出力側の論理と複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロに含まれる論理ゲートの数に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択させる。そして、前記ライブラリマクロ検出プログラムは、前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、途中で一致が無くなった場合は、ライブラリマクロ同士の論理の一致に基づいて前記複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックさせる。前記ライブラリマクロ検出プログラムは、前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返させる処理を前記コンピュータに実行させる。
【発明の効果】
【００１４】
実施の形態のライブラリマクロ検出プログラムによれば、カスタムマクロからライブラリマクロを高速に検出することができる。このためカスタムマクロのディレイ解析時間の短縮が可能となる。
【図面の簡単な説明】
【００１５】
【図１】実施の形態に係る解析装置の構成図である。
【図２】カスタムマクロの例である。
【図３】カスタムマクロの例の構成を示す図である。
【図４】ライブラリマクロの例である。
【図５】ライブラリマクロの例の構成を示す図である。
【図６】ライブラリマクロ合同認識ＤＢの例である。
【図７】実施の形態に係る解析処理のフローチャートである。
【図８】ライブラリマクロの内部論理群の関連付け処理の詳細なフローチャートである。
【図９】ライブラリマクロＡとライブラリマクロＢの関連付けを説明する図である。
【図１０】ライブラリマクロＡとライブラリマクロＢの関連付けを説明する図である。
【図１１】ライブラリマクロＡ〜Ｅを関連付けした場合の結果を示す図である。
【図１２】ライブラリマクロ抽出・解析処理の詳細なフローチャートである。
【図１３】ライブラリマクロの抽出する処理を説明する図である。
【図１４】ライブラリマクロの抽出する処理を説明する図である。
【図１５】ライブラリマクロの抽出する処理を説明する図である。
【図１６】ライブラリマクロの抽出する処理を説明する図である。
【図１７】実施の形態に係る解析処理のライブラリマクロ抽出・解析処理から終了までの処理を説明する図である。
【図１８】実施の形態に係る解析処理のライブラリマクロ抽出・解析処理から終了までの処理を説明する図である。
【図１９】実施の形態に係る解析処理のライブラリマクロ抽出・解析処理から終了までの処理を説明する図である。
【図２０】実施の形態に係る解析処理のライブラリマクロ抽出・解析処理から終了までの処理を説明する図である。
【図２１】情報処理装置（コンピュータ）の構成図である。
【発明を実施するための形態】
【００１６】
以下、図面を参照しながら実施の形態について説明する。
図１は、実施の形態に係る解析装置の構成図である。
【００１７】
解析装置１０１は、記憶部２０１および処理部３０１を備える。
記憶部２０１は、解析装置１０１で使用される各種データを記憶する。記憶部２０１は、カスタムマクロ２１１、ライブラリマクロ２１２、ライブラリマクロ合同認識データベース（ＤＢ）２１３、ライブラリマクロディレイライブラリ２１４、分割回路ディレイライブラリ２１５、およびカスタムマクロディレイライブラリ２１６を格納する。
【００１８】
カスタムマクロ２１１は、ライブラリマクロや専用マクロを含む解析対象となるマクロである。
【００１９】
ライブラリマクロ２１２は、カスタムマクロ２１１の構成に利用される基本的なマクロである。
【００２０】
ライブラリマクロ合同認識ＤＢ２１３は、ライブラリマクロ２１２内の論理の一致に基づくライブラリマクロ２１２間の関連を示す。
【００２１】
ライブラリマクロディレイライブラリ２１４は、カスタムマクロ２１１に含まれるライブラリマクロ２１２の動的タイミング解析の解析結果である。
【００２２】
分割回路ディレイライブラリ２１５は、カスタムマクロ２１１内のライブラリマクロ２１２以外の回路の動的タイミング解析の解析結果である。
【００２３】
カスタムマクロディレイライブラリ２１６は、ライブラリマクロディレイライブラリ２１４と分割回路ディレイライブラリ２１５に基づく、カスタムマクロ２１１の静的タイミング解析の解析結果である。
【００２４】
処理部３０１は、ライブラリマクロの抽出やタイミング解析等の各種処理を行う。処理部３０１は、ライブラリマクロ解析部３１１、ライブラリマクロ検索部３１２、ライブラリマクロ切抜き部３１３、動的タイミング解析部３１４、および静的タイミング解析部３１５を備える。
【００２５】
ライブラリマクロ解析部３１１は、ライブラリマクロ２１２からライブラリマクロ２１２内の論理の一致に基づくライブラリマクロ２１２間の関連を示すライブラリマクロ合同認識ＤＢ２１３を生成する。
【００２６】
ライブラリマクロ検索部３１２は、カスタムマクロ２１１からライブラリマクロ２１２を検索する。
【００２７】
ライブラリマクロ切抜き部３１３は、ライブラリマクロ検索部３１２による検索結果に基づいて、カスタムマクロ２１１からライブラリマクロ２１２を切り抜く。
【００２８】
動的タイミング解析部３１４は、動的タイミング解析を行い、解析結果をライブラリマクロディレイライブラリ２１４または分割回路ディレイライブラリ２１５に格納する。
【００２９】
静的タイミング解析部３１５は、ライブラリマクロディレイライブラリ２１４と分割回路ディレイライブラリ２１５から静的タイミング解析を行い、解析結果をカスタムマクロディレイライブラリ２１６に格納する。
【００３０】
ここで、カスタムマクロ２１１について説明する。
図２は、カスタムマクロの例であり、図３は、カスタムマクロの例の構成を示す図である。
【００３１】
カスタムマクロ２１１は、図２に示されるようなネットリストより表現される。図２に示されるようなネットリストの構成を示すと図３のようになる。カスタムマクロ２１１は、論理番号、論理、ＰＩＮ接続情報（論理番号）、電気特性、および切り抜き情報が対応付けられて記載されている。
【００３２】
論理番号は、カスタムマクロに含まれる論理（構成要素）に割り当てられた番号である。論理番号は、カスタムマクロの出力側から１から順に付けられている。尚、図２において、論理番号１と１０の間の論理番号は省略されている。
【００３３】
論理は、論理の種類（機能）を示す。論理は、例えば、インバータ（ＩＮＶ）、ＡＮＤ、ＯＲ、ＮＡＮＤ、またはＮＯＲ等がある。
【００３４】
ＰＩＮ接続情報（論理番号）は、項目として入力１、入力２、入力ｎを含み、各入力の接続先の論理を示し、接続されている論理の論理番号が記載される。すなわち、カスタムマクロ内の論理の接続関係を示す。尚、ＸＸは接続される論理が未定であることを示す。
【００３５】
電気特性は、項目として抵抗（Ｒ）、容量（Ｃ）、電圧（Ｖ）を含み、論理の電気特性を示す。
【００３６】
切り抜き情報は、論理が切り抜かれたか否か、切り抜かれた論理が属するグループ、切り抜かれた論理に対応するライブラリマクロが記載される。
【００３７】
次に、ライブラリマクロ２１２について説明する。
図４は、ライブラリマクロの例であり、図５は、ライブラリマクロの例の構成を示す図である。
【００３８】
実施の形態において、ライブラリマクロは５個とし、記憶部２０１には、ライブラリマクロ２１２−ｉ（ｉ＝１〜５）が格納されているとする。
【００３９】
ライブラリマクロ２１２−ｉは、図４に示されるようなネットリストより表現される。図４に示されるようなネットリストの構成を示すと図５のようになる。ライブラリマクロ２１２−ｉは、ライブラリ属性、論理番号、論理、ＰＩＮ接続情報（論理番号）、および電気特性が対応付けられて記載されている。
【００４０】
ライブラリ属性は、ライブラリマクロを識別する情報である。ライブラリ属性には、例えば、ライブラリマクロの名称が記載される。ここで、ライブラリマクロ２１２−１〜２１２−５の名称をそれぞれライブラリマクロＡ〜Ｅとする。
【００４１】
論理番号は、ライブラリマクロに含まれる論理（構成要素）に割り当てられた番号である。論理番号は、ライブラリマクロの出力側から１から順に付けられている。
【００４２】
論理は、論理の種類（機能）を示す。
ＰＩＮ接続情報（論理番号）は、項目として入力１、入力２、入力ｎを含み、各入力の接続先の論理を示し、論理の入力に接続されている論理の論理番号が記載される。すなわち、ライブラリマクロ内の論理の接続関係を示す。尚、“０”はライブラリマクロの外部と接続することを示す。
【００４３】
電気特性は、項目として抵抗（Ｒ）、容量（Ｃ）、電圧（Ｖ）を含み、論理の電気特性を示す。
【００４４】
図６は、ライブラリマクロ合同認識ＤＢの例である。ライブラリマクロ合同認識ＤＢ２１３は、ライブラリマクロ解析部３１１によりライブラリマクロ２１２から生成される。
【００４５】
ライブラリマクロ合同認識ＤＢ２１３は、ライブラリ属性、論理番号、論理、ＰＩＮ接続情報（論理番号）、電気特性、およびマクロ関連付けが対応付けられて記載されている。
【００４６】
ライブラリ属性、論理番号、論理、ＰＩＮ接続情報（論理番号）、および電気特性は、上述のライブラリマクロ２１２−ｉと同様であるため説明は省略する。
【００４７】
マクロ関連付けは、ＦＷ、ＲＶ、ＴＯＰを含み、ＦＷには関連付けされる相手先のライブラリ属性と論理番号が記載される。ＲＶには関連付けされた戻り先のライブラリ属性と論理番号が記載される。論理が一致するライブラリマクロ内で論理規模が一番大きい場合にＴＯＰに“１”が記載される。
【００４８】
図７は、実施の形態に係る解析処理のフローチャートである。
ステップＳ５０１において、処理部３０１は、ライブラリマクロ２１２の内部の論理（内部論理群）の関連付け処理を行う。
【００４９】
ここで、ライブラリマクロの内部論理群の関連付け処理の詳細について説明する。
図８は、ライブラリマクロの内部論理群の関連付け処理の詳細なフローチャートである。図８は、図７のステップＳ５０１に対応する。
【００５０】
ステップＳ５１１において、ライブラリマクロ解析部３１１は、ライブラリマクロ２１２が更新されたか否か判定する。
【００５１】
ステップＳ５１２において、ライブラリマクロ２１２−ｉが更新されていた場合、制御はステップＳ５１３に進み、更新されていなかった場合、関連付け処理は終了する。
【００５２】
ステップＳ５１３において、ライブラリマクロ解析部３１１は、ライブラリマクロ２１２−ｉを読み込み、ライブラリマクロ２１２−ｉからライブラリマクロ合同認識ＤＢ２１３を生成する。このとき、ライブラリマクロ合同認識ＤＢ２１３のライブラリ属性、論理番号、論理、ＰＩＮ接続情報（論理番号）、および電気特性は、ライブラリマクロ２１２−ｉのライブラリ属性、論理番号、論理、ＰＩＮ接続情報（論理番号）、および電気特性を使用する。また、ライブラリマクロ合同認識ＤＢ２１３のマクロ関連付けは空欄である。ライブラリマクロ解析部３１１は、ライブラリマクロ２１２−ｉの組み合わせを１つ選択、すなわちライブラリマクロ２１２−ｉの内から２つのライブラリマクロ２１２−ｉを選択する。そして、ライブラリマクロ解析部３１１は、選択したライブラリマクロ２１２−ｉの論理を出力側から入力側に向かって一致するか否か検証する。
【００５３】
ステップＳ５１４において、ライブラリマクロ解析部３１１は、出力側から入力側に少なくとも１つ以上の論理が一致した場合、制御はステップＳ５１４に進み、論理が一致しなかった場合、制御はステップＳ５１６に進む。
【００５４】
ステップＳ５１５において、ライブラリマクロ解析部３１１は、論理規模が一番大きいライブラリマクロを選択する。
【００５５】
ステップＳ５１６において、ライブラリマクロ解析部３１１は、論理規模が大きいライブラリマクロの順に双方向に関連付け情報であるマクロ関連付けを設定する。
【００５６】
ここで、ライブラリマクロ２１２−１（ライブラリマクロＡ）とライブラリマクロ２１２−２（ライブラリマクロＢ）を選択した場合のライブラリマクロＡとライブラリマクロＢの関連付けの例を説明する。図９および図１０は、ライブラリマクロＡとライブラリマクロＢの関連付けを説明する図である。ライブラリマクロＡとライブラリマクロＢのそれぞれの論理を出力側から順に一致するか検証すると、図１０に示すように出力側からインバータ（ＩＮＶ）１とＡＮＤ１が一致する。
【００５７】
よって、ライブラリマクロＡの論理番号＝１のＩＮＶに対応するマクロ関連付けのＦＷとＲＶにライブラリマクロＢの論理番号１のＩＮＶ（Ｂ−１）を設定する。ライブラリマクロＡの論理番号＝２のＡＮＤに対応するマクロ関連付けのＦＷとＲＶにライブラリマクロＢの論理番号２のＡＮＤ（Ｂ−２）を設定する。また、ライブラリマクロＢの論理番号＝１のＩＮＶに対応するマクロ関連付けのＦＷとＲＶにライブラリマクロＡの論理番号１のＩＮＶ（Ａ−１）を設定する。ライブラリマクロＢの論理番号＝２のＡＮＤに対応するマクロ関連付けのＦＷとＲＶにライブラリマクロＡの論理番号２のＡＮＤ（Ａ−２）を設定する。
【００５８】
また、さらにライブラリマクロＡの論理番号＝２のＡＮＤがライブラリマクロＣの論理番号＝２のＡＮＤと双方向に関連付けられ、ライブラリマクロＢの論理番号＝２のＡＮＤもライブラリマクロＣの論理番号＝２のＡＮＤと双方向に関連付けられたとする。このとき、ライブラリマクロＡの論理規模（論理の数）は４であるので、ライブラリマクロＢ，Ｃよりも大きい。よって、一番大きい論理規模のライブラリマクロＡから順に１周するように双方向の関連付けを行う。すなわち、論路番号＝２のＡＮＤに関して、ライブラリマクロＡからライブラリマクロＢ、Ｃの順に順方向（ＦＷ）の関連付けを行い、ライブラリマクロＡからライブラリマクロＣ、Ｂの順に逆方向方向（ＲＶ）の関連付けを行う。
【００５９】
ここで、ライブラリマクロ２１２−ｉを関連付けした場合の結果を示す。図１１は、ライブラリマクロ２１２−ｉ（ライブラリマクロＡ〜Ｅ）を関連付けした場合の結果を示す。また、図６は、ライブラリマクロ２１２−ｉを関連付けした場合のライブラリマクロ合同認識ＤＢ２１３を示す。図１１において、論理を結ぶ矢印は、関連付けがされた論理であることを示し、矢印の方向は関連付けのＦＷの方向を示し、論理規模の大きい順に１周するように設定されている。
【００６０】
ステップＳ５１７において、関連付けが終了した場合（すなわち、すべてのライブラリマクロ２１２−ｉの組み合わせを検証した場合）、制御はステップＳ５１９に進み、関連付けが終了していない場合、制御はステップＳ５１８に進む。
【００６１】
ステップＳ５１８において、ライブラリマクロ解析部３１１は、未選択のライブラリマクロ２１２−ｉの組み合わせを１つ選択する。ライブラリマクロ解析部３１１は、選択したライブラリマクロ２１２−ｉの論理を出力側から入力側に向かって一致するか否か検証する。
【００６２】
ステップＳ５１９において、ライブラリマクロ解析部３１１は、ステップＳ５１６で設定した関連付けの情報（マクロ関連付け）をライブラリ合同認識ＤＢ２１３に格納する。
【００６３】
図７に戻り説明を続ける。
ステップＳ５２１において、処理部３０１は、ライブラリマクロ抽出・解析処理を行う。
【００６４】
ここで、ライブラリマクロ抽出・解析処理の詳細について説明する。
図１２は、ライブラリマクロ抽出・解析処理の詳細なフローチャートである。図１２は、図７のステップＳ５２１に対応する。
【００６５】
ステップＳ５３１において、ライブラリマクロ検索部３１２は、カスタムマクロ２１１の出力側の先頭の論理（論理番号＝１の論理）を検証ポイントに設定する。
【００６６】
ステップＳ５３２において、ライブラリマクロ検索部３１２は、カスタムマクロ２１１を参照し、検証ポイントに対応する論理の電気特性に基づいて、検証ポイントに対応する論理がライブラリマクロか専用マクロか判定する。例えば、図２のカスタムマクロ２１１において、論理番号１０のＡＮＤに対応する電気特性のＶ（電圧）は「高い」である。その場合、論理番号１０のＡＮＤは専用マクロと判定される。また、論理番号１のＯＵＴに対応する電気特性のＶ（電圧）は空白であり、その場合も専用マクロと判定される。また、図２のカスタムマクロ２１１において、電気特性が「通常」となっている論理は、カスタムマクロと判定される。カスタムマクロ２１１の電気特性を識別することにより、ライブラリマクロか専用マクロかを判別し、論理が一致で誤って異なるライブラリマクロを抽出することを防止することができる。
【００６７】
ステップＳ５３３において、ライブラリマクロ検索部３１２は、ライブラリマクロと判定された場合、制御はステップＳ５３３に進み、ライブラリマクロでない（すなわち、専用マクロである）と判定された場合、制御はステップＳ５３４に進む。
【００６８】
ステップＳ５３４において、ライブラリマクロ検索部３１２は、カスタムマクロ２１１の全ての論理を検証した場合、処理を終了し、検証していない論理が残っている場合、制御はステップＳ５４４に進む。
【００６９】
ステップＳ５３５において、ライブラリマクロ検索部３１２は、検証ポイントの論理と論理番号＝１の論理が一致するライブラリマクロ２１２−ｉのうち、論理規模が最大のライブラリマクロを検証対象ライブラリマクロに設定する。すなわち、検証ポイントの論理と論理番号＝１の論理が一致するライブラリマクロ２１２−ｉのうち、論理番号＝１の論理に対応するマクロ関連付けのＴＯＰが“１”となっているライブラリマクロ２１２−ｉを検証対象ライブラリマクロに設定する。例えば、図１３に示すように、カスタムマクロ２１１の論理番号＝１１のＩＮＶを検証ポイントとする。ライブラリマクロＡ〜Ｅの全てにおいて、論理番号＝１の論理はＩＮＶである。ライブラリマクロＡ〜Ｅのうち、論理番号１の論理に対応するマクロ関連付けのＴＯＰが“１”となっているライブラリマクロは、ライブラリマクロＡである。よって、ライブラリマクロ検索部３１２は、ライブラリマクロＡを検証対象ライブラリマクロに設定する。論理規模の大きい順にライブラリマクロから、カスタムマクロと検証対象ライブラリマクロの出力より論理の一致を検証することにより、ライブラリマクロディレイライブラリの個数を削減すると共に、カスタムマクロの分離を防止できる。
【００７０】
ステップＳ５３６において、ライブラリマクロ検索部３１２は、検証ポイントの前段論理に対応する検証対象ライブラリマクロの前段論理のＰＩＮ接続情報の各入力の論理番号をチェックする。
【００７１】
ステップＳ５３７において、ライブラリマクロ検索部３１２は、ライブラリマクロを抽出（検出）できたか否か判定する。ライブラリマクロ検索部３１２は、検証ポイントの前段論理に対応する検証対象ライブラリマクロの前段論理のＰＩＮ接続情報の各入力の論理番号が全て０の場合、ライブラリマクロを抽出（検出）できたと判定する。ライブラリマクロを抽出（検出）できた場合、制御はステップＳ５４２に進み、ライブラリマクロを抽出（検出）できない場合、制御はステップＳ５３８に進む。
【００７２】
ステップＳ５３８において、ライブラリマクロ検索部３１２は、検証ポイントが指すカスタムマクロ２１１の論理の前段（ＰＩＮ接続情報の各入力の論理番号）の論理と、検証ポイントが指すカスタムマクロ２１１の前段に対応した検証対象ライブラリマクロの前段（ＰＩＮ接続情報の各入力の論理番号）の論理とが一致するか判定する。
【００７３】
ステップＳ５３９において、検証ポイントが指すカスタムマクロ２１１の論理の前段の論理と、検証ポイントが指すカスタムマクロ２１１の前段に対応した検証対象ライブラリマクロの前段の論理とが一致した場合、制御はステップＳ５４０に進み、一致しなかった場合、制御はステップＳ５４１に進む。
【００７４】
ステップＳ５４０において、ライブラリマクロ検索部３１２は、カスタムマクロ２１１の検証ポイントを現在の検証ポイントの前段の論理に変更する。例えば、図１４に示すように、カスタムマクロ２１１の論理番号＝１１のＩＮＶを検証ポイントとする。カスタムマクロ２１１の検証ポイントの前段の論理（論理番号＝１２のＡＮＤ）は、検証対象ライブラリマクロの前段の論理（論理番号＝２のＡＮＤ）と一致する。よって、検証ポイントは、前段に移動し、カスタムマクロ２１１の論理番号＝１２のＡＮＤとなる。
【００７５】
ステップＳ５４１において、ライブラリマクロ検索部３１２は、ライブラリマクロ合同認識ＤＢ２１３のマクロ関連付けのＦＷに基づいて、検証対象ライブラリマクロの次に大きいライブラリマクロを新たに検証対象ライブラリマクロに設定する。すなわち、ライブラリマクロ検索部３１２は、ライブラリマクロ合同認識ＤＢ２１３のマクロ関連付けのＦＷに記載のライブラリマクロと論理番号を新たな検証対象ライブラリマクロと検証ポイントに設定する。例えば、図１５に示すように、検証ポイントが指すカスタムマクロ２１１の論理の前段の論理（論理番号＝１３のＮＡＮＤ）と、検証ポイントが指すカスタムマクロ２１１の前段に対応した検証対象ライブラリマクロの前段の論理（論理番号＝３のＩＮＶ）とが一致していない（ステップＳ５３９：Ｎｏ）。このとき、検証ライブラリは、ライブラリマクロ合同認識ＤＢ２１３のライブラリマクロＡの論理番号＝２のＡＮＤに対応するマクロ関連付けのＦＷに記載されたライブラリマクロＢに変更される。
【００７６】
図１６に示すように、検証ライブラリがライブラリマクロＢに変更され、ライブラリマクロ検索部３１２は、検証ポイントの前段論理に対応する検証対象ライブラリマクロの前段論理のＰＩＮ接続情報の各入力の論理番号をチェックする（ステップＳ５３６）。検証ポイントの前段論理に対応する検証対象ライブラリマクロの前段論理（論理番号＝３のＮＡＮＤ）のＰＩＮ接続情報の各入力の論理番号が全て０なので（ステップＳ５３７：Ｙｅｓ）、ライブラリマクロＢが抽出（検出）できたと判定される。そして、カスタムマクロ２１１からライブラリマクロＢが切り抜かれる（ステップＳ５４２）。従来のライブラリマクロＢの検索では、ライブラリマクロＢのＩＮＶとＡＮＤの検証が必要であったが、カスタムマクロとライブラリマクロＡの一致検証結果を使用することによりこの処理が省略可能となり、検索時間を短縮できる。
【００７７】
ステップＳ５４２において、ライブラリマクロ切抜き部３１３は、カスタムマクロ２１１から一致したライブラリマクロ（検証対象ライブラリマクロ）を切り出す。詳細には、ライブラリマクロ切抜き部３１３は、検証対象ライブラリマクロに対応する論理と対応するカスタムマクロ２１１の論理を削除する。例えば、ライブラリマクロ切抜き部３１３は、対応するカスタムマクロ２１１の論理の切り抜き情報に切り抜いたことを示すＮｕｌｌを記載する。また、ライブラリマクロ切抜き部３１３は、切り抜いた論理の切り抜き情報に今回のステップＳ５４２で切り抜いた同一の論理であることを示すグループ情報と、どのライブラリマクロで切り抜かれたかを示す情報(例えば、ライブラリ属性）を記載する。
【００７８】
ステップＳ５４３において、動的タイミング解析部３１４は、検証対象ライブラリマクロの動的タイミング解析を行い、解析結果とカスタムマクロ２１１内の切り抜いた（削除した）のライブラリマクロの位置をライブラリマクロディレイライブラリ２１４に格納する。尚、すでに検証対象ライブラリマクロと同一のライブラリマクロの動的タイミング解析を行っていた場合、検証対象ライブラリマクロの動的タイミング解析は行わず、カスタムマクロ２１１内の切り抜いたライブラリマクロの位置をライブラリマクロディレイライブラリ２１４に格納する。
【００７９】
ステップＳ５４４において、ライブラリマクロ検索部３１２は、カスタムマクロ２１１の検証ポイントを現在の検証ポイントの前段の論理に変更する。
【００８０】
図７に戻り説明を続ける。
ステップＳ５５１において、動的タイミング解析部３１４は、カスタムマクロ２１１内の切り抜いたライブラリマクロ以外の回路に対して動的タイミング解析を行い、解析結果を分割回路ディレイライブラリ２１５に格納する。カスタムマクロ２１１内の切り抜いたライブラリマクロ以外の回路に対する動的タイミング解析は、例えば、特開２００２−２１５７１０号公報に記載の方法を用いても良い。
【００８１】
ステップＳ５６１において、静的タイミング解析部３１５は、ディレイマクロライブラリ２１４と分割ディレイライブラリ２１５を用いて、カスタムマクロ２１１全体の遅延特性ライブラリを作成して静的タイミング解析を行い、解析結果をカスタムマクロディレイライブラリ２１６に格納する。
【００８２】
上述の実施の形態の解析処理のライブラリマクロ抽出・解析処理から終了までの処理の流れを図１７〜２０を用いて説明する
図１７〜２０は、実施の形態に係る解析処理のライブラリマクロ抽出・解析処理から終了までの処理を説明する図である。
【００８３】
ライブラリマクロ検索部３１２は、カスタムマクロ２１１内の検索対象のライブラリマクロ２１２を検索する（図１７）。ここで、カスタムマクロ２１１内に２つのライブラリマクロ２１２が検出されたとする。ライブラリマクロ切抜き部３１３は、カスタムマクロ２１１から検出されたライブラリマクロを切り抜く（除去する）（図１７）。
【００８４】
動的タイミング解析部３１４は、２つの切り抜いたライブラリマクロのいずれか１つに対して、動的タイミング解析を行い、２つのライブラリマクロに対する共通のライブラリマクロディレイライブラリ２１４を作成する（図１８）。
【００８５】
動的タイミング解析部３１４は、カスタムマクロ２１１内の切り抜いたライブラリマクロ以外の回路に対して動的タイミング解析を行い、解析結果を分割回路ディレイライブラリ２１５に格納する（図１９）。詳細には、カスタムマクロ２１１内の切り抜いたライブラリマクロ以外の回路は、３つの回路Ａ〜Ｃに分割されており、各回路Ａ〜Ｃに対する動的タイミング解析の解析結果をそれぞれ分割回路ディレイライブラリＡ〜Ｃに格納する（図１９）。
【００８６】
静的タイミング解析部３１５は、切り抜いた２つのライブラリマクロに対するライブラリマクロディレイライブラリ２１４と残った３つの回路に対する分割回路ディレイライブラリＡ〜Ｃとを用いて、カスタム回路２１１全体の遅延特性ライブラリを作成して静的タイミング解析を行い、解析結果をカスタムマクロディレイライブラリ２１６に格納する（図２０）。
【００８７】
実施の形態の解析装置１０１によれば、カスタムマクロ２１１の出力側から順に検証開始ポイントを選択し、論理規模の大きい順にライブラリマクロ２１２を選択して検証対象ライブラリマクロとし、カスタムマクロ２１１と検証対象ライブラリマクロを出力より論理の一致を検証する。解析装置１０１は、途中で一致が無くなった場合は、ライブラリマクロ合同認識ＤＢ２１３で関連づけられたライブラリマクロ２１２に検証対象ライブラリマクロを変更し、継続して検証する。これより、ライブラリマクロ同士の重複論理の検証を行わないことで検索時間の短縮が可能となり、高速にライブラリマクロを抽出できる。
【００８８】
また、実施の形態の解析装置によれば、カスタムマクロ内に同じライブラリマクロが複数有る場合、代表の１つについてのみ動的タイミング解析を行ってマクロディレイライブラリを作成する。そして、その他については代表の動的タイミング解析結果であるライブラリマクロディレイライブラリ２１４を静的タイミング解析で利用することにより、カスタムマクロ全体のディレイ解析時間を短縮することができる。
【００８９】
図２１は、情報処理装置（コンピュータ）の構成図である。
実施の形態の解析装置１０１は、例えば、図２１に示すような情報処理装置１によって実現される。
【００９０】
情報処理装置１は、Central Processing Unit（ＣＰＵ）２、メモリ３、入力部４、出力部５、記憶部６、記録媒体駆動部７、及びネットワーク接続部８を備え、それらはバス９により互いに接続されている。
【００９１】
ＣＰＵ２は、情報処理装置１全体を制御する中央処理装置である。ＣＰＵ２は、処理部３０１として動作する。
【００９２】
メモリ３は、プログラム実行の際に、記憶部６（あるいは可搬記録媒体１０）に記憶されているプログラムあるいはデータを一時的に格納するRead Only Memory（ＲＯＭ)やRandom Access Memory(ＲＡＭ)等のメモリである。ＣＰＵ２は、メモリ３を利用してプログラムを実行することにより、上述した各種処理を実行する。
【００９３】
この場合、可搬記録媒体１０等から読み出されたプログラムコード自体が実施の形態の機能を実現する。
【００９４】
入力部４は、例えば、キーボード、マウス、タッチパネル等である。
出力部５は、例えば、ディスプレイ、プリンタ等である。
【００９５】
記憶部６は、例えば、磁気ディスク装置、光ディスク装置、テープ装置等である。情報処理装置１は、記憶部６に、上述のプログラムとデータを保存しておき、必要に応じて、それらをメモリ３に読み出して使用する。
メモリ３及び記憶部６は、記憶部２０１として動作する。
【００９６】
記録媒体駆動部７は、可搬記録媒体１０を駆動し、その記録内容にアクセスする。可搬記録媒体としては、メモリカード、フレキシブルディスク、Compact Disk Read Only Memory(ＣＤ−ＲＯＭ)、光ディスク、光磁気ディスク等、任意のコンピュータ読み取り可能な記録媒体が用いられる。ユーザは、この可搬記録媒体１０に上述のプログラムとデータを格納しておき、必要に応じて、それらをメモリ３に読み出して使用する。
【００９７】
ネットワーク接続部８は、ＬＡＮやＷＡＮ等の任意の通信ネットワークに接続され、通信に伴うデータ変換を行う。
【００９８】
以上の実施の形態に関し、さらに以下の付記を開示する。
（付記１）
コンピュータに、
処理対象カスタムマクロの出力側の論理と前記複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロの論理規模に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、
前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
途中で一致が無くなった場合は、ライブラリマクロ同士の論理の一致に基づいて前記複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、
一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す
処理を実行させるライブラリマクロ検出プログラム。
（付記２）
前記選択する処理において、前記処理対象カスタムマクロの出力側の論理と前記ライブラリマクロの出力側の論理が一致し、且つ最大の論理規模のライブラリマクロを前記検証対象ライブラリマクロとして選択すること特徴とする付記１記載のライブラリマクロ検出プログラム。
（付記３）
前記ライブラリマクロ検出プログラムは、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロに対応する論理を切り出し、
前記検証対象ライブラリマクロに対する動的タイミング解析を行い、
前記処理対象カスタムマクロのうち切り出された前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析を行い、
前記検証対象ライブラリマクロに対する動的タイミング解析の結果と前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析の結果とを用いて前記処理対象カスタムマクロの静的タイミング解析を行う
処理を前記コンピュータにさらに実行させ、
前記コンピュータは、前記検証対象ライブラリマクロに対応する論理を切り出す処理において、同一の複数の前記検証対象ライブラリマクロに対応する論理を切り出した場合、前記検証対象ライブラリマクロに対する動的タイミング解析を行う処理において、前記複数の検証対象ライブラリマクロのうちの１つの前記検証対象ライブラリマクロに対してのみ動的タイミング解析を行うことを特徴とする付記１または２記載のライブラリマクロ検出プログラム。
（付記４）
ライブラリマクロ同士の論理の種類と接続関係の一致に基づいて、複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを格納する記憶部と、
処理対象カスタムマクロの出力側の論理と前記複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロの論理規模に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、途中で一致が無くなった場合は、前記ライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す処理部
を備えるライブラリマクロ検出装置。
（付記５）
前記処理部は、前記処理対象カスタムマクロの出力側の論理と前記ライブラリマクロの出力側の論理が一致し、且つ最大の論理規模のライブラリマクロを前記検証対象ライブラリマクロとして選択すること特徴とする付記４記載のライブラリマクロ検出装置。
（付記６）
前記処理部は、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロに対応する論理を切り出し、
前記検証対象ライブラリマクロに対する動的タイミング解析を行い、
前記処理対象カスタムマクロのうち切り出された前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析を行い、
前記検証対象ライブラリマクロに対する動的タイミング解析の結果と前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析の結果とを用いて前記処理対象カスタムマクロの静的タイミング解析を行い、
前記検証対象ライブラリマクロに対応する論理を切り出す処理において、同一の複数の前記検証対象ライブラリマクロに対応する論理を切り出した場合、前記検証対象ライブラリマクロに対する動的タイミング解析を行う処理において、前記複数の検証対象ライブラリマクロのうちの１つの前記検証対象ライブラリマクロに対してのみ動的タイミング解析を行うことを特徴とする付記４または５記載のライブラリマクロ検出装置。
（付記７）
コンピュータが実行するライブラリマクロ検出方法であって、
処理対象カスタムマクロの出力側の論理と前記複数のライブラリマクロの出力側の論理と前記複数のライブラリマクロの論理規模に基づいて、前記複数のライブラリマクロから検証対象ライブラリマクロを選択し、
前記処理対象カスタムマクロと前記検証対象ライブラリマクロの出力側から入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
途中で一致が無くなった場合は、ライブラリマクロ同士の論理の一致に基づいて前記複数のライブラリマクロが関連付けられたライブラリマクロ合同データベースを参照して、前記検証対象ライブラリマクロを、前記ライブラリマクロ合同データベースにおいて前記検証対象ライブラリマクロに関連付けられたライブラリマクロに変更し、
一致が無くなった箇所から前記入力側に向かって、前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックし、
前記処理対象カスタムマクロから前記検証対象ライブラリマクロ全体の論理が検出されるまで、前記検証対象ライブラリマクロを変更する処理と前記一致が無くなった箇所から前記入力側に向かって前記処理対象カスタムマクロの論理と前記検証対象ライブラリマクロの論理との一致をチェックする処理を繰り返す
処理を含むライブラリマクロ検出方法。
（付記８）
前記選択する処理において、前記処理対象カスタムマクロの出力側の論理と前記ライブラリマクロの出力側の論理が一致し、且つ最大の論理規模のライブラリマクロを前記検証対象ライブラリマクロとして選択すること特徴とする付記７記載のライブラリマクロ検出方法。
（付記９）
前記ライブラリマクロ検出方法は、さらに
前記処理対象カスタムマクロから前記検証対象ライブラリマクロに対応する論理を切り出し、
前記検証対象ライブラリマクロに対する動的タイミング解析を行い、
前記処理対象カスタムマクロのうち切り出された前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析を行い、
前記検証対象ライブラリマクロに対する動的タイミング解析の結果と前記検証対象ライブラリマクロ以外の論理に対する動的タイミング解析の結果とを用いて前記処理対象カスタムマクロの静的タイミング解析を行い、
前記検証対象ライブラリマクロに対応する論理を切り出す処理において、同一の複数の前記検証対象ライブラリマクロに対応する論理を切り出した場合、前記検証対象ライブラリマクロに対する動的タイミング解析を行う処理において、前記複数の検証対象ライブラリマクロのうちの１つの前記検証対象ライブラリマクロに対してのみ動的タイミング解析を行うことを特徴とする付記７または８記載のライブラリマクロ検出方法。
【符号の説明】
【００９９】
１０１    解析装置
２０１    記憶部
２１１    カスタムマクロ
２１２    ライブラリマクロ
２１３    ライブラリマクロ合同認識ＤＢ
２１４    ライブラリマクロディレイライブラリ
２１５    分割回路ディレイライブラリ
２１６    カスタムマクロディレイライブラリ
３０１    処理部
３１１    ライブラリマクロ解析部
３１２    ライブラリマクロ検索部
３１３    ライブラリマクロ切抜き部
３１４    動的タイミング解析部
３１５    静的タイミング解析部
【図１】
0006569373.tif 000002
【図２】
0006569373.tif 000003
【図３】
0006569373.tif 000004
【図４】
0006569373.tif 000005
【図５】
0006569373.tif 000006
【図６】
0006569373.tif 000007
【図７】
0006569373.tif 000008
【図８】
0006569373.tif 000009
【図９】
0006569373.tif 000010
【図１０】
0006569373.tif 000011
【図１１】
0006569373.tif 000012
【図１２】
0006569373.tif 000013
【図１３】
0006569373.tif 000014
【図１４】
0006569373.tif 000015
【図１５】
0006569373.tif 000016
【図１６】
0006569373.tif 000017
【図１７】
0006569373.tif 000018
【図１８】
0006569373.tif 000019
【図１９】
0006569373.tif 000020
【図２０】
0006569373.tif 000021
【図２１】
0006569373.tif 000022