【手続補正書】
【提出日】平成20年3月28日(2008.3.28)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
オペランドに対して選択した関数を実行することによって選択した関数の第１の結果を生成するステップであって、前記選択した関数はマスクを採用する、ステップと、
前記マスクのアンチマスクを作成するステップと、
第２の結果を取得するために前記アンチマスクのモジュロ関数を計算するステップと、
第３の結果を取得するために前記選択した関数の前記第１の結果のモジュロ関数を計算するステップと、
第４の結果を取得するために前記オペランドのモジュロ関数を計算するステップと、
第５の結果を取得するために前記第２の結果および第３の結果に対して第２の関数を実行するステップと、
前記第５の結果と前記第４の結果の比較に応答して、回路内の障害を示す信号を伝播するステップと、
を有する、回路内の障害を発見する方法。
【請求項２】
前記選択した関数の前記第１の結果を生成する前記ステップが、回転演算およびシフト演算からなるグループのうちの少なくとも１つを実行するステップをさらに有する、請求項１に記載の方法。
【請求項３】
前記アンチマスクのモジュロ関数を計算する前記ステップが前記アンチマスクのモジュロ３関数を計算するステップをさらに有し、
前記選択した関数の前記第１の結果のモジュロ関数を計算する前記ステップが前記選択した関数の前記第１の結果のモジュロ３関数を計算するステップをさらに有し、
前記オペランドのモジュロ関数を計算する前記ステップが前記オペランドのモジュロ３関数を計算するステップをさらに有する、請求項１に記載の方法。
【請求項４】
前記生成するステップが、シミュレートされたハードウェア・プラットフォーム上で前記選択した関数の前記結果を生成するステップをさらに有する、請求項１に記載の方法。
【請求項５】
前記生成するステップが、ハードウェア・プラットフォーム内の回路上で前記選択した関数の前記結果を生成するステップをさらに有する、請求項１に記載の方法。
【請求項６】
前記第４の結果を取得するために前記オペランドの前記モジュロ関数を計算する前記ステップが、
前記オペランドのモジュロ３を計算するステップと、
奇数のシフト長さおよび奇数の回転長さを有するセットのうちの少なくとも１つに応答して、前記第４の結果を生成するために前記オペランドの前記モジュロ３を反転させるステップと、
をさらに有する、請求項１に記載の方法。
【請求項７】
前記第５の結果を取得するために前記第２の結果および第３の結果に対して第２の関数を実行する前記ステップが、第５の結果を取得するために前記第２の結果と前記第３の結果との合計を生成するステップをさらに有する、請求項１に記載の方法。
【請求項８】
オペランドに対して選択した関数を実行することによって選択した関数の第１の結果を生成するステップであって、前記選択した関数はマスクを採用し、前記選択した関数は回転演算およびシフト演算からなるグループのうちの少なくとも１つである、ステップと、  前記マスクのアンチマスクを作成するステップと、
第２の結果を取得するために前記アンチマスクのモジュロ３関数を計算するステップと、
第３の結果を取得するために前記選択した関数の前記第１の結果のモジュロ３関数を計算するステップと、
偶数のシフト長さおよび偶数の回転長さを有するセットのうちの少なくとも１つに応答して、第４の結果を生成するために前記オペランドのモジュロ３関数を計算するステップと、
奇数のシフト長さおよび奇数の回転長さを有するセットのうちの少なくとも１つに応答して、前記第４の結果を生成するために前記オペランドの反転モジュロ３関数を計算するステップと、
第５の結果を取得するために前記第２の結果と前記第３の結果との合計を計算するステップと、
前記第５の結果と前記第４の結果の比較、および前記第５の結果が前記第４の結果に等しくないことに応答して、前記回路内の障害を示す信号を伝播するステップと、
を有する、回路内の障害を発見する方法。
【請求項９】
オペランドに対して前記選択した関数を実行することによって選択した関数の第１の結果を生成するステップであって、前記選択した関数はマスクを採用する、ステップが、
第１のオペランド値および第２のオペランド値を有する前記オペランドに対してマージ付き回転関数を実行することによって、マージ付き回転関数の第１の結果を生成するステップをさらに有し、
前記マージ付き回転関数が、前記第１のオペランド値に対応する第１のマスク値と前記第２のオペランド値に対応する第２のマスク値とを有し、
前記第１の結果が、最終の第１結果と、第１のオペランド値に対応する第１の中間結果と、第２のオペランド値に対応する第２の中間結果とをさらに有し、
前記マスクのアンチマスクを作成する前記ステップが、前記第１のマスク値の第１のアンチマスクを作成するステップと、前記第２のマスク値の第２のアンチマスクを作成するステップとをさらに有し、
第２の結果を取得するために前記アンチマスクのモジュロ関数を計算する前記ステップが、
第２のマスクのモジュロ３関数と第１のアンチマスクのモジュロ３関数とを有する第２の結果を取得するために、前記第１のアンチマスクのモジュロ３関数を計算するステップと、
前記第２のアンチマスクのモジュロ３関数を計算するステップとをさらに有し、
第３の結果を取得するために前記選択した関数の前記第１の結果のモジュロ関数を計算する前記ステップが、前記第１の中間結果に対してモジュロ３関数を実行することによって第１の中間モジュロを計算するステップと、
前記第１の中間結果に対してモジュロ３関数を実行することによって第２の中間モジュロを計算するステップと、前記第１の中間モジュロと前記第２の中間モジュロとを有する第３の結果を作成するステップとをさらに有し、
第４の結果を取得するために前記オペランドのモジュロ関数を計算する前記ステップが、
第４の中間モジュロを取得するために前記第２のオペランド値のモジュロ３関数を計算するステップと、
前記第１のオペランド値のモジュロ３関数を計算するステップと、奇数の回転長さに応答して第３の中間モジュロを生成するために前記オペランドの前記モジュロ３を反転させるステップと、
第４の結果を取得するために前記第３の中間モジュロと前記第２の中間モジュロを合計するステップと、を有し、
第５の結果を取得するために前記第２の結果および前記第３の結果に対して第２の関数を実行する前記ステップが、前記第１のアンチマスクの前記モジュロ３関数と、前記第２のアンチマスクの前記モジュロ３関数と、前記第１の中間モジュロと、前記第２の中間モジュロとの合計を生成するステップをさらに有する、請求項８に記載の方法。
【請求項１０】
マージ付き回転関数の第１の結果を生成する前記ステップが、符号拡張付き回転関数の第１の結果を生成するステップをさらに有する、請求項９に記載の方法。
【請求項１１】
オペランドに対して選択した関数を実行することによって選択した関数の第１の結果を生成するための手段であって、前記選択した関数はマスクを採用する、生成するための手段と、
前記マスクのアンチマスクを作成するための手段と、
第２の結果を取得するために前記アンチマスクのモジュロ関数を計算するための手段と、
第３の結果を取得するために前記選択した関数の前記第１の結果のモジュロ関数を計算するための手段と、
第４の結果を取得するために前記オペランドのモジュロ関数を計算するための手段と、
第５の結果を取得するために前記第２の結果および第３の結果に対して第２の関数を実行するための手段と、
前記第５の結果と前記第４の結果の比較に応答して、回路内の障害を示す信号を伝播するための手段と、
を有する、回路内の障害を発見するためのシステム。
【請求項１２】
コンピュータに、
オペランドに対して選択した関数を実行することによって選択した関数の第１の結果を生成するための命令であって、前記選択した関数はマスクを採用する、命令と、
前記マスクのアンチマスクを作成するための命令と、
第２の結果を取得するために前記アンチマスクのモジュロ関数を計算するための命令と、
第３の結果を取得するために前記選択した関数の前記第１の結果のモジュロ関数を計算するための命令と、
第４の結果を取得するために前記オペランドのモジュロ関数を計算するための命令と、
第５の結果を取得するために前記第２の結果および第３の結果に対して第２の関数を実行するための命令と、
前記第５の結果と前記第４の結果の比較に応答して、回路内の障害を示す信号を伝播するための命令と、
を実行させて、回路内の障害を発見するためのコンピュータ・プログラム。