【誤訳訂正書】
【提出日】平成22年1月7日(2010.1.7)
【誤訳訂正１】
【訂正対象書類名】明細書
【訂正対象項目名】０００８
【訂正方法】変更
【訂正の内容】
【０００８】
一実施形態では、静的パーティショナはＩＣ設計のデバイスを連結集合に編成することにより静的パーティションを形成する。静的パーティショナはさらに、静的パーティションを前処理して、動的パーティショナのニーズに合わせて手直しした形態にする。一実施態様では、動的パーティショナは、ＩＣ設計のデバイスがオン状態なのかオフ状態なのかを判別し、それに応じて動的パーティションを形成する。一実施態様では、評価スケジューラは、動的パーティションのいずれかが定常状態にあるかどうかを判別し、それに応じて評価用に動的パーティションをスケジュールする。一実施態様では、評価がその実行時に、精度が要求される場合は行列解によって実行される。
【誤訳訂正２】
【訂正対象書類名】明細書
【訂正対象項目名】００１６
【訂正方法】変更
【訂正の内容】
【００１６】
図２〜３では、図１の静的パーティショナの２つの態様に対するオペレーションの流れを示す２つのブロック図が掲載されている。図からわかるように、２０２では、静的パーティショナ１０３はまず設計をグラフとして表す。グラフ表現では、プリミティブ・デバイス（つまり素子）は、それぞれグラフ・モデルで表され、プリミティブ・デバイス（これ以降簡単にデバイスと呼ぶ）の接続性は、グラフ・モデルの接続性として表される。（図１１ａ〜１１ｄでは、４つのデバイス例のグラフ表現を示している。他のデバイスも同様に表すことができる。）
次に、２０４で、静的パーティショナ１０３がグラフを分析し、デバイスを連結集合にパーティショニングする。静的パーティショナ１０３は、グラフ内の各ノードから始めて、そのノードに接続されているすべてのエッジを横断し、エッジの反対側に接続されているノードをこのノードの連結集合に持ち込む。すべてのエッジの横断が済むと、静的パーティショナ１０３は次のノードでオペレーションを実行する。このプロセスは、すべてのノードのオペレーションが完了するまで繰り返される。そのようなときに、多数の連結集合または静的パーティショナが形成されている。（図１２〜１３は、ＩＣ設計例へのこのプロセス応用例を示しており、ＩＣ設計をパーティショニングして３つの静的パーティションにし、それぞれの静的パーティションに専用のグラフ表現を持たせている。）
【誤訳訂正３】
【訂正対象書類名】明細書
【訂正対象項目名】００１８
【訂正方法】変更
【訂正の内容】
【００１８】
次に、２０８で、静的パーティショナ１０３が強連結成分の信号流れグラフを分析し、静的パーティションを「平準化」する。強連結成分の識別には、さまざまな知られている手法のいずれか１つ、たとえば、Ｔａｒｊａｎ著「Ｄｅｐｔｈ−Ｆｉｒｓｔ Ｓｅａｒｃｈ ａｎｄ Ｌｉｎｅａｒ Ｇｒａｐｈ Ａｌｇｏｒｉｔｈｍｓ」、ＳＩＡＭ Ｊｏｕｒｎａｌ ｏｎ  Ｃｏｍｐｕｔｉｎｇ，Ｖｏｌ．１，Ｎｏ．２，Ｊｕｎｅ １９７２で開示されている強連結成分アルゴリズムを使用する。同じ強連結成分内のすべてのノード（つまり、パーティション）は、同じレベルにあるとみなされる。各ノード（つまり、パーティション）にはレベルが割り当てられる。ノード（つまりパーティション）はそれに付属するエッジがなければ最小レベル、つまりレベル０が割り当てられる。レベルｎのノード（つまり、パーティション）では、静的パーティショナ１０３がこのノード（つまり、パーティション）から出るすべてのエッジを横断し、エッジをまたいでいるノード（つまり、パーティション）にレベルｎ＋１を割り当てる。レベルｎのすべてのノード（つまり、パーティション）が処理された後、静的パーティショナ１０３は、レベルｎ＋１のノード（つまり、パーティション）に進み、これをすべてのノード（つまり、パーティション）が処理されるまで続ける。こうして、平準化プロセスを通じて、低い番号を割り当てられたパーティションから高い番号を割り当てられたパーティションへ信号が流れるようになる。
【誤訳訂正４】
【訂正対象書類名】明細書
【訂正対象項目名】００２０
【訂正方法】変更
【訂正の内容】
【００２０】
次に、静的パーティショナ１０３は各静的パーティションの構造を分析して前処理し、動的パーティショナ１０７に特に適した形にし、シミュレーション時に動的パーティショナを形成し、それにより、シミュレーション・エンジン１０４でなおいっそう高い性能改善を実現することが可能である。より具体的にいうと、静的パーティションごとに、静的パーティショナ１０３により静的パーティションのグラフ表現のノードとエッジの順序が定まる。図３に示されているように、各静的パーティションの順序確定プロセスは３つのステップからなるプロセスである。３０２で、静的パーティショナ１０３は深さを先にする形でグラフ表現を横断し、２連結成分を識別する。３０４で、静的パーティショナ１０３は２連結成分の順序を変えて樹木構造にする（図１５を参照）。ルートが選択された後、他のすべての２連結成分の順序を樹木接続に基づいて設定できる。図に示されている実施形態では、静的パーティショナ１０３はルートとして最大数のノードを持つ２連結成分を選択する。
【誤訳訂正５】
【訂正対象書類名】明細書
【訂正対象項目名】００２１
【訂正方法】変更
【訂正の内容】
【００２１】
３０６で、静的パーティショナ１０３は２連結成分のそれぞれの中のノードの順序を決める。図に示された実施形態では、静的パーティショナ１０３は、２連結成分を３つのタイプに分類している。タイプＩは、単一のエッジを持つ２連結成分である。タイプＩＩは、複数のエッジを持つ２連結成分であるが、ノードはちょうど２つのエッジを除去することにより２連結成分を２つの接続されていない部分に分けられるように接続されている。このタイプのグラフは、２接続または直列−並列と呼ばれることが多い。タイプＩＩＩは、タイプＩともタイプＩＩとも分類できない２連結成分である。
【誤訳訂正６】
【訂正対象書類名】明細書
【訂正対象項目名】００２３
【訂正方法】変更
【訂正の内容】
【００２３】
タイプＩのそれぞれの２連結成分では、ルートに近いノードのほうが、他のノードよりも高い順序となる。したがって、エッジは高い順序のノードが北ノードで、低い順序のノードが南ノードとなるように配列される。
【誤訳訂正７】
【訂正対象書類名】明細書
【訂正対象項目名】００２４
【訂正方法】変更
【訂正の内容】
【００２４】
タイプＩＩのそれぞれの２連結成分では、直列および並列の縮小プロセス(reduction process）が実行される。このプロセスにより、タイプＩＩの２連結成分はタイプＩの２連結成分に縮小される。次に新規に形成されたタイプＩの２連結成分は前に述べたように順序付けられる。縮小された２連結成分がタイプＩの２連結成分として順序付けられた後、直列および並列の縮小プロセスを逆転して、縮小されたノードとエッジを展開し、その後、展開されたとおりに順序付ける。
【誤訳訂正８】
【訂正対象書類名】明細書
【訂正対象項目名】００２５
【訂正方法】変更
【訂正の内容】
【００２５】
手短に図１６に進むと、この図には直列および並列の縮小プロセスの適用例が示されている。図は２連結成分５に適用されるだけでなく、２連結成分１にも適用される（両方とも、上の定義に従いタイプＩＩである）。図からわかるように、直列接続エッジのペア１６０２ａと１６０２ｂ、および１６０４ａと１６０４ｂは、エッジ１６０６ａと１６０６ｂでそれぞれ置き換えることができる。次に、並列エッジのペア１６０６ａと１６０６ｃ、および１６０６ｂと１６０６ｄは、エッジ１６０８ａと１６０８ｂでそれぞれ置き換えることができる。同様に、直列接続エッジのペア１６０８ａと１６０８ｃ、および１６０８ｂと１６０８ｄは、エッジ１６１０ａと１６１０ｂでそれぞれ置き換えることができる。最後に、並列エッジのペア１６１０ａと１６１０ｂは、エッジ１
６１２で置き換えることができる。逆転プロセスはこれとちょうど反対である。
【誤訳訂正９】
【訂正対象書類名】明細書
【訂正対象項目名】００２６
【訂正方法】変更
【訂正の内容】
【００２６】
そこで図３に戻る、具体的にはタイプＩＩＩの２連結成分のオペレーション３０６の実行に戻ると、タイプＩＩＩの２連結成分ごとに、ノードはすべて、そのノードに接続されているエッジの数に基づいて集められ、ソートされる。ノードに接続しているエッジの数をノード次数と呼ぶ。次に、ソートされたノード（または後のフェーズでは残りのノード）のうちから、静的パーティショナ１０３はノード次数が最小のノードを選択し、ノードの順序付けられていないすべてのエッジを辿り、選択されたノードをそれらのエッジの南ノードとする。選択されたノードがそれらのエッジの南ノードになった後、エッジは順序付けられたとみなされ、それに応じてマークが付けられる。次に、それらのエッジの北ノードのノード次数はすべて１だけ減らされる。さらに、選択されたノードについてフィル・エッジが挿入される。その後、このプロセスを最小ノード次数の次のノードについて繰り返す。すべてのノードが処理されるまで繰り返す。