【手続補正書】
【提出日】平成19年5月1日(2007.5.1)
【手続補正１】
【補正対象書類名】明細書
【補正対象項目名】特許請求の範囲
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】  コンピュータで実行される回路をシミュレートする方法であって、
前記回路の複数の静的パーティションの一つを備えるノードの各集合を前処理してそれぞれの静的パーティションの動的パーティショニングに特に適した各集合内の前記ノードに対する順序を決定するステップと、
前記それぞれの順序で前記ノードの各集合を横断し、ノードの有効な集合を収集することにより前記回路の複数の動的パーティションを形成するステップと
を含む方法。
【請求項２】  前記静的パーティションを事前形成するステップをさらに含むことを特徴とする請求項１に記載の方法。
【請求項３】  前記静的パーティションの事前形成が回路のデバイスを接続セットに編成することを含み、それぞれの接続セットが静的パーティションを形成することを特徴とする請求項２に記載の方法。
【請求項４】  少なくとも信号の流れに従ってノードの前記セットの前処理を実行すことを特徴とする請求項１に記載の方法。
【請求項５】  強接続コンポーネントが配置される場所に少くとも応じてノードの前記セットの前処理を実行されることを特徴とする請求項１に記載の方法。
【請求項６】  複数の静的パーティションのそれぞれのグラフィック表現を生成し、
各々のグラフィック表現のノードとエッジの順序決定をするノードの前記セットの前処理を含むことを特徴とする請求項３に記載の方法。
【請求項７】  前記グラフィック表現のそれぞれにおいて前記ノードおよびエッジを順序付けるステップが、
前記グラフィック表現のそれぞれにおいて双接続コンポーネントを識別するステップと、
前記識別された双接続コンポーネントに基づいて前記ノードおよびエッジを順序付けるステップと
を含むことを特徴とする請求項６に記載の方法。
【請求項８】  ノードの前記有効な集合を収集するステップが、
与えられた静的パーティションにおいてＯＮになっているデバイスを識別するステップと、
ＯＮになっている前記デバイスにより接続された前記与えられた静的パーティションのグラフィック表現内のノードを識別するステップであって、ＯＮになっているノードの各相互接続された集合が前記複数の動的パーティションの一つを形成するステップと
を含むことを特徴とする請求項１に記載の方法。
【請求項９】  前記複数の動的パーティションを形成するステップが、前に形成された動的パーティションをマージおよび／または分割するステップをさらに含むことを特徴とする請求項１に記載の方法。
【請求項１０】  製造物品であって、
実行されると請求項１で規定しているような方法を実行する、プロセッサによって実行される複数のプログラム命令を格納している記録媒体を備える物品。
【請求項１１】  プログラム命令が実行されるとそれが、さらに請求項２で規定された追加のオペレーションを実行させることを特徴とする請求項９に記載の物品。
【請求項１２】  各シミュレーション時間ステップにおいて、前記複数の動的パーティションのどれが評価されなければならないかを決定するステップと、
評価を必要とする前記動的パーティションのみを評価するステップと
をさらに含む請求項１に記載の方法。
【請求項１３】  前記複数の動的パーティションのどれが評価されなければならないかを決定するステップが、与えられた動的パーティションが安定状態にあるかどうかを決定するステップを含むことを特徴とする請求項１２に記載の方法。
【請求項１４】  前記複数の動的パーティションのどれが評価されなければならないかを決定するステップが、ゼロ遅延トリガ・ループが形成されないようにするステップを含むことを特徴とする請求項１２に記載の方法。
【請求項１５】  評価を必要とする前記動的パーティションを評価するステップが、与えられた動的パーティションのグラフィック表現をボトムアップ方式で横断するステップと、前記グラフィック表現の各ノードについて行列解を計算するステップとを含むことを特徴とする請求項１２に記載の方法。
【請求項１６】  コンピュータで実行される回路をシミュレートする方法において、
前記回路の複数の事前形成された静的パーティションを用いて前記回路の複数の動的パーティションを形成するステップと、
各シミュレーション時間ステップにおいて、前記動的パーティションが評価されなければならないかどうかを決定するステップと、
評価を必要とする前記動的パーティションのみを評価するステップと
を含む方法であって、
動的パーティションが評価されなければならないかどうかの前記決定が、動的パーティションが安定状態にあるかどうかを決定するステップを含み、
動的パーティションが評価されなければならないかどうかの前記決定が、ゼロ遅延トリガ・ループが形成されないようにするステップをさらに含む
ことを特徴とする方法。
【請求項１７】  プロセッサにより実行される複数のプログラム命令が中に格納された読み取り可能な媒体を使用して、前記複数のプログラム命令が、実行されるときの工程は、
前記回路の複数の事前形成された静的パーティションを用いて前記回路の複数の動的パーティションを形成するステップと、
各シミュレーション時間ステップにおいて、前記動的パーティションが評価されなければならないかどうかを決定するステップと、
評価を必要とする前記動的パーティションのみを評価するステップと
を含み、更に
動的パーティションが評価されなければならないかどうかの前記決定が、動的パーティションが安定状態にあるかどうかを決定するステップを含むと共に、
動的パーティションが評価されなければならないかどうかの前記決定が、ゼロ遅延トリガ・ループが形成されないようにするステップとを具備したことを特徴とする方法。
【請求項１８】  回路シミュレータを実行して回路をシミュレートする複数のプログラム命令が中に格納された記憶媒体を備えるコンピュータシステムであって、
前記回路シミュレータが、
前記回路の複数の静的パーティションの一つを備えるノードの各集合を前処理してそれぞれの静的パーティションの動的パーティショニングに特に適した各集合内の前記ノードに対する順序を決定する静的パーティショナと、
それぞれの順序でノードの各集合を横断し、ノードの有効な集合を収集することにより前記回路の複数の動的パーティションを形成する動的パーティショナと、
前記プログラム命令を実行して前記回路シミュレータを動作するために前記記憶媒体に結合されたプロセッサと
を含む
コンピュータシステム。
【請求項１９】  前記静的パーティショナがさらに前記複数の静的パーティションを事前形成することを特徴とする請求項１８に記載のコンピュータシステム。
【請求項２０】  前記動的パーティショナが、与えられた静止パーティションにおいてＯＮになっているデバイスを識別し、ＯＮになっているデバイスにより接続された前記与えられた静的パーティションのグラフィック表示内のノードを識別することによりノードの前記有効な集合を収集し、ＯＮになっているノードの各相互接続された集合が前記複数の動的パーティション一つを形成することを特徴とする請求項１８に記載のコンピュータシステム。
【請求項２１】  前記回路シミュレータが、
各シミュレーション時間ステップにおいて、前記複数の動的パーティションのどれが評価されなければならないかを決定し、評価を必要とする前記動的パーティションのみを評価する評価スケジューラ
をさらに備えることを特徴とする請求項１８に記載のコンピュータシステム。
【請求項２２】  前記回路シミュレータが、
与えられた動的パーティションのグラフィック表現をボトムアップ方式で横断し、前記グラフィック表現の各ノードに対する行列解を計算することにより、評価を必要とする与えられた動的パーティションを評価するノードおよびモデル・エバリュエータをさらに備えることを特徴とする請求項２１に記載のコンピュータシステム
【請求項２３】  回路の動的パーティションを評価して前記回路をシミュレートする方法であって、
前記回路の複数の静的パーティションの一つを備えるノードの各集合を前処理してそれぞれの静的パーティションの動的パーティショニングに特に適した各集合内の前記ノードに対する順序を決定するステップと、
シミュレーションの間、前記それぞれの順序で前記ノードの各集合を横断し、ノードの有効な集合を収集することにより動的パーティションを形成するステップと、
形成された前記動的パーティションの選択されたものを評価するステップであって、各選択された動的パーティションが行列解を通じて順序付けられた方式で評価されるステップと
を含む方法。
【請求項２４】  前記選択された動的パーティションのそれぞれを評価するステップがオンデマンドで、必要に応じて実行されることを特徴とする請求項２３に記載の方法。
【請求項２５】  複数のプログラム命令が中に格納された記憶媒体と、
前記記憶媒体に結合されたプロセッサと
を備えるコンピュータシステムであって、
前記プロセッサが、
シミュレートされた回路の複数の静的パーティションの一つを備えるノードの各集合を前処理してそれぞれの静的パーティションの動的パーティショニングに特に適した各集合内の前記ノードに対する順序を決定し、
シミュレーションの間、前記それぞれの順序で前記ノードの各集合を横断することにより動的パーティションを形成し、ノードの有効な集合を収集し、
形成された前記動的パーティションの選択されたものを評価し、各選択された動的パーティションが行列解を通じて順序付けられた方式で評価される
ように前記プログラム命令を実行する
コンピュータシステム。
【請求項２６】  前記プロセッサが、オンデマンドで、必要に応じて前記動的パーティションを評価するように前記プログラム命令をさらに実行することを特徴とする請求項２５に記載のコンピュータシステム。