【手続補正書】
【提出日】平成19年5月23日(2007.5.23)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
回路の論理的パラメータの情報と回路の物理的パラメータの情報とを含んでいるデータモデルを表す電気信号を発生するために、コンピュータシステムの回路の記述を処理し、
論理的パラメータにしたがって論理素子を合成するためコンピュータシステムにデータモデルを使用させ、
物理的パラメータにしたがって論理素子の物理的配置情報を発生するためにコンピュータシステムにデータモデルを使用させることを含んでいるデジタル回路開発方法。
【請求項２】
記述はハードウェア記述言語である請求項１記載の方法。
【請求項３】
データモデルはデータオブジェクトの階層である請求項１記載の方法。
【請求項４】
階層はエンティティオブジェクトを所有する少なくとも１つのライブラリオブジェクトを含み、
エンティティオブジェクトは１以上のモデルオブジェクトを所有し、
モデルオブジェクトは回路の機能表示である請求項３記載の方法。
【請求項５】
階層は複数のライブラリオブジェクトを含み、
複数のライブラリオブジェクトのうちの少なくとも１つは技術ライブラリオブジェクトであり、
複数のライブラリオブジェクトのうちの少なくとも１つはターゲットライブラリオブジェクトである請求項４記載の方法。
【請求項６】
エンティティオブジェクトは複数のモデルオブジェクトを所有し、
各モデルオブジェクトは回路の異なる表示であり、
モデルオブジェクトは相互に機能的に等しい請求項４記載の方法。
【請求項７】
少なくとも１つのモデルオブジェクトはＫＤツリーとして構成されている請求項４記載の方法。
【請求項８】
データモデルはＫＤツリーとして回路の表示を含んでいる請求項１記載の方法。
【請求項９】
ＫＤツリーの各ノードは回路の物理的配置の物理的属性に対応している請求項８記載の方法。
【請求項１０】
物理的属性はチップ内のノードに対応する回路の一部の位置である請求項９記載の方法。
【請求項１１】
ＫＤツリーの各ノードは半導体チップのカットラインに対応している請求項９記載の方法。
【請求項１２】
ＫＤツリーの少なくとも１つのノードはそれに関連するセルを有する請求項１１記載の方法。
【請求項１３】
ＫＤツリーの少なくとも１つのノードは２つの子ノードを有し、子ノードはカットラインの対向する側の回路部分に対応している請求項１１記載の方法。
【請求項１４】
データモデルは回路の一部分にそれぞれ対応する複数のセルを含んでおり、
論理的パラメータはセルの機能を含んでおり、
物理的パラメータはセルの物理的区域と物理的配置のうちの少なくとも１つを含んでいる請求項１記載の方法。
【請求項１５】
物理的パラメータはセルの物理的配置を含んでおり、
回路記述の処理は任意の物理的配置パラメータをセルに割当てるステップを含んでいる請求項１４記載の方法。
【請求項１６】
コンピュータシステムに物理的配置情報を生成させることはコンピュータに任意の物理的配置パラメータを変更させることを含んでいる請求項１５記載の方法。
【請求項１７】
論理的情報を評価し、物理的配置情報を評価するために共通のツールを使用するステップをさらに有する請求項１記載の方法。
【請求項１８】
共通のツールはタイミングシミュレータである請求項１７記載の方法。
【請求項１９】
コンピュータシステムにデータモデルを記憶し、
回路区域全体よりも小さい回路の物理的区域を特定し、
その物理的区域に対応しないデータモデル部分を検索しないで、その物理的区域に対応するデータモデル部分を検索することをさらに含んでいる請求項１記載の方法。
【請求項２０】
データモデルのコピーを生成し、
コピーを使用して回路を形式的に確認することをさらに含んでいる請求項１記載の方法。
【請求項２１】
データ構造は少なくとも１つのライブラリを含むルートを含んでおり、
各ライブラリは少なくとも１つのエンティティを含み、
各エンティティは少なくとも１つのモデルおよび少なくとも１つのポートを含み、
各モデルは少なくとも１つのセルと少なくとも１つのセットと少なくとも１つのピンとを含み、
各セルは少なくとも１つのピンを含んでいるデジタル回路を表すデータ構造を記憶するコンピュータの読取り可能な媒体。
【請求項２２】
データ構造は論理的合成情報と物理的配置情報の両者を含んでいる請求項２１記載のコンピュータの読取り可能な媒体。
【請求項２３】
ライブラリは技術ライブラリと回路ライブラリとを含んでいる請求項２１記載のコンピュータの読取り可能な媒体。
【請求項２４】
各エンティティは回路の表示である請求項２１記載のコンピュータの読取り可能な媒体。
【請求項２５】
各モデルはそのモデルを含むエンティティにより表される回路構造の表示である請求項２４記載のコンピュータの読取り可能な媒体。
【請求項２６】
少なくとも１つのエンティティは複数のモデルを含み、
複数のモデルはそのモデルを含むエンティティにより表される回路のそれぞれ異なる構造の表示である請求項２５記載のコンピュータの読取り可能な媒体。
【請求項２７】
複数のセルを具備し、
複数のセルのうちの少なくとも１つは基本セルであり、
複数のセルのうちの少なくとも１つは基本ではないセルである請求項２１記載のコンピュータの読取り可能な媒体。
【請求項２８】
各モデルはＫＤツリーとしてデータ構造で表される請求項２１記載のコンピュータの読取り可能な媒体。
【請求項２９】
ＫＤツリーのそれぞれ端末ではないノードはコアカットラインに対応する請求項２８記載のコンピュータの読取り可能な媒体。
【請求項３０】
端末ではない各ＫＤツリーノードはその対応するカットラインに接触するセルを含んでいる請求項２９記載のコンピュータの読取り可能な媒体。
【請求項３１】
集積回路チップ上に製造される回路を表す共通のデータモデルにおいて、
共に回路を表す複数のオブジェクトを含むデータ表示を含み、そのオブジェクトのあるものが回路の対応する部分を表すネットリスト部を含み、全てのオブジェクトが回路を示すように、各オブジェクトは少なくとも１つの他のオブジェクトに論理的に相関され、
物理的位置と関連されている各オブジェクトはその物理的位置に対応する区域の照会を使用してその後の検索に適合されているモデル。
【請求項３２】
オブジェクトの物理的位置の関係は階層的な区画化を使用して構成される請求項３１記載のモデル。
【請求項３３】
階層的な区画化はツリーを構成される請求項３２記載のモデル。
【請求項３４】
区域を複数の方形に区画する複数のカットラインにより回路は区域内で表される請求項３３記載のモデル。
【請求項３５】
ツリーは複数のリーフノードを含み、各リーフノードはカットラインの１つに対応している請求項３４記載のモデル。
【請求項３６】
ツリーはカットラインのうちの特定の１つに存在する各セルを識別する連結リストを含んでいる請求項３５記載のモデル。
【請求項３７】
ツリーは複数のリーフではないノードを含んでおり、各リーフではないノードはリーフノードの１つと関連され、各リーフではないノードは少なくとも２つの子ノードを含み、各子ノードは１つのリーフノードと関連されているカットラインの反対側の区域に対応している請求項３５記載のモデル。
【請求項３８】
あるオブジェクトはセルを表している請求項３３記載のモデル。
【請求項３９】
あるオブジェクトはネットまたはネットの一部を表している請求項３３記載のモデル。
【請求項４０】
あるオブジェクトはピンを表している請求項３３記載のモデル。
【請求項４１】
各物理的位置に対応する各オブジェクトはアクチブメモリ中に維持されている請求項３１記載のモデル。
【請求項４２】
区域の照会の物理的位置に対応するオブジェクトをその後に検索することによって、物理的位置に関連される全てのオブジェクトの検索はアクチブメモリへ検索される請求項４１記載のモデル。
【請求項４３】
物理的位置と関連される全てのオブジェクトの検索はディスク記憶装置から行われる請求項４２記載のモデル。
【請求項４４】
モデルは関心のある特定の区域をフレーム化するためにカットラインの挿入を可能にしている請求項３１記載のモデル。
【請求項４５】
区域の照会は合成の直後或いは最終的な配置およびルーティング期間中に行われる請求項３１記載のモデル。
【請求項４６】
モデルは論理的照会が行われることを可能にするように構成される請求項３１記載のモデル。
【請求項４７】
１つのオブジェクトの論理的照会は論理的に１つのオブジェクトに関連された少なくとも別のオブジェクトを提供する請求項４６記載のモデル。