(57)【特許請求の範囲】
【請求項１】
論理合成された集積回路の論理設計データについて、論理合成時にユニーク化される前のモジュールと論理合成後のインスタンスのパスとを対応づける対応表と、前記インスタンスのパスについてのバイオレーションデータとを参照し、前記インスタンスの名称と前記モジュールの名称が一致するパスを選択するパス選択ステップと、
前記パス選択ステップによって選択されたパスのバイオレーションデータを比較し、前記バイオレーションデータがワーストのパスを残して他のパスを削除するバイオレーション比較ステップと、
前記バイオレーション比較ステップの処理の結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストを作成するタイミング最適化ステップと
をコンピュータに実行させることを特徴とする最適化ネットリスト作成プログラム。
【請求項２】
前記論理設計データを論理合成する論理合成ステップと、
前記論理合成時において、同一のモジュールからユニーク化された複数のモジュールを非ユニーク状態に戻して統合するステップと、
をさらにコンピュータに実行させることを特徴とする請求項１に記載の最適化ネットリスト作成プログラム。
【請求項３】
論理ゲートマッピングの結果として得られたゲートレベルネットリストから、前記対応表を生成するステップと、前記ゲートレベルネットリストに対してタイミング解析を行うステップと、前記タイミング解析の結果から前記バイオレーションデータを生成するステップと、をさらにコンピュータに実行させることを特徴とする請求項１または２に記載の最適化ネットリスト作成プログラム。
【請求項４】
論理合成された集積回路の論理設計データについて、論理合成時にユニーク化される前のモジュールと論理合成後のインスタンスのパスとを対応づける対応表と、前記インスタンスのパスについてのバイオレーションデータとを参照し、前記インスタンスの名称と前記モジュールの名称が一致するパスを選択するパス選択部と、
前記パス選択部によって選択されたパスのバイオレーションデータを比較し、前記バイオレーションデータがワーストのパスを残して他のパスを削除するバイオレーション比較部と、
前記バイオレーション比較部の処理の結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストを作成するタイミング最適化部と
を備えたことを特徴とする最適化ネットリスト作成装置。
【請求項５】
論理合成された集積回路の論理設計データについて、論理合成時にユニーク化される前のモジュールと論理合成後のインスタンスのパスとを対応づける対応表と、前記インスタンスのパスについてのバイオレーションデータとを参照し、前記インスタンスの名称と前記モジュールの名称が一致するパスを選択するパス選択ステップと、
前記パス選択ステップによって選択されたパスのバイオレーションデータを比較し、前記バイオレーションデータがワーストのパスを残して他のパスを削除するバイオレーション比較ステップと、
前記バイオレーション比較ステップの処理の結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストを作成するタイミング最適化ステップと
をコンピュータが実行することを特徴とする最適化ネットリスト作成方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、最適化ネットリスト作成プログラム、最適化ネットリスト作成装置および最適化ネットリスト作成方法に関する。
【背景技術】
【０００２】
従来、集積回路の動作に関する記述（ＲＴＬ：レジスタ転送レベルなど）から、ネットリスト（ゲート回路）を生成する論理合成を自動化する論理合成ツールが利用されている。論理合成ツールは、タイミングや面積、消費電力といったそれぞれの項目に対して、入力されたＲＴＬ全体の観点から最適な論理ゲートで回路を構成するように、ネットリストを生成する。
【０００３】
論理合成ツールは、入力されたＲＴＬにユーザーが定義したモジュールが存在しており、かつそのモジュールがインスタンスとして複数回使用されている場合においては、それぞれのインスタンスが参照するモジュールはユニークなモジュールとなるように、自動的にモジュール名の置き換え処理を行なうことが一般的である。この場合、論理ゲートへのマッピングやタイミング解析、及びタイミング最適化は、置き換え処理の後で行われる。
【０００４】
ここで、モジュールとは、論理回路の定義体であり、インスタンスとは定義体から生成された論理回路そのものの実体である。また、ユニークであるとは１定義体に対して１実体しか存在しない状態を示し、非ユニークであるとは１定義体に対して複数実体が存在する状態を示す。
【０００５】
また、論理合成時の最適化の際に、モジュールのピンをネット情報として残すことによって、論理合成後に再階層化を可能とし、階層化した機能ブロックの差し替えを行うことで論理合成後に容易に論理修正を可能とする技術が知られている。また、タイミング検証時に物理情報を考慮した分析を容易にするネットリスト作成方法や物理情報を考慮した自動配置を行う技術も知られている。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開２００５−１２２５７７号公報
【特許文献２】特開２００６−１６４１３２号公報
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、論理合成時にモジュールをユニーク化してネットリストを生成する従来の技術では、以下のような問題点がある。
【０００８】
まず、モジュールのユニーク化によって、新たに複数個のモジュールがネットリスト内に生成されるので、それぞれのモジュールに対して実装設計を行う必要性が生じる。ＡＳＩＣ（Application Specific Integrated Circuit）のような自動ツールを主体とした設計手法の場合、モジュールのユニーク化が実装設計の工数に影響することは少ない。しかしプロセッサのようなマニュアル作業を主体とした設計手法の場合、モジュールがユニーク化されると、ユニーク化されたモジュール単位で実装に伴う作業が発生してしまうため、実装設計の工数に多大な影響を及ぼす。
【０００９】
また、モジュールのタイミングは、上位階層でインスタンス化したモジュールと接続される周辺論理や、モジュールの入出力インターフェースに対するタイミングの制約条件毎によって違いがあるため、インスタンス化したモジュール毎でタイミングのバイオレーション値が異なってくる。
【００１０】
例えばパス１とパス２を有する“module_A”をユニーク化して“module_A1”と“module_A2”が得られた場合、“module_A1”のパス１はタイミング最適化の対象となるがパス２は最適化の対象外となり、“module_A2”のパス１はタイミング最適化の対象外となるがパス２は最適化の対象となるケースがある。
【００１１】
このケースでは、パス１とパス２が同時に最適化される“module_A”が存在しない。よって、最適なモジュールをＩＰマクロとしてライブラリ化する場合、ユニーク化されたモジュールの中から選択することができない。
【００１２】
開示の技術は、上述した従来技術にかかる問題点を解消するものであり、ＲＴＬ内で複数回インスタンスとして使用されたモジュールについては、非ユニーク状態でネットリストを生成し、非ユニークなモジュールに対してケアすべき対象が不足とならないように、全てのケースを網羅したタイミングの最適化を行なうことを目的とする。かかる技術は、マニュアル配置を主体とした実装設計に特に有効である。
【課題を解決するための手段】
【００１３】
開示の最適化ネットリスト作成プログラム、最適化ネットリスト作成装置および最適化ネットリスト作成方法は、論理合成された集積回路の論理設計データについて、バイオレーションデータベースと対応表を参照し、インスタンスの名称と前記モジュールの名称が一致するパスを選択する。そして、選択したパスのバイオレーションデータを比較し、バイオレーションデータがワーストのパスを残して他のパスを削除する。この結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストを作成する。
【発明の効果】
【００１４】
開示の技術によれば、ＲＴＬ内で複数回インスタンスとして使用されたモジュールについては、非ユニーク状態でネットリストを生成し、非ユニークなモジュールに対してケアすべき対象が不足とならないように、全てのケースを網羅したタイミングの最適化を行なうことができる。
【図面の簡単な説明】
【００１５】
【図１】図１は、本実施例にかかる最適化ネットリスト作成装置の構成図である。
【図２】図２は、比較例において、モジュールをユニーク化してネットリストを生成する場合のデータ関連図である。
【図３】図３は、比較例において、モジュールをユニーク化してネットリストを生成する場合のフローチャートである。
【図４】図４は、開示の技術のデータ関連図である。
【図５】図５は、図４における論理合成プログラム２０の処理動作を説明するフローチャートである。
【図６】図６は、図４における最適化ネットリスト作成プログラム１０ａの処理動作を説明するフローチャートである。
【図７】図７は、ゲートレベルデータベースＤ１３の具体例である。
【図８】図８は、バイオレーションデータベースＤ１１の具体例である。
【図９】図９は、対応表Ｄ１２の具体例である。
【図１０】図１０は、更新したバイオレーションデータベースＤ１１の具体例である。
【図１１】図１１は、最適化ネットリストの具体例である。
【発明を実施するための形態】
【００１６】
以下に添付図面を参照して、本発明にかかる最適化ネットリスト作成プログラム、最適化ネットリスト作成装置および最適化ネットリスト作成方法の実施の形態を詳細に説明する。
【実施例】
【００１７】
図１は、本実施例にかかる最適化ネットリスト作成装置の構成図である。図１に示した最適化ネットリスト作成装置１０は、パス選択部１１、バイオレーション比較部１２、タイミング最適化部１３を有する。
【００１８】
パス選択部１１は、バイオレーションデータベースＤ１１と対応表Ｄ１２を参照し、インスタンスの名称とモジュールの名称が一致するパスを選択する。対応表Ｄ１２は、論理合成された集積回路の論理設計データについて、論理合成時にユニーク化される前のモジュールと論理合成後のインスタンスのパスとを対応づけたデータベースである。バイオレーションデータベースＤ１１は、インスタンスのパスについてのタイミング違反の値をバイオレーションデータとして保持するデータベースである。
【００１９】
バイオレーション比較部１２は、パス選択部１１によって選択されたパスのバイオレーションデータを比較し、バイオレーションデータがワーストのパスを残して他のパスを削除する。
【００２０】
タイミング最適化部１３は、ゲートレベルネットリストを登録しているゲートレベルデータベースＤ１３を参照し、バイオレーション比較部１２の処理の結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストＤ１４を作成する。
【００２１】
図２は、比較例として、モジュールをユニーク化してネットリストを生成する場合のデータ関連図を示している。モジュールをユニーク化してネットリスト生成する場合、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１、ライブラリＤ２２、タイミング制約条件Ｄ２３を用いて最適化ネットリストＤ２４を生成する。
【００２２】
図３は、比較例として、モジュールをユニーク化してネットリストを生成する場合のフローチャートを示している。図３に示したフローでは、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１からユーザ定義モジュールを一つ選択し、選択したユーザ定義モジュールがインスタンスとして複数回使用されているかを判定する（Ｓ１０１）。選択したモジュールが複数回使用されている場合（Ｓ１０１，Ｙｅｓ）、そのモジュールをユニークなモジュールとなるように置き換える（Ｓ１０２）。
【００２３】
選択したモジュールが複数回使用されていない場合（Ｓ１０１，Ｎｏ）、またはステップＳ１０２のユニーク化を行った後、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１内の全てのモジュールに対して検査を行ったかを判定し（Ｓ１０３）、未検査のモジュールが残っている場合（Ｓ１０３，Ｎｏ）にはステップＳ１０１に戻る。
【００２４】
ＲＴＬ＿Ｄ２１内の全てのモジュールに対して検査を行った（Ｓ１０３，Ｙｅｓ）後、論理合成プログラム２０は、ライブラリＤ２２を参照して論理ゲートマッピング（Ｓ１０４）を行い、ゲートレベルネットリストＤ１３を作成する。
【００２５】
論理合成プログラム２０は、作成したゲートレベルネットリストＤ１３、ライブラリＤ２２、タイミング制約条件Ｄ２３を参照してタイミング解析（Ｓ１０５）を行い、タイミングレポートを作成する。
【００２６】
そして、論理合成プログラム２０は、ゲートレベルネットリストＤ１３、ライブラリＤ２２、タイミングレポートを参照してタイミング最適化を行い（Ｓ１０６）、最適化ネットリストＤ２４を出力する。
【００２７】
図４は、開示の技術のデータ関連図である。開示の技術では、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１、ライブラリＤ２２、タイミング制約条件Ｄ２３から、バイオレーションデータベースＤ１１、対応表Ｄ１２、ゲートレベルデータベースＤ１３を作成する。そして、コンピュータを最適化ネットリスト作成装置１０として動作させる最適化ネットリスト作成プログラム１０ａが、ライブラリＤ２２、バイオレーションデータベースＤ１１、対応表Ｄ１２、ゲートレベルデータベースＤ１３から最適化ネットリストＤ１４を作成する。
【００２８】
図５は、図４における論理合成プログラム２０の処理動作を説明するフローチャートである。図５に示したフローでは、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１からユーザ定義モジュールを一つ選択し、選択したユーザ定義モジュールがインスタンスとして複数回使用されているかを判定する（Ｓ２０１）。選択したモジュールが複数回使用されている場合（Ｓ２０１，Ｙｅｓ）、そのモジュールをユニークなモジュールとなるように置き換える（Ｓ２０２）。
【００２９】
選択したモジュールが複数回使用されていない場合（Ｓ２０１，Ｎｏ）、または、ステップＳ２０２のユニーク化を行った後、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１内の全てのモジュールに対して検査を行ったかを判定し（Ｓ２０３）、未検査のモジュールが残っている場合（Ｓ２０３，Ｎｏ）にはステップＳ２０１に戻る。
【００３０】
ＲＴＬ＿Ｄ２１内の全てのモジュールに対して検査を行った（Ｓ２０３，Ｙｅｓ）後、論理合成プログラム２０は、モジュールを一つ選択し、選択したモジュールがユニーク化されたモジュールであるかを判定する（Ｓ２０４）。選択したモジュールがユニーク化されたモジュールである場合（Ｓ２０４，Ｙｅｓ）、そのモジュールを非ユニーク状態に戻して統合する（Ｓ２０５）。
【００３１】
選択したモジュールがユニーク化されていない場合（Ｓ２０４，Ｎｏ）、または、ステップＳ２０５の非ユニーク化を行った後、論理合成プログラム２０は、ＲＴＬ＿Ｄ２１内の全てのモジュールに対して非ユニーク化の検査を行ったかを判定し（Ｓ２０６）、未検査のモジュールが残っている場合（Ｓ２０６，Ｎｏ）にはステップＳ２０４に戻る。
【００３２】
このように、論理合成プログラム２０は、論理ゲートへのマッピングの前段階で、ＲＴＬ内でインスタンスとして複数回使用されているモジュールをユニーク化する処理までが自動化されているので、開示の技術では、ユニーク化されたモジュールを元の非ユニーク状態のモジュールに戻す処理を論理合成プログラム２０に実行させる。
【００３３】
ＲＴＬ＿Ｄ２１内の全てのモジュールに対して非ユニーク化の検査を行った（Ｓ２０６，Ｙｅｓ）後、論理合成プログラム２０は、ライブラリＤ２２を参照して論理ゲートマッピング（Ｓ２０７）を行い、ゲートレベルデータベースＤ１３を作成する。
【００３４】
論理合成プログラム２０は、作成したゲートレベルデータベースＤ１３、ライブラリＤ２２、タイミング制約条件Ｄ２３を参照してタイミング解析（Ｓ２０９）を行い、タイミングレポートを作成する。
【００３５】
そして、論理合成プログラム２０は、タイミングレポートからバイオレーションデータベースＤ１１を生成し（Ｓ２１０）、ゲートレベルデータベースＤ１３から対応表Ｄ１２を生成する（Ｓ２０８）。
【００３６】
このように、開示の技術では、非ユニークなモジュールを作り出した状態で、論理ゲートへのマッピング処理（Ｓ２０７）を行い、ゲートレベルネットリストのデータベースであるゲートレベルデータベースＤ１３を生成する。なお、図５のＳ２０１〜Ｓ２０７は、ゲートレベルデータベースＤ１３を作り出すための一例であり、その順番を適宜変更可能である。例えば、Ｓ２０７を実行した後にＳ２０４〜Ｓ２０６を実行する順番でもゲートレベルデータベースＤ１３の生成は可能である。
【００３７】
そして、ゲートレベルネットリストを用いてタイミング解析を行ない、得られたタイミングレポートから、バイオレーションが検出されたパスをデータベース上に保存する。このデータベースがバイオレーションデータベースＤ１１である。
【００３８】
また、対応表Ｄ１２は、回路内に存在する全てのラッチやフリップフロップに対して、階層パスつきインスタンス名とモジュール名との対応を示すテーブルである。例えば、パスがAAA/BBB/CCC/DDDである場合、階層インスタンス名がAAA/BBB/CCC、モジュール内インスタンス名がDDD、階層パスつきインスタンス名が、AAA/BBB/CCC/DDDであり、モジュール名はDDDをインスタンシェーションしているモジュールの名称である。
【００３９】
図６は、図４における最適化ネットリスト作成プログラム１０ａの処理動作を説明するフローチャートである。図６に示したフローでは、最適化ネットリスト作成プログラム１０ａは、バイオレーションデータベースＤ１１上で同一モジュールかつ同一インスタンス名のパスが存在した場合（Ｓ３０１，Ｙｅｓ）、同一モジュールかつ同一インスタンス名のパスのうち、バイオレーションがワーストのパスを残し、他のパスをデータベースから破棄する（Ｓ３０２）。
【００４０】
ステップＳ３０２の後、また、同一モジュールかつ同一インスタンス名のパスが無い場合（Ｓ３０１，Ｎｏ）、最適化ネットリスト作成プログラム１０ａは、バイオレーションデータベースＤ１１の全てのパスに対してステップＳ３０１の検査が終わったかを判定する。
【００４１】
ステップＳ３０１の検査が終わっていないパスが残っていれば（Ｓ３０３，Ｎｏ）、最適化ネットリスト作成プログラム１０ａは、ステップＳ３０１に戻る。そして、バイオレーションデータベースＤ１１の全てのパスに対してステップＳ３０１の検査が終わった場合（Ｓ３０３，Ｙｅｓ）、最適化ネットリスト作成プログラム１０ａは、ゲートレベルデータベースＤ１３を参照し、変更後のバイオレーションデータベースＤ１１に残ったパスをターゲットにタイミングの最適化を行う（Ｓ３０４）。この最適化によって、最適化ネットリストＤ１４が生成される。
【００４２】
このように、開示の技術では、図５の処理で得られたゲートレベルデータベースＤ１３、バイオレーションデータベースＤ１１、対応表Ｄ１２を入力として、非ユニークなモジュールが存在するネットリストのタイミング最適化を行う。このため、非ユニークなモジュールが存在するネットリストに対するタイミング最適化を実現できる。
【００４３】
また、バイオレーションデータベース上に存在するパスの中で、モジュール内インスタンス名が等しく、かつモジュール名も等しいパスを全て検出する。そして、検出したパス同士でバイオレーション値の比較を行ない、バイオレーション値がワーストのパスを選択的に残してタイミング最適化処理を行う。このように、ワーストのバイオレーション値を参照してタイミングの最適化を行うので、ワースト以外のタイミングパスに対しても全てバイオレーションを解消することが可能である。
【００４４】
図７は、ゲートレベルデータベースＤ１３の具体例である。回路ブロックＢＬＫ１は、モジュールＡから生成され、インスタンスＩＮＳＴ１を有する。回路ブロックＢＬＫ２は、モジュールＡから生成され、インスタンスＩＮＳＴ１を有する。また、回路ブロックＢＬＫ３は、モジュールＢから生成され、インスタンスＩＮＳＴ１とインスタンスＩＮＳＴ２を有する。回路ブロックＢＬＫ４は、モジュールＡから生成され、インスタンスＩＮＳＴ１を有する。回路ブロックＢＬＫ５は、モジュールＢから生成され、インスタンスＩＮＳＴ１とインスタンスＩＮＳＴ２を有する。
【００４５】
図８は、バイオレーションデータベースＤ１１の具体例である。図６のゲートレベルデータベースＤ１３を用いて、論理合成プログラム２０上でタイミング解析を行う。ここで生成されたタイミングレポートから、図８のようなバイオレーションデータベースを生成する。
【００４６】
具体的には図８において、
パス１は、
Ｅｎｄｐｏｉｎｔ：ＢＬＫ１／ＩＮＳＴ１  ｖｉｏｌａｔｉｏｎ：−１．０ｎｓ
パス２は、
Ｅｎｄｐｏｉｎｔ：ＢＬＫ２／ＩＮＳＴ１  ｖｉｏｌａｔｉｏｎ：−２．０ｎｓ
パス３は、
Ｅｎｄｐｏｉｎｔ：ＢＬＫ３／ＩＮＳＴ１  ｖｉｏｌａｔｉｏｎ：−１．５ｎｓ
パス４は、
Ｅｎｄｐｏｉｎｔ：ＢＬＫ４／ＩＮＳＴ１  ｖｉｏｌａｔｉｏｎ：−３．０ｎｓ
パス５は、
Ｅｎｄｐｏｉｎｔ：ＢＬＫ５／ＩＮＳＴ２  ｖｉｏｌａｔｉｏｎ：−１．０ｎｓ
である。
【００４７】
また、論理合成プログラム２０は、図９のような階層パスつきインスタンス名とモジュール名の対応表を生成する。図９では、
ＢＬＫ１／ＩＮＳＴ１がｍｏｄｕｌｅ＿Ａに対応し、
ＢＬＫ２／ＩＮＳＴ１がｍｏｄｕｌｅ＿Ａに対応し、
ＢＬＫ３／ＩＮＳＴ１がｍｏｄｕｌｅ＿Ｂに対応し、
ＢＬＫ４／ＩＮＳＴ１がｍｏｄｕｌｅ＿Ａに対応し、
ＢＬＫ５／ＩＮＳＴ２がｍｏｄｕｌｅ＿Ｂに対応している。
【００４８】
このゲートレベルデータベースＤ１３、バイオレーションデータベースＤ１１、対応表Ｄ１２を、それぞれ最適化ネットリスト作成プログラム１０ａに入力する。非ユニーク状態のモジュールに対するタイミング最適化の前段処理として、モジュール名とインスタンス名が一致するパスを選択し、バイオレーションデータがワーストのパスを残す。
【００４９】
具体的には、図８に示したバイオレーションデータベースに存在する“module_A”のパスに対して、バイオレーションがワーストであるパスを探し出す処理を行う。図９の対応表より、“パス１”の階層パスつきインスタンス名“ＢＬＫ１／ＩＮＳＴ１”と、“パス２”の階層パスつきインスタンス名“ＢＬＫ２／ＩＮＳＴ１”は、モジュール内インスタンス名“ＩＮＳＴ１”が同一であり、かつモジュール名も“ｍｏｄｕｌｅ＿Ａ”で同一となる。そのため、“パス１”と“パス２”に対するバイオレーションの値を比較し、ワースト側である“パス２”がバイオレーションデータベース内に残る。
【００５０】
同様に“ｍｏｄｕｌｅ＿Ａ”である“パス２”と“パス４”を比較し、“ＢＬＫ４／ＩＮＳＴ１”のバイオレーションがワースト値となるため、“パス４”がデータベース上に残る。“ｍｏｄｕｌｅ＿Ｂ”に対しても同様の処理を行う。尚、“パス３”と“パス５”については、モジュール内インスタンス名が異なるため、両パスともデータベース上に情報が残る。この結果が図１０に示したバイオレーションデータベースである。
【００５１】
図１０に示したバイオレーションデータベースに存在するパスに対し、タイミング最適化を実施して、最適化ネットリストを生成する。この結果が、図１１である。図１１では、モジュールＡから生成された回路ブロックＢＬＫ１，２，４の内部構成が同一となっている。同様に、モジュールＢから生成された回路ブロックＢＬＫ３，５の内部構成が同一となっている。
【００５２】
以上説明してきたように、本実施例にかかるプログラム、装置、方法では、論理合成された集積回路の論理設計データについて、バイオレーションデータベースと対応表を参照し、インスタンスの名称と前記モジュールの名称が一致するパスを選択する。そして、選択したパスのバイオレーションデータを比較し、バイオレーションデータがワーストのパスを残して他のパスを削除する。この結果として残ったモジュールについてタイミングの最適化を行って最適化ネットリストを作成する。このため、ＲＴＬ内で複数回インスタンスとして使用されたモジュールについては、非ユニーク状態でネットリストを生成し、非ユニークなモジュールに対してケアすべき対象が不足とならないように、全てのケースを網羅したタイミングの最適化を行なうことができる。
【符号の説明】
【００５３】
１０  最適化ネットリスト作成装置
１０ａ  最適化ネットリスト作成プログラム
１１  パス選択部
１２  バイオレーション比較部
１３  タイミング最適化部
２０  論理合成プログラム
Ｄ１１  バイオレーションデータベース
Ｄ１２  対応表
Ｄ１３  ゲートレベルデータベース
Ｄ１４，２４  最適化ネットリスト
Ｄ２１  ＲＴＬ
Ｄ２２  ライブラリ
Ｄ２３  タイミング制約条件
【図１】
0005541011.tif 000002
【図２】
0005541011.tif 000003
【図３】
0005541011.tif 000004
【図４】
0005541011.tif 000005
【図５】
0005541011.tif 000006
【図６】
0005541011.tif 000007
【図７】
0005541011.tif 000008
【図８】
0005541011.tif 000009
【図９】
0005541011.tif 000010
【図１０】
0005541011.tif 000011
【図１１】
0005541011.tif 000012