JP7435951B2 - 集積回路チップ検証のための浮動小数点数生成方法、装置、電子デバイス、記憶媒体及びコンピュータプログラム - Google Patents

Description

本開示は、人工知能技術の分野に関し、特に人工知能チップ及びクラウドコンピューティングの分野における集積回路チップ検証方法、装置、電子デバイス、及び記憶媒体に関する。

ランダム化データインセンティブは、集積回路チップ（ＩＣ、Ｉｎｔｅｇｒａｔｅｄ Ｃｉｒｃｕｉｔ）の検証に非常に重要である。前記チップは音声チップなどであってもよい

現在、主流のＩＣ検証プラットフォームは一般的にｓｙｓｔｅｍ ｖｅｒｉｌｏｇに基づいて構築される。ｓｙｓｔｅｍ ｖｅｒｉｌｏｇはＳＶ言語を指し、ハードウェア記述と検証言語の１種である。一方、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームは定点（整数）データのランダム化方法のみを提供し、浮動小数点データのランダム化方法を提供していない。

本開示は、集積回路チップ検証方法、装置、電子デバイス及び記憶媒体を提供する。

要求された浮動小数点数の上限値である第１パラメータと、要求された浮動小数点数の下限値である第２パラメータとを取得し、前記第１パラメータ及び前記第２パラメータに基づいて、ランダム化された浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットをそれぞれ生成し、前記第１符号ビット、前記第１指数ビット、及び前記第１小数点数ビットに基づいて前記浮動小数点数を生成し、前記浮動小数点数を用いて集積回路チップ検証を行うことを含む集積回路チップ検証方法が提供される。

パラメータ取得モジュールと、第１生成モジュールと、第２生成モジュールと、検証モジュールとを備える集積回路チップ検証装置であって、前記パラメータ取得モジュールは、要求された浮動小数点数の上限値である第１パラメータと、要求された浮動小数点数の下限値である第２パラメータとを取得し、前記第１生成モジュールは、前記第１パラメータ及び前記第２パラメータに基づいて、ランダム化された浮動小数点数の第１符号ビット、第１指数ビット及び第１小数ビットをそれぞれ生成し、前記第２生成モジュールは、前記第１符号ビット、前記第１指数ビット及び前記第１小数ビットに基づいて前記浮動小数点数を生成し、前記検証モジュールは、前記浮動小数点数を用いて集積回路チップ検証を行う集積回路チップ検証装置が提供される。

少なくとも１つのプロセッサと、前記少なくとも１つのプロセッサと通信可能に接続されたメモリとを備え、前記メモリに前記少なくとも１つのプロセッサにより実行可能なコマンドが記憶されており、前記コマンドが前記少なくとも１つのプロセッサにより実行されると、前記少なくとも１つのプロセッサに上記のような方法を実行させる電子デバイスが提供される。

コンピュータに上記のような方法を実行させるためのコンピュータコマンドを記憶した非一時的なコンピュータ可読記憶媒体が提供される。

プロセッサにより実行されると、上記のような方法を実現するコンピュータプログラム／コマンドを含むコンピュータプログラム製品が提供される。

前記開示の１つの実施形態は、浮動小数点データのランダム化を実現することができるため、集積回路チップの検証における関連演算ユニットの検証に必要な浮動小数点データのインセンティブを提供し、ひいては検証効果等を向上させる利点又は有益な効果を有する。

理解すべきなのは、本セクションで説明される内容は、本開示の実施形態の重要な又は肝心な特徴を標識することでもなく、本開示の範囲を制限することでもない。本開示の他の特徴は、以下の明細書により容易に理解されるであろう。

図面は、本技術案をより良く理解するためのものであり、本願に制限されない。図面において、
本開示に記載された集積回路チップ検証方法の実施形態のフローチャートである。 本開示に記載された、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。 本開示に記載された、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。 本開示に記載された、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。 本開示に記載された集積回路チップ検証装置の第１実施形態５００の構成図である。 本開示に記載された集積回路チップ検証装置の第２実施形態６００の構成図である。 本開示の実施形態を実施可能な電子デバイス７００の概略的なブロック図である。

以下、図面に基づいて、本開示の例示的な実施例を説明する。理解を容易にするために、本開示の実施例の様々な詳細が含まれており、それらは単なる例示と見なされるべきである。従って、当業者は、本開示の範囲及び精神から逸脱することなく、本明細書に記載の実施形態に対して様々な変更及び修正を行うことができることを認識するはずである。同様に、簡明のために、以下の説明では、よく知られた機能と構造の説明は省略される。

さらに、本明細書における用語「及び／又は」は、単に関連オブジェクトを記述する関連関係であり、３つの関係が存在し得ると意味する。例えば、Ａ及び／又はＢは、Ａが単独で存在し、ＡとＢが同時に存在し、Ｂが単独で存在するという三つの状況を意味することができる。また、本明細書における文字「／」は、一般的に前後の関連オブジェクトが「又は」の関係にあることを意味する。

図１は、本開示に記載された集積回路チップ検証方法の実施形態のフローチャートである。図１に示すように、以下の具体的な実現ステップを含むことができる。

ステップ１０１では、要求された浮動小数点数の上限値である第１パラメータと、要求された浮動小数点数の下限値である第２パラメータとを取得する。

ステップ１０２では、第１パラメータ及び第２パラメータに基づいて、ランダム化された浮動小数点数の第１符号ビット、第１指数ビット及び第１小数ビットをそれぞれ生成する。

ステップ１０３において、第１符号ビット、第１指数ビット、及び第１小数ビットに基づいて前記浮動小数点数を生成する。

ステップ１０４では、前記浮動小数点数を用いて集積回路チップ検証を行う。

以上の内容からわかるように、前記方法の実施形態に記載された方案を採用することにより、浮動小数点データのランダム化を実現することができるため、集積回路チップ検証における関連演算ユニットの検証に必要な浮動小数点データのインセンティブを提供し、さらに検証効果等を向上させることができる。

浮動小数点データは、浮動小数点数及び浮動小数点ベクトルを含んで良い。浮動小数点数は、符号ビット（ｓｉｇｎ）、指数ビット（ｅｘｐｏｎｅｎｔ）、及び小数ビット（ｆｒａｃｔｉｏｎ）から構成され得る。

後に記載される他の符号ビット、指数ビット及び小数ビットと区別するために、ランダム化された浮動小数点数の符号ビット、指数ビット及び小数ビットをそれぞれ第１符号ビット、第１指数ビット及び第１小数ビットと呼ぶ。後続の同様の状況については詳しく説明しない。

本開示に記載された方案では、得られる浮動小数点数は、制約されたデータ範囲内にある必要がある。すなわち、ユーザは、ランダム化により生成された浮動小数点数を制約する必要がある値の範囲を設定し、制約条件に適合する浮動小数点数を最終的に返すことができる。

それに応じて、第１パラメータと第２パラメータを設定することができる。ここで、第１パラメータは要求される浮動小数点数の上限値であり、第２パラメータは要求される浮動小数点数の下限値である。

本開示に記載された方法では、第１パラメータ及び第２パラメータに基づいてランダム化された浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットをそれぞれ生成することができる。本開示の一実施形態では、第１パラメータの第２符号ビット、第２指数ビット、及び第２小数ビットをそれぞれ取得し、第２パラメータの第３符号ビット、第３指数ビット、及び第３小数ビットをそれぞれ取得して良く、さらに、取得された第２符号ビット、第２指数ビット、第２小数ビット、第３符号ビット、第３指数ビット、及び第３小数ビットに基づいて、前記浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットを生成して良い。

ここで、第１パラメータの第２符号ビット、第２指数ビット、及び第２小数ビットは、それぞれｓｉｇｎ＿ｍａｘ、ｅｘｐ＿ｍａｘ、及びｆｒａｃ＿ｍａｘで表され、第２パラメータの第３符号ビット、第３指数ビット、及び第３小数ビットは、それぞれｓｉｇｎ＿ｍｉｎ、ｅｘｐ＿ｍｉｎ、及びｆｒａｃ＿ｍｉｎで表され、前記浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットは、ｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｒｅｓｕｌｔ、及びｆｒａｃ＿ｒｅｓｕｌｔで表されて良い。

本開示の一実施形態では、第２符号ビットと第３符号ビットはいずれも０に等しい場合、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができ、第２符号ビットが０に等しく、第３符号ビットが１に等しい場合、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができ、第２符号ビットが１に等しく、第３符号ビットが１に等しい場合、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができる。

すなわち、第２符号ビットと第３符号ビットとを比較し、比較結果に応じて、対応する生成方法をそれぞれ用いて第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができるため、前記生成がより適合性があり、ひいては生成結果の正確性等を向上させる。

ｓｉｇｎ＿ｍａｘ＝＝１でｓｉｇｎ＿ｍｉｎ＝＝０の場合、第１パラメータの符号が負、第２パラメータの符号が正であることを示す。この場合、制約条件を満たす浮動小数点数は得られない。それに応じて、エラーを報告して中止して良い。ｓｉｇｎ＿ｍａｘ＝＝０及びｓｉｇｎ＿ｍｉｎ＝＝０の場合、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成し、ｓｉｇｎ＿ｍａｘ＝＝０及びｓｉｇｎ＿ｍｉｎ＝＝１の場合、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成し、ｓｉｇｎ＿ｍａｘ＝＝１及びｓｉｇｎ＿ｍｉｎ＝＝１の場合、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができる。

以下、上述した第１生成方法、第２生成方法及び第３生成方法の具体的な実現についてそれぞれ説明する。

１）第１生成方法
本開示の一実施形態では、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２指数ビットが第３指数ビットに等しく、第２小数ビットが第３小数ビット以上である場合に、０を第１符号ビットとし、第２指数ビット又は第３指数ビットを第１指数ビットとし、［第３小数ビット：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとすることを含むことができる。

さらに、本開示の一実施形態では、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２指数ビットが第３指数ビットよりも大きい場合に、第１中間変数として［第３指数ビット：第２指数ビット］の範囲内にあるランダム値を生成し、第１中間変数が第３指数ビットに等しい場合に、０を第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第３小数ビット：第１所定値］の範囲内にあるランダム値を第１小数ビットとし、第１中間変数が第２指数ビットに等しい場合に、０を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２所定値：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第１中間変数が第３指数ビット及び第２指数ビットのいずれにも等しくない場合に、０を第１符号ビットとし、第１中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

上記の説明に基づいて、図２は、本開示に記載された第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。図２に示すように、以下の具体的な実現ステップを含むことができる。

ステップ２０１では、ｅｘｐ＿ｍａｘとｅｘｐ＿ｍｉｎとを比較し、ｅｘｐ＿ｍａｘ＜ｅｘｐ＿ｍｉｎであればステップ２０２、ｅｘｐ＿ｍａｘ＝＝ｅｘｐ＿ｍｉｎであればステップ２０３、ｅｘｐ＿ｍａｘ＞ｅｘｐ＿ｍｉｎであればステップ２０５に進む。

ステップ２０２において、エラーを報告して中止した後にプロセスを終了する。

現在ｓｉｇｎ＿ｍａｘ＝＝０及びｓｉｇｎ＿ｍｉｎ＝＝０の場合に、第１パラメータ及び第２パラメータの符号は何れも正であることを示すため、ｅｘｐ＿ｍａｘ＜ｅｘｐ＿ｍｉｎであれば、第１パラメータの指数部が第２パラメータの指数部よりも小さいことを表す。この場合、制約条件を満たす浮動小数点数は得られない。それに応じて、エラーを報告して中止させることができる。

ステップ２０３では、ｆｒａｃ＿ｍａｘ＜ｆｒａｃ＿ｍｉｎであるか否かを判定し、肯定の場合にステップ２０２に進み、否定の場合にステップ２０４に進む。

現在ｓｉｇｎ＿ｍａｘ＝＝０、ｓｉｇｎ＿ｍｉｎ＝＝０、且つｅｘｐ＿ｍａｘ＝＝ｅｘｐ＿ｍｉｎであるため、ｆｒａｃ＿ｍａｘ＜ｆｒａｃ＿ｍｉｎであれば、第１パラメータ及び第２パラメータの符号が何れも正であり、第１パラメータ及び第２パラメータの指数部が等しいが、第１パラメータの小数部が第２パラメータの小数部よりも小さいことを表す。この場合、制約条件を満たす浮動小数点数は得られない。それに応じて、エラーを報告して中止させることができる。

ステップ２０４では、０をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍａｘ又はｅｘｐ＿ｍｉｎをｅｘｐ＿ｒｅｓｕｌｔとし、［ｆｒａｃ＿ｍｉｎ：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍａｘ又はｅｘｐ＿ｍｉｎ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［ｆｒａｃ＿ｍｉｎ：ｆｒａｃ＿ｍａｘ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、［ｆｒａｃ＿ｍｉｎ：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして生成して良い。

ステップ２０５では、第１中間変数ＴＭＰ１として、［ｅｘｐ＿ｍｉｎ：ｅｘｐ＿ｍａｘ］の範囲内にあるランダム値を生成する。

ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、第１中間変数ｔｍｐ１として［ｅｘｐ＿ｍｉｎ：ｅｘｐ＿ｍａｘ］の範囲内にあるランダム値を生成して良い。即ちｔｍｐ１＝ｒａｎｄｏｍ（［ｅｘｐ＿ｍｉｎ：ｅｘｐ＿ｍａｘ］）。

ステップ２０６では、ｔｍｐ１をｅｘｐ＿ｍｉｎ及びｅｘｐ＿ｍａｘと比較し、ｔｍｐ１＝＝ｅｘｐ＿ｍｉｎであればステップ２０７に進み、ｔｍｐ１＝＝ｅｘｐ＿ｍａｘであればステップ２０８に進み、そうでなければステップ２０９に進む。

ステップ２０７では、０をｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｍｉｎをｅｘｐ＿ｒｅｓｕｌｔとし、［ｆｒａｃ＿ｍｉｎ：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

第１所定値の具体的な値は、実際の必要に応じて設定することができる。例えば、'ｈ７Ｆ＿ＦＦＦＦとすることができる。

即ち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍｉｎ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［ｆｒａｃ＿ｍｉｎ：'ｈ７Ｆ＿ＦＦＦＦ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、［ｆｒａｃ＿ｍｉｎ：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして生成することができる。

ステップ２０８では、０をｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｍａｘをｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

第２所定値の具体的な値は、実際の必要に応じて設定して良い。例えば、'ｈ０であってよい。

即ち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍａｘ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：ｆｒａｃ＿ｍａｘ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、ｆｒａｃ＿ｒｅｓｕｌｔとして［'ｈ０：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値を生成することができる。

ステップ２０９では、０をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｔｍｐ１をｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

即ち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｔｍｐ １；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ」））。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、ｆｒａｃ＿ｒｅｓｕｌｔとして、［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値を生成することができる。

第１符号ビット、第１指数ビット、及び第１小数ビットを取得した後、これらの情報から所望の浮動小数点数を生成することができ、即ち取得されたｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｒｅｓｕｌｔ、及びｆｒａｃ＿ｒｅｓｕｌｔから、制約条件を満たすランダム化の浮動小数点数を生成することができる。どのように生成するかは従来技術である。

２）第二生成方法
本開示の一実施形態では、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２中間変数として［０：１］の範囲内にあるランダム値を生成し、第２中間変数が０に等しい場合に、第３中間変数として［０：第２指数ビット］の範囲内にあるランダム値を生成し、第３中間変数が第２指数ビットに等しい場合に、０を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２所定値：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第３中間変数が第２指数ビットに等しくない場合に、０を第１符号ビットとし、第３中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んでよい。

さらに、本開示の一実施形態では、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２中間変数が０に等しくない場合に、第４中間変数として［０：第３指数ビット］の範囲内にあるランダム値を生成し、第４中間変数が第３指数ビットに等しい場合に、１を第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第２所定値：第３小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第４中間変数が第３指数ビットに等しくない場合に、１を第１符号ビットとし、第４中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んでよい。

上記の説明に基づいて、図３は、本開示に記載された第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。図３に示されるように、以下の具体的な実現ステップを含むことができる。

ステップ３０１では、［０：１］の範囲にあるランダム値を第２中間変数ＴＭＰ２として生成する。

現在ｓｉｇｎ＿ｍａｘ＝＝０及びｓｉｇｎ＿ｍｉｎ＝＝１の場合に、第１パラメータの符号が正、第２パラメータの符号が負であることを示す。最初に、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を利用して、第２中間変数ｔｍｐ２として、［０：１］の範囲にあるランダム値を生成することができる。すなわち、ｔｍｐ２＝ｒａｎｄｏｍ（［０：１］）。

ステップ３０２では、ｔｍｐ２＝＝０であるか否かを判定し、肯定の場合にステップ３０３に進み、否定の場合にステップ３０７に進む。

ステップ３０３では、第３中間変数ＴＭＰ３として、［０：ｅｘｐ＿ｍａｘ］の範囲にあるランダム値を生成する。

すなわち、ｔｍｐ３＝ｒａｎｄｏｍ（［０：ｅｘｐ＿ｍａｘ］）。
ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して［０：ｅｘｐ＿ｍａｘ］の範囲内にあるランダム値を生成して良い。

ステップ３０４では、ＴＭＰ３＝＝ｅｘｐ＿ｍａｘであるか否かを判定し、肯定の場合にステップ３０５に進み、否定の場合にステップ３０６に進む。

ステップ３０５では、０をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍａｘをｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍａｘ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：ｆｒａｃ＿ｍａｘ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して［'ｈ０：ｆｒａｃ＿ｍａｘ］の範囲内にあるランダム値を生成して良い。

ステップ３０６では、０をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｔｍｐ３をｅｘｐ＿ｒｅｓｕｌｔ、［第２所定値：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝０；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｔｍｐ３；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ」））。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して ［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値を生成してよい。

ステップ３０７では、第４中間変数ｔｍｐ４として、［０：ｅｘｐ＿ｍｉｎ］の範囲にあるランダム値を生成する。

ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、［０：ｅｘｐ＿ｍｉｎ］の範囲内にあるランダム値を生成して良い。即ち、ｅｘｐ＿ｔｍｐ＝ｒａｎｄｏｍ（［０：ｅｘｐ＿ｍｉｎ］）。

ステップ３０８では、ｔＭＰ４＝＝ｅｘｐ＿ｍｉｎであるか否かを判定し、肯定の場合にステップ３０９に進み、否定の場合にステップ３１０に進む。

ステップ３０９では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍｉｎをｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍｉｎ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：ｆｒａｃ＿ｍｉｎ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して［'ｈ０：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値を生成して良い。

ステップ３１０では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｔｍｐ４をｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｔｍｐ４；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ」））。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値を生成してよい。

第１符号ビット、第１指数ビット、及び第１小数ビットを取得した後、これらの情報から必要な浮動小数点数を生成することができる。即ち、取得されたｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｒｅｓｕｌｔ、及びｆｒａｃ＿ｒｅｓｕｌｔに基づいて、制約条件を満たすランダム化の浮動小数点数を生成することができる。

３）第３生成方法
本開示の一実施形態では、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２指数ビットが第３指数ビットに等しく、且つ第２小数ビットが第３小数ビット以下である場合に、１を第１符号ビットとし、第２指数ビット又は第３指数ビットを第１指数ビットとし、［第２小数ビット：第３小数ビット］の範囲内にあるランダム値を第１小数ビットとすることを含んでよい。

さらに、本開示の一実施形態において、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２指数ビットが第３指数ビットよりも大きい場合に、第５中間変数として［第２指数ビット：第３指数ビット］の範囲内にあるランダム値を生成し、第５中間変数が第３指数ビットに等しい場合に、１を第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第２所定値：第３小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第５中間変数が第２指数ビットに等しい場合に、１を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２小数ビット：第１所定値］の範囲内にあるランダム値を第１小数ビットとし、第５中間変数が第３指数ビットと第２指数ビットのいずれにも等しくない場合に、１を第１符号ビットとし、第５中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んでよい。

上記の説明に基づいて、図４は、本開示に記載された第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成するプロセスの概略図である。図４に示されるように、以下の具体的な実現ステップを含むことができる。

ステップ４０１では、ｅｘｐ＿ｍａｘとｅｘｐ＿ｍｉｎとを比較し、ｅｘｐ＿ｍａｘ＞ｅｘｐ＿ｍｉｎであればステップ４０２に進み、ｅｘｐ＿ｍａｘ＝＝ｅｘｐ＿ｍｉｎであればステップ４０３に進み、ｅｘｐ＿ｍａｘ＜ｅｘｐ＿ｍｉｎであればステップ４０５に進む。

ステップ４０２では、エラーを報告して中止した後、処理を終了する。

現在ｓｉｇｎ＿ｍａｘ＝＝１及びｓｉｇｎ＿ｍｉｎ＝＝１の場合に、第１パラメータ及び第２パラメータの符号は何れも負であることを示すため、ｅｘｐ＿ｍａｘ＞ｅｘｐ＿ｍｉｎであれば、第１パラメータの指数部が第２パラメータの指数部よりも大きいことを表す。この場合、制約条件を満たす浮動小数点数は得られない。それに応じて、エラーを報告して中止して良い。

ステップ４０３において、ｆｒａｃ＿ｍａｘ＞ｆｒａｃ＿ｍｉｎであるか否かを判定し、肯定の場合にステップ４０２に進み、否定の場合にステップ４０４に進む。

現在ｓｉｇｎ＿ｍａｘ＝＝１且つｓｉｇｎ＿ｍｉｎ＝＝１且つｅｘｐ＿ｍａｘ＝＝ｅｘｐ＿ｍｉｎの場合に、ｆｒａｃ＿ｍａｘ＞ｆｒａｃ＿ｍｉｎであれば、第１パラメータ及び第２パラメータの符号は何れも負であり、且つ第１パラメータ及び第２パラメータの指数部は等しいが、第１パラメータの小数部は第２パラメータの小数部よりも大きいことを表す。この場合、制約条件を満たす浮動小数点数は得らない。それに応じて、エラーを報告して中止して良い。

ステップ４０４では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍａｘ又はｅｘｐ＿ｍｉｎをｅｘｐ＿ｒｅｓｕｌｔとし、［ｆｒａｃ＿ｍａｘ：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

即ち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍａｘ又はｅｘｐ＿ｍｉｎ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［ｆｒａｃ＿ｍａｘ：ｆｒａｃ＿ｍｉｎ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して［ｆｒａｃ＿ｍａｘ：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値を生成して良い。

ステップ４０５では、第５中間変数ＴＭＰ５として、［ｅｘｐ＿ｍａｘ：ｅｘｐ＿ｍｉｎ］の範囲にあるランダム値を生成する。

ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して第５中間変数ｔｍｐ５として［ｅｘｐ＿ｍａｘ：ｅｘｐ＿ｍｉｎ］の範囲内にあるランダム値を生成して良い。すなわち、ｔｍｐ５＝ｒａｎｄｏｍ（［ｅｘｐ＿ｍａｘ：ｅｘｐ＿ｍｉｎ］）。

ステップ４０６では、ｔｍｐ５をｅｘｐ＿ｍｉｎ及びｅｘｐ＿ｍａｘと比較し、ｔｍｐ５＝＝ｅｘｐ＿ｍｉｎであればステップ４０７に進み、ｔｍｐ５＝＝ｅｘｐ＿ｍａｘであればステップ４０８に進み、そうでなければステップ４０９に進む。

ステップ４０７では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍｉｎをｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

即ち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍｉｎ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：ｆｒａｃ＿ｍｉｎ］）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を利用して、［'ｈ０：ｆｒａｃ＿ｍｉｎ］の範囲内にあるランダム値を生成して良い。

ステップ４０８では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｅｘｐ＿ｍａｘをｅｘｐ＿ｒｅｓｕｌｔとし、［ｆｒａｃ＿ｍａｘ：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｅｘｐ＿ｍａｘ；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［ｆｒａｃ＿ｍａｘ：'ｈ７Ｆ＿ＦＦＦＦ」）。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を利用して、［ｆｒａｃ＿ｍａｘ：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値を生成して良い。

ステップ４０９では、１をｓｉｇｎ＿ｒｅｓｕｌｔとし、ｔｍｐ５をｅｘｐ＿ｒｅｓｕｌｔとし、［第２所定値：第１所定値］の範囲内にあるランダム値をｆｒａｃ＿ｒｅｓｕｌｔとして処理を終了する。

すなわち、ｓｉｇｎ＿ｒｅｓｕｌｔ＝１；
ｅｘｐ＿ｒｅｓｕｌｔ＝ｔｍｐ５；
ｆｒａｃ＿ｒｅｓｕｌｔ＝ｒａｎｄｏｍ（［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ」））。

ここで、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を使用して、ｆｒａｃ＿ｒｅｓｕｌｔとして、［'ｈ０：'ｈ７Ｆ＿ＦＦＦＦ］の範囲内にあるランダム値を生成して良い。

第１符号ビット、第１指数ビット、及び第１小数ビットを取得した後、これらの情報から所望の浮動小数点数を生成することができる。即ち、取得されたｓｉｇｎ＿ｒｅｓｕｌｔ、ｅｘｐ＿ｒｅｓｕｌｔ、及びｆｒａｃ＿ｒｅｓｕｌｔに基づいて、制約条件を満たすランダム化された浮動小数点数を生成することができる。

これらのいずれの方法でも、浮動小数点データのランダム化を実現することができ、関連演算ユニットの検証に必要な浮動小数点データのインセンティブを提供し、更に検証効果等を向上させることができる。

本開示に記載された方案では、浮動小数点数に加えて浮動小数点ベクトルを生成することができる。それに応じて、浮動小数点ベクトルを集積回路チップ検証のために利用することもできる。本開示の一実施形態では、前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点ベクトルを生成することにより、生成される浮動小数点データ型が豊富になり、検証効果等をさらに向上することができる。

ユーザは、ランダム化により生成される浮動小数点数ベクトルを制約するサイズを設定できる。また、ランダム化により制約される線形演算タイプを指定することもできる。前記線形演算は、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームでサポートされる配列要素に対する演算操作である必要がある。また、浮動小数点数ベクトル中のデータユニットに前記線形演算を行った後、演算結果が指定されたデータ範囲内にある必要があり、すなわち、演算結果が指定された上限と下限の間にある必要がある。最終的に制約条件を満たす浮動小数点数ベクトルが返される。ここで、データユニットの数がｌｅｎであり、ｌｅｎは前記指定サイズを示す。

最初に、本開示に記載された方法に従ってランダム化の浮動小数点数を生成して良い。ここで、符号ビット、指数ビット、及び小数ビットは、それぞれ、第１符号ビット、第１指数ビット、及び第１小数ビットと呼ばれる。次に、前記浮動小数点数に基づいてランダム化の浮動小数点数ベクトルを生成してよい。

本開示の一実施形態では、前記浮動小数点数に基づいてランダム化の浮動小数点数ベクトルを生成する方法は、第１指数ビットが０に等しい場合に、前記浮動小数点数と所定の第１係数との積を取得して第６中間変数を取得し、ランダム化の整数データの第１配列であって、サイズが前記指定サイズに等しく、且つ所定の線形演算が行われた結果が第６中間変数である第１配列を取得し、第１係数を第１配列内の各要素に均等に割り当て、線形演算の種類と合わせて浮動小数点数ベクトルを決定することを含んで良い。

本開示の一実施形態では、線形演算が加算演算であれば、第１配列内の各要素をそれぞれ第１係数で除算して浮動小数点ベクトルを取得し、線形演算が乗算演算であれば、第１配列からＭ個の要素をランダムに選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ個の要素を用いて第２配列を構成し、さらに、第２配列内の各要素をそれぞれ２のＮ乗で除算して浮動小数点数ベクトルを取得することができる。ここで、Ｎは、第３所定値を前記指定サイズで除算した商であり、Ｍは第３所定値を前記指定サイズで除算した剰余である。

本開示の一実施形態では、第１係数は２の１４９乗であって良く、第３所定値は１４９であって良い。

すなわち、第１係数ｆａｃｔｏｒ １＝（２＾１２６）＊（２＾２３）＝２＾１４９；
ｔｍｐ６＝Ｆ＿ｔｍｐ＊ｆａｃｔｏｒ１。

ここで、Ｆ＿ｔｍｐは前記浮動小数点数を示し、ｔｍｐ６は第６中間変数を示す。

この場合、－（２＾２３）＜ｔｍｐ６＜（２＾２３）であり、且つｔｍｐ６データの小数ビットは完全に０である。

その後、ｒａｎｄｏｍｉｚｅ（Ｉｎｔ＿Ｖ）ｗｉｔｈ｛Ｌｅｎｇｔｈ（Ｉｎｔ＿Ｖ）＝＝ｌｅｎ；Ｆ（Ｉｎｔ＿Ｖ）＝＝ｔｍｐ６｝を得るように、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇ配列ランダム化方法を用いて整数データの第１配列Ｉｎｔ＿Ｖを得てよい。すなわち、第１配列のサイズが指定サイズｌｅｎに等しく、且つ第１配列に対して所定の線形演算Ｆ（）を行った結果が第６中間変数ｔｍｐ６となる。

さらに、線形演算の具体的な操作手順に応じて、ｆａｃｔｏｒ１を第１配列内の各要素に均等に割り当て、線形演算が加算演算であれば、第１配列内の各要素をそれぞれｆａｃｔｏｒ １で除算して所望の浮動小数点数ベクトルを取得し、線形演算が乗算演算であれば、第１配列からランダムにＭ個の要素を選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ個の要素を用いて第２配列を構成し、さらに第２配列内の各要素をそれぞれ２のＮ乗で除算して所望の浮動小数点数ベクトルを取得することができる。

前記線形演算は、一般に、加算演算又は乗算演算であり、乗算演算は、一般に、指数乗算である。

線形演算が加算演算であれば、Ｆ＿Ｖ＝Ｉｎｔ＿Ｖ／ｆａｃｔｏｒ１であって良い。

ここで、Ｆ＿Ｖは得られた浮動小数点数ベクトルを示す。

線形演算が乗算演算である場合、まず１４９をｌｅｎで除算して商Ｎと剰余Ｍを得、すなわち１４９＝（ｌｅｎ＊Ｎ）＋Ｍを得ることができる。その後、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を利用して、第１配列からランダムにＭ個の要素を選択し、各要素をそれぞれ２で除算して第２配列Ｆ＿Ｖ＿ｐｒｅを取得し、その後、Ｆ＿Ｖ＿ｐｒｅ内の各要素をそれぞれ２＾Ｎで除算して所望の浮動小数点数ベクトルを取得して良い。即ちＦ＿Ｖ＝Ｆ＿Ｖ＿ｐｒｅ／２＾Ｎである。

本開示の一実施形態では、前記浮動小数点数に基づいてランダム化の浮動小数点数ベクトルを生成する方法は、更に、第１指数ビットが０に等しくない場合、第１指数ビットから第２係数を決定し、前記浮動小数点数と第２係数との積を取得して第７中間変数を取得し、ランダム化の整数データの第３配列であって、サイズが前記指定サイズに等しく、所定の線形演算が行われた結果が第７中間変数である第３配列を取得し、第２係数を第３配列内の各要素に均等に割り当て、線形演算の種類と合わせて浮動小数点数ベクトルを決定することを含んで良い。

本開示の一実施形態では、線形演算が加算演算であれば、第３配列内の要素をそれぞれ第２係数で除算して浮動小数点ベクトルを取得し、線形演算が乗算演算であれば、第３配列からＭ'個の要素をランダムに選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ'個の要素を用いて第４配列を構成し、さらに第４配列内の各要素をそれぞれ２のＮ'乗で除算して浮動小数点数ベクトルを取得することができる。ここで、Ｎ'は第４所定値を指定サイズで除算した商であり、Ｍ'は第４所定値を指定サイズで除算した剰余である。

本開示の一実施形態では、第２係数は２のＰ乗であって良い。Ｐは第４所定値であり、且つ１４９と第１指数ビットとの差である。

即ち、第２係数ｆａｃｔｏｒ ２＝（２＾（１２７－ｅｘｐ＿ｔｍｐ））＊（２＾２３）＝２＾（１４９－ｅｘｐ＿ｔｍｐ）；
ｔｍｐ７＝Ｆ＿ｔｍｐ＊ｆａｃｔｏｒ２。

ここで、Ｆ＿ｔｍｐは前記浮動小数点数を示し、ｔｍｐ７は第７中間変数を示す。

この場合、－（２＾２４）＜Ｉｎｔ＿ｔｍｐ＜（２＾２４）であり、ｔｍｐ７のデータの小数ビットは完全に０である。

その後、ｒａｎｄｏｍｉｚｅ（Ｉｎｔ＿Ｖ'）ｗｉｔｈ｛Ｌｅｎｇｔｈ（Ｉｎｔ＿Ｖ'）＝＝ｌｅｎ；Ｆ（Ｉｎｔ＿Ｖ'）＝＝ｔｍｐ７｝を得るように、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇ配列ランダム化方法を利用して整数データの第３配列Ｉｎｔ＿Ｖ'を取得して良い。すなわち、第３配列のサイズは指定サイズｌｅｎに等しく、第３配列に対して所定の線形演算Ｆ（）を行った結果は第７中間変数ｔｍｐ７となる。

さらに、線形演算の具体的な操作手順に応じて、ｆａｃｔｏｒ ２を第３配列内の要素に均等に割り当て、線形演算が加算演算であれば、第３配列内の要素をそれぞれｆａｃｔｏｒ ２で除算して所望の浮動小数点ベクトルを取得し、線形演算が乗算演算であれば、第３配列からランダムにＭ'個の要素を選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ'個の要素を用いて第４配列を構成し、さらに第４配列内の各要素をそれぞれ２のＮ'乗で除算して所望の浮動小数点ベクトルを取得することができる。

線形演算が加算演算の場合、Ｆ＿Ｖ＝Ｉｎｔ＿Ｖ'／ｆａｃｔｏｒ２であって良い。

ここで、Ｆ＿Ｖは得られた浮動小数点数ベクトルを示す。

線形演算が乗算演算の場合、最初に（１４９－第１指数ビット）をｌｅｎで除算して商Ｎ'及び剰余Ｍ'、即ち（１４９－第１指数ビット）＝（ｌｅｎ＊Ｎ'）＋Ｍ'を得、その後に、ｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームにより提供されるランダム化方法を利用して、第３配列からＭ'個の要素をランダムに選択し、各要素をそれぞれ２で除算して、第４配列Ｆ＿Ｖ＿ｐｒｅ'を取得し、その後にＦ＿Ｖ＿ｐｒｅ'における各要素をそれぞれ２＾Ｎ'で除算して所望の浮動小数点数ベクトルを得ることができる。すなわち、Ｆ＿Ｖ＝Ｆ＿Ｖ＿ｐｒｅ'／２＾Ｎ'。

なお、前述の方法の実施形態について、説明の簡素化のため、実施例を一連の動作の組み合わせとして表現したが、当業者であればわかるように、本開示による幾らかのステップは他の順序に従って又は同時に実行することができるため、本開示は記述された動作の順序に制限されない。次に、当業者は、明細書に記述された実施例はいずれも好ましい実施例に該当し、関連する動作及びモジュールは必ずしも本開示によって必要とされないことを理解すべきである。

要約すると、本開示の方法の実施形態で説明された方法によれば、ランダム化された浮動小数点数と浮動小数点ベクトルを得ることにより、特定のデータに対するランダム化しか提供していない現在のシステムｖｅｒｉｌｏｇプラットフォームの欠点を補うことができる。そして、ユーザにとっていくつかの制約条件の設定のような簡単な設定をすれば良く、他の処理はすべて自動的に完了することができるため、ユーザ操作が簡単になる。また、得られた浮動小数点数及び浮動小数点ベクトルを利用して、浮動小数点演算ユニット及び浮動小数点ベクトル演算ユニットの検証を行うなど、集積回路チップ検証における相関演算ユニットの検証を行うことができ、前記相関演算ユニットの検証収束過程を高速化することができる。

以上は、方法の実施形態についての説明であり、以下では、装置の実施形態を介して、本開示に記載された態様についてさらに説明する。

図５は本開示に記載された集積回路チップ検証装置の第１実施形態５００の構成図であり、パラメータ取得モジュール５０１と、第１生成モジュール５０２と、第２生成モジュール５０３と、検証モジュール５０４とを備える。

パラメータ取得モジュール５０１は、要求される浮動小数点数の上限値である第１パラメータと、要求される浮動小数点数の下限値である第２パラメータとを取得する。

第１生成モジュール５０２は、第１パラメータ及び第２パラメータに基づいて、ランダム化の浮動小数点数の第１符号ビット、第１指数ビット及び第１小数ビットをそれぞれ生成する。

第２生成モジュール５０３は、第１符号ビット、第１指数ビット、及び第１小数ビットに基づいて前記浮動小数点数を生成する。

検証モジュール５０４は、前記浮動小数点数を利用して集積回路チップ検証を行う。

上述した装置の実施形態に記載された方案を用いて、浮動小数点データのランダム化を実現することができるため、集積回路チップ検証における関連演算ユニットの検証に必要な浮動小数点データのインセンティブを提供し、検証効果等を向上させることができる。

浮動小数点データは、浮動小数点数及び浮動小数点ベクトルを含んで良い。浮動小数点数は、符号ビット、指数ビット、小数ビットで構成できる。

本開示の一実施形態では、第１生成モジュール５０２は、第１パラメータの第２符号ビット、第２指数ビット、及び第２小数ビットをそれぞれ取得し、第２パラメータの第３符号ビット、第３指数ビット、及び第３小数ビットをそれぞれ取得し、さらに、取得された第２符号ビット、第２指数ビット、第２小数ビット、第３符号ビット、第３指数ビット、及び第３小数ビットに基づいて、前記浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができる。

本開示の一実施形態では、第１生成モジュール５０２は、第２符号ビット及び第３符号ビットの両方が０に等しい場合に、第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成し、第２符号ビットが０に等しく、第３符号ビットが１に等しい場合、第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成し、第２符号ビットが１に等しく、第３符号ビットが１に等しい場合、第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成することができる。

本開示の一実施形態では、第１生成モジュール５０２が第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２指数ビットが第３指数ビットに等しく、第２小数ビットが第３小数ビット以上である場合に、０を第１符号ビットとし、第２指数ビット又は第３指数ビットを第１指数ビットとし、［第３小数ビット：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

本開示の一実施形態において、第１生成モジュール５０２が第１生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２指数ビットが第３指数ビットよりも大きい場合、［第３指数ビット：第２指数ビット］の範囲内にあるランダム値を第１中間変数として生成し、第１中間変数が第３指数ビットに等しい場合、０を第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第３小数ビット：第１所定値］の範囲内にあるランダム値を第１小数ビットとし、第１中間変数が第２指数ビットに等しい場合、０を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２所定値：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第１中間変数が第３指数ビット及び第２指数ビットのいずれにも等しくない場合に、０を第１符号ビットとし、第１中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

本開示の一実施形態では、第１生成モジュール５０２が第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２中間変数として［０：１］の範囲内にあるランダム値を生成し、第２中間変数が０に等しい場合、第３中間変数として［０：第２指数ビット］の範囲内にあるランダム値を生成し、第３中間変数が第２指数ビットに等しい場合、０を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２所定値：第２小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第３中間変数が第２指数ビットに等しくない場合、０を第１符号ビットとし、第３中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

本開示の一実施形態では、第１生成モジュール５０２が第２生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２中間変数が０に等しくない場合、第４中間変数として［０：第３指数ビット］の範囲内にあるランダム値を生成し、第４中間変数が第３指数ビットに等しい場合、１を第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第２所定値：第３小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第４中間変数が第３指数ビットに等しくない場合に、１を第１符号ビットとし、第４中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

本開示の一実施形態では、第１生成モジュール５０２が第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、第２指数ビットが第３指数ビットに等しく、第２小数ビットが第３小数ビット以下である場合、１を第１符号ビットとし、第２指数ビット又は第３指数ビットを第１指数ビットとし、［第２小数点：第３小数点］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

本開示の一実施形態では、第１生成モジュール５０２が第３生成方法に従って第１符号ビット、第１指数ビット、及び第１小数ビットを生成する方法は、更に、第２指数ビットが第３指数ビットよりも大きい場合、第５中間変数として［第２指数ビット：第３指数ビット］の範囲内にあるランダム値を生成し、第５中間変数が第３指数ビットに等しい場合、１を前記第１符号ビットとし、第３指数ビットを第１指数ビットとし、［第２所定値：第３小数ビット］の範囲内にあるランダム値を第１小数ビットとし、第５中間変数が第２指数ビットに等しい場合、１を第１符号ビットとし、第２指数ビットを第１指数ビットとし、［第２小数ビットの桁：第１所定値］の範囲内にあるランダム値を第１小数ビットとし、第５中間変数が第３指数ビットと第２指数ビットのいずれにも等しくない場合に、１を第１符号ビットとし、第５中間変数を第１指数ビットとし、［第２所定値：第１所定値］の範囲内にあるランダム値を第１小数ビットとすることを含んで良い。

図６は、本開示に記載された集積回路チップ検証装置の第２実施形態６００の構成図である。図６に示すように、パラメータ取得モジュール５０１と、第１生成モジュール５０２と、第２生成モジュール５０３と、検証モジュール５０４と、第３生成モジュール５０５とを備える。

なお、パラメータ取得モジュール５０１、第１生成モジュール５０２及び第２生成モジュール５０３は、図５に示す実施形態と同様であるので、詳しく説明しない。

第３生成モジュール５０５は、前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点数ベクトルを生成する。それに応じて、検証モジュール５０４は、更に前記浮動小数点数ベクトルを利用して集積回路チップ検証を行って良い。

本開示の一実施形態では、第３生成モジュール５０５は、第１指数ビットが０に等しい場合に、浮動小数点数と所定の第１係数との積を取得して第６中間変数を得、ランダム化の整数データの第１配列であって、サイズが指定サイズに等しく、所定の線形演算が行われた結果が第６中間変数である第１配列を取得し、第１係数を第１配列内の各要素に均等に割り当て、線形演算の種類と合わせて浮動小数点数ベクトルを決定することができる。

本開示の一実施形態では、第３生成モジュール５０５は、線形演算が加算演算である場合に、第１配列内の各要素をそれぞれ第１係数で除算して浮動小数点ベクトルを得、線形演算が乗算演算である場合、第１配列からＭ個の要素をランダムに選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ個の要素を用いて第２配列を構成し、第２配列内の各要素をそれぞれ２のＮ乗で除算して浮動小数点数ベクトルを得ることができる。ここで、Ｎは第３所定値を指定サイズで除算した商であり、Ｍは第３所定値を指定サイズで除算した剰余である。

本開示の一実施形態では、第１係数は２の１４９乗であって良く、第３所定値は１４９であって良い。

本開示の一実施形態では、第３生成モジュール５０５は、第１指数ビットが０に等しくない場合に、第１指数ビットに基づいて第２係数を決定し、浮動小数点数と第２係数の積を取得して第７中間変数を得、ランダム化の整数データの第３配列であって、サイズが指定サイズに等しく、所定の線形演算が行われた結果が第７中間変数である第３配列を取得し、第２係数を第３配列内の各要素に均等に割り当て、線形演算の種類と合わせて浮動小数点数ベクトルを決定することができる。

本開示の一実施形態では、第３生成モジュール５０５は、線形演算が加算演算である場合に、第３配列内の各要素を第２係数で除算して浮動小数点ベクトルを得、線形演算が乗算演算である場合、第３配列からランダムにＭ'個の要素を選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ'個の要素を用いて第４配列を構成し、第４配列内の各要素をそれぞれ２のＮ'乗で除算して浮動小数点数ベクトルを得ることができる。ここで、Ｎ'は第４所定値を指定サイズで除算した商であり、Ｍ'は第４所定値を指定サイズで除算した剰余である。

本開示の一実施形態では、第２係数は２のＰ乗であってよく、Ｐは第４所定値であり、１４９と第１指数ビットとの差である。

図５及び図６に示す装置の実施形態の具体的なワークフローは、上述した方法の実施形態における関連説明を参照することができる。

要約すると、本開示の装置の実施形態で説明された方案によれば、ランダム化の浮動小数点数と浮動小数点ベクトルが得られるため、特定データに対するランダム化しか提供していない現在のｓｙｓｔｅｍ ｖｅｒｉｌｏｇプラットフォームの欠点を補うことができる。そして、ユーザにとっていくつかの制約条件の設定のような簡単な設定をすればよく、他の処理がすべて自動的に完了することができるため、ユーザ操作が簡単になる。また、得られた浮動小数点数及び浮動小数点ベクトルを利用して、浮動小数点演算ユニット及び浮動小数点ベクトル演算ユニットの検証を行うなど、集積回路チップ検証における関連演算ユニットの検証を行うことができ、前記関連演算ユニットの検証収束過程等を高速化することができる。

本開示に記載された技術案は、人工知能の分野に適用することができ、特に人工知能チップ及びクラウドコンピューティング等の分野に関する。人工知能は、コンピュータが人間の思考過程と知能行為（例えば学習、推理、思考、計画など）をシミュレートすることを研究する学科であり、ハードウェアレベルの技術とソフトウェアレベルの技術の両方がある。人工知能のハードウェア技術には、一般的に、例えばセンサ、専用人工知能チップ、クラウドコンピューティング、分散ストレージ、ビッグデータ処理等の技術が含まれる。人工知能のソフトウェア技術は、主にコンピュータビジョン技術、音声認識技術、自然言語処理技術及び機械学習／ディープラーニング、ビッグデータ処理技術、知識マップ技術等のいくつかの方向を含む。

本開示の技術案において、関わるユーザの個人情報の取得、記憶、応用、加工、伝送、提供及び配信等は、いずれも関連法律法規の規定に適合しており、公序良俗に反するものではない。

本開示の実施形態によれば、本開示は更に電子デバイス、可読記憶媒体、及びコンピュータプログラム製品を提供する。

図７は、本開示の実施形態を実施するために使用され得る電子デバイス７００の模式的なブロック図である。電子デバイスは、ラップトップ、デスクトップコンピュータ、ワークベンチ、サーバ、ブレードサーバ、大型コンピュータ、及び他の適切なコンピュータのような、様々な形態のデジタルコンピュータを表す。電子デバイスは更に、ＰＤＡ、携帯電話、スマートフォン、ウェアラブルデバイス、及び他の同様のコンピューティングデバイスなどの様々な形態のモバイルデバイスを表すことができる。本明細書に示す構成要素、それらの接続及び関係、ならびにそれらの機能は、単なる一例であり、本明細書に記載及び／又は要求された本開示の実現を制限することではない。

図７に示すように、デバイス７００は、読み取り専用メモリ（ＲＯＭ）７０２に記憶されたコンピュータプログラム、又は記憶手段７０８からランダムアクセスメモリ（ＲＡＭ）７０３にロードされたコンピュータプログラムに従って、様々な適切な動作及び処理を実行することができる演算手段７０１を含む。ＲＡＭ７０３には、デバイス７００の動作に必要な各種のプログラムやデータが記憶されてもよい。演算手段７０１、ＲＯＭ７０２及びＲＡＭ７０３は、バス７０４を介して接続されている。入出力（Ｉ／Ｏ）インターフェース７０５もバス７０４に接続されている。

例えばキーボード、マウス等の入力手段７０６と、例えば様々なタイプのディスプレイ、スピーカ等の出力手段７０７と、例えば磁気ディスク、光ディスク等の記憶手段７０８と、例えばネットワークカード、モデム、無線通信トランシーバなどの通信手段７０９を含むデバイス７００の複数の構成要素は、Ｉ／Ｏインターフェース７０５に接続される。通信手段７０９は、デバイス７００が例えばインターネットのコンピュータネットワーク及び／又は様々な電気通信ネットワークを介して他のデバイスと情報／データを交換することを可能にする。

演算手段７０１は、処理能力及び演算能力を有する様々な汎用及び／又は専用の処理コンポーネントであってよい。演算手段７０１のいくつかの例は、中央処理ユニット（ＣＰＵ）、グラフィック処理ユニット（ＧＰＵ）、様々な専用の人工知能（ＡＩ）演算チップ、機械学習モデルアルゴリズムを実行する様々な演算ユニット、デジタル信号プロセッサ（ＤＳＰ）、及び任意の適切なプロセッサ、コントローラ、マイクロコントローラなどを含むが、これらに限定されない。演算手段７０１は、上述した様々な方法及び処理、例えば本開示に記載の方法を実行する。例えば、幾つかの実施形態では、本開示に記載の方法は、例えば記憶手段７０８のような機械可読媒体に物理的に組み込まれたコンピュータソフトウェアプログラムとして実装されてもよい。幾つかの実施形態では、コンピュータプログラムの一部又は全部は、ＲＯＭ７０２及び／又は通信手段７０９を介してデバイス７００にロード及び／又はインストールすることができる。コンピュータプログラムがＲＡＭ７０３にロードされ、演算手段７０１により実行されると、本開示に記載の方法の１つ又は複数のステップを実行することができる。代替的に、他の実施形態では、演算手段７０１は、本開示に記載の方法を実行するように、他の任意の適切な方法で（例えば、ファームウェアを介する）構成されてもよい。

本明細書で前述したシステム及び技術の様々な実施形態は、デジタル電子回路システム、集積回路システム、フィールドプログラマブルゲートアレイ（ＦＰＧＡ）、専用集積回路（ＡＳＩＣ）、専用標準製品（ＡＳＳＰ）、システムオンチップシステム（ＳＯＣ）、ロードプログラマブル論理デバイス（ＣＰＬＤ）、コンピュータハードウェア、ファームウェア、ソフトウェア、及び／又はこれらの組み合わせにおいて実装されてもよい。これらの様々な実施形態は、１つ又は複数のコンピュータプログラムで実施されることを含んで良い。当該１つ又は複数のコンピュータプログラムは、少なくとも１つのプログラマブルプロセッサを含むプログラマブルシステム上で実行及び／又は解釈することができる。当該プログラマブルプロセッサは、専用又は汎用のプログラマブルプロセッサであって、記憶システム、少なくとも１つの入力装置、及び少なくとも１つの出力装置からデータ及び命令を受信し、当該記憶システム、当該少なくとも１つの入力装置、及び当該少なくとも１つの出力装置にデータ及び命令を転送することができる。

本開示の方法を実施するためのプログラムコードは、１つ又は複数のプログラミング言語の任意の組み合わせを用いて記述することができる。これらのプログラムコードは、汎用コンピュータ、専用コンピュータ、又は他のプログラマブルデータ処理装置のプロセッサ又はコントローラに提供することにより、プログラムコードがプロセッサ又はコントローラにより実行されると、フローチャート及び／又はブロック図に指定された機能／動作を実行するようにすることができる。プログラムコードは、全てがマシン上で実行されても良く、一部がマシン上で実行されても良く、スタンドアロンパッケージとして一部的にマシン上で実行され且つ一部的にリモートマシン上で実行され、或いは全てがリモートマシン又はサーバ上で実行されても良い。

本開示の文脈では、機械可読媒体は、有形の媒体であって、命令実行システム、装置又はデバイスにより使用され、或いは命令実行システム、装置又はデバイスと合わせて使用されるプログラムを含むか記憶することができる。機械可読媒体は、機械可読信号媒体又は機械可読記憶媒体であってよい。機械可読媒体は、電子的、磁気的、光学的、電磁気的、赤外線的、又は半導体的なシステム、装置又はデバイス、あるいはこれらの任意の適切な組み合わせを含んで良いが、これらに限定されない。機械可読記憶媒体のより具体的な例は、１つ又は複数のラインに基づく電気的接続、ポータブルコンピュータディスク、ハードディスク、ランダムアクセスメモリ（ＲＡＭ）、読み取り専用メモリ（ＲＯＭ）、消去可能プログラマブル読み取り専用メモリ（ＥＰＲＯＭ又はフラッシュメモリ）、光ファイバ、携帯型コンパクトディスク読み取り専用メモリ（ＣＤ－ＲＯＭ）、光学記憶装置、磁気記憶装置、又はこれらの任意の適切な組み合わせを含む。

ユーザとのインタラクションを提供するために、本明細書に記載されたシステム及び技術は、ユーザに情報を表示するための表示装置（例えば、ＣＲＴ（陰極線管）又はＬＣＤ（液晶ディスプレイ）モニタ）と、ユーザにより入力をコンピュータに提供するキーボード及びポインティングデバイス（例えば、マウス又はトラックボール）と備えるコンピュータ上に実施されてよい。他の種類の装置は、ユーザとのインタラクションを提供するためにも使用され得る。例えば、ユーザに提供されるフィードバックは、任意の形態のセンシングフィードバック（例えば、視覚フィードバック、聴覚フィードバック、又は触覚フィードバック）であって良く、ユーザからの入力を任意の形式（音入力、音声入力、又は触覚入力を含む）で受信して良い。

本明細書に記載されたシステム及び技術は、バックエンド構成要素を含むコンピューティングシステム（例えば、データサーバとする）、又はミドルウェア構成要素を含むコンピューティングシステム（例えば、アプリケーションサーバ）、又はフロントエンド構成要素を含むコンピューティングシステム（例えば、グラフィカルユーザインターフェースもしくはウェブブラウザを有するクライアントコンピュータであり、ユーザは、当該グラフィカルユーザインターフェースもしくは当該ウェブブラウザを通じて本明細書で説明されるシステムと技術の実施形態とインタラクションすることができる）、そのようなバックエンド構成要素、ミドルウェア構成要素、もしくはフロントエンド構成要素の任意の組合せを含むコンピューティングシステムに実施されることが可能である。システムの構成要素は、任意の形態又は媒体のデジタルデータ通信（例えば、通信ネットワーク）によって相互に接続されることが可能である。通信ネットワークの例は、ローカルエリアネットワーク（「ＬＡＮ」）、ワイド・エリア・ネットワーク（「ＷＡＮ」）、インターネットワークを含む。

コンピュータシステムは、クライアントとサーバを含み得る。クライアントとサーバは、一般的に互いから遠く離れており、通常は、通信ネットワークを通じてインタラクトする。クライアントとサーバとの関係は、相応するコンピュータ上で実行され、互いにクライアント－サーバの関係を有するコンピュータプログラムによって生じる。サーバはクラウドサーバであっても良く、分散システムのサーバであっても良く、ブロックチェーンを組み合わせたサーバであってもよい。

以上で示された様々な形式のフローを使用して、ステップを並べ替え、追加、又は削除できることを理解されたい。例えば、本開示に説明される各ステップは、並列の順序又は順次的な順序で実施されてもよいし、又は異なる順序で実行されてもよく、本開示で開示された技術案の望ましい結果が達成できる限り、ここで制限されない。

上記の具体的な実施形態は本開示の保護範囲に対する制限を構成しない。設計要件及び他の要因に従って、様々な修正、組み合わせ、部分的組み合わせ及び置換を行うことができることを当業者は理解するべきである。本開示の精神及び原則の範囲内で行われる修正、同等の置換、改善は、何れも本開示の保護範囲内に含まれるべきである。

Claims (33)

1. コンピュータにより実行される、集積回路チップ検証のための浮動小数点数生成方法であって、
   要求された浮動小数点数の上限値である第１パラメータと、要求された浮動小数点数の下限値である第２パラメータとを取得することと、
   前記第１パラメータ及び前記第２パラメータに基づいて、ランダム化の浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットをそれぞれ生成することと、
   前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットに基づいて前記浮動小数点数を生成することと、
   前記浮動小数点数を用いて集積回路チップ検証を行うことと、を含み、
   前記第１パラメータ及び前記第２パラメータに基づいてランダム化の浮動小数点数の第１符号ビット、第１指数ビット、及び第１小数ビットをそれぞれ生成することは、
   前記第１パラメータの第２符号ビット、第２指数ビット及び第２小数ビットをそれぞれ取得し、前記第２パラメータの第３符号ビット、第３指数ビット及び第３小数ビットをそれぞれ取得することと、
   取得された前記第２符号ビット、前記第２指数ビット、前記第２小数ビット、前記第３符号ビット、前記第３指数ビット、及び前記第３小数ビットに基づいて、前記浮動小数点数の前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することと、を含む、
   集積回路チップ検証のための浮動小数点数生成方法。
2. 前記浮動小数点数の前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
   前記第２符号ビット及び前記第３符号ビットが何れも０に等しい場合に、第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することと、
   前記第２符号ビットが０に等しく、前記第３符号ビットが１に等しい場合に、第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することと、
   前記第２符号ビットが１に等しく、前記第３符号ビットが１に等しい場合に、第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することと、を含む、
   請求項１に記載の集積回路チップ検証のための浮動小数点数生成方法。
3. 前記第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
   前記第２指数ビットが前記第３指数ビットに等しく、且つ前記第２小数ビットが前記第３小数ビット以上である場合、０を前記第１符号ビットとし、
   前記第２指数ビット又は前記第３指数ビットを前記第１指数ビットとし、
   ［前記第３小数ビット：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
   請求項２に記載の集積回路チップ検証のための浮動小数点数生成方法。
4. 前記第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
   前記第２指数ビットが前記第３指数ビットよりも大きい場合、［前記第３指数ビット：前記第２指数ビット］の範囲内にあるランダム値を第１中間変数として生成することと、
   前記第１中間変数が前記第３指数ビットに等しい場合、０を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［前記第３小数ビット：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第１中間変数が前記第２指数ビットに等しい場合、０を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［第２所定値：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第１中間変数が前記第３指数ビット及び前記第２指数ビットのいずれにも等しくない場合、０を前記第１符号ビットとし、前記第１中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、を含む、
   請求項３に記載の集積回路チップ検証のための浮動小数点数生成方法。
5. 前記第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
   第２中間変数として［０：１］の範囲にあるランダム値を生成することと、
   前記第２中間変数が０に等しい場合、第３中間変数として［０：前記第２指数ビット］の範囲内にあるランダム値を生成することと、
   前記第３中間変数が前記第２指数ビットに等しい場合、０を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［第２所定値：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第３中間変数が前記第２指数ビットに等しくない場合、０を前記第１符号ビットとし、前記第３中間変数を前記第１指数ビットとし、［前記第２所定値：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、を含む、
   請求項２に記載の集積回路チップ検証のための浮動小数点数生成方法。
6. 前記第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
   前記第２中間変数が０に等しくない場合、第４中間変数として［０：前記第３指数ビット］の範囲内にあるランダム値を生成することと、
   前記第４中間変数が前記第３指数ビットに等しい場合、１を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［第２所定値：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第４中間変数が前記第３指数ビットに等しくない場合、１を前記第１符号ビットとし、前記第４中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、を含む、
   請求項５に記載の集積回路チップ検証のための浮動小数点数生成方法。
7. 前記第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
   前記第２指数ビットが前記第３指数ビットに等しく、且つ前記第２小数ビットが前記第３小数ビット以下である場合、１を前記第１符号ビットとし、
   前記第２指数ビット又は前記第３指数ビットを前記第１指数ビットとし、
   ［前記第２小数ビット：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
   請求項２に記載の集積回路チップ検証のための浮動小数点数生成方法。
8. 前記第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
   前記第２指数ビットが前記第３指数ビットよりも大きい場合、第５中間変数として［前記第２指数ビット：前記第３指数ビット］の範囲内にあるランダム値を生成することと、
   前記第５中間変数が前記第３指数ビットに等しい場合、１を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［第２所定値：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第５中間変数が前記第２指数ビットに等しい場合、１を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［前記第２小数ビット：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、
   前記第５中間変数が前記第３指数ビット及び前記第２指数ビットのいずれにも等しくない場合、１を前記第１符号ビットとし、前記第５中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることと、を含む、
   請求項７に記載の集積回路チップ検証のための浮動小数点数生成方法。
9. 前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点数ベクトルを生成し、前記浮動小数点数ベクトルを用いて集積回路チップ検証を行うことをさらに含む、
   請求項１から８のいずれか一項に記載の集積回路チップ検証のための浮動小数点数生成方法。
10. 前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点数ベクトルを生成することは、
    前記第１指数ビットが０に等しい場合、前記浮動小数点数と所定の第１係数との積を取得して第６中間変数を得ることと、
    ランダム化の整数データの第１配列であって、サイズが前記指定サイズに等しく、且つ所定の線形演算が行われた結果が前記第６中間変数である第１配列を取得することと、
    前記第１係数を前記第１配列内の各要素に均等に割り当て、前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定することと、を含む、
    請求項９に記載の集積回路チップ検証のための浮動小数点数生成方法。
11. 前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定することは、
    前記線形演算が加算演算である場合、前記第１配列内の各要素をそれぞれ前記第１係数で除算して前記浮動小数点数ベクトルを得ることと、
    前記線形演算が乗算演算である場合、前記第１配列からランダムにＭ個の要素を選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ個の要素を用いて第２配列を構成し、前記第２配列内の各要素をそれぞれ２のＮ乗で除算して前記浮動小数点数ベクトルを得ることと、を含み、
    前記Ｎは第３所定値を前記指定サイズで除算した商であり、前記Ｍは前記第３所定値を前記指定サイズで除算した剰余である、
    請求項１０に記載の集積回路チップ検証のための浮動小数点数生成方法。
12. 前記第１係数は、２の１４９乗であり、
    前記第３所定値は１４９である、
    請求項１１に記載の集積回路チップ検証のための浮動小数点数生成方法。
13. 前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点数ベクトルを生成することは、さらに、
    前記第１指数ビットが０に等しくない場合、前記第１指数ビットに基づいて第２係数を決定し、前記浮動小数点数と前記第２係数との積を取得して第７中間変数を得ることと、
    ランダム化の整数データの第３配列であって、サイズが前記指定サイズに等しく、且つ所定の線形演算が行われた結果が前記第７中間変数である第３配列を取得することと、
    前記第２係数を前記第３配列内の各要素に均等に割り当て、前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定することと、を含む、
    請求項１０に記載の集積回路チップ検証のための浮動小数点数生成方法。
14. 前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定することは、
    前記線形演算が加算演算である場合、前記第３配列内の各要素をそれぞれ前記第２係数で除算して前記浮動小数点数ベクトルを得ることと、
    前記線形演算が乗算演算である場合、前記第３配列からランダムにＭ'個の要素を選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ'個の要素を用いて第４配列を構成し、前記第４配列内の各要素をそれぞれ２のＮ'乗で除算して前記浮動小数点数ベクトルを得ることと、を含み、
    前記Ｎ'は、第４所定値を前記指定サイズで除算した商であり、
    前記Ｍ'は、前記第４所定値を前記指定サイズで除算した剰余である、
    請求項１３に記載の集積回路チップ検証のための浮動小数点数生成方法。
15. 前記第２係数は２のＰ乗であり、Ｐは前記第４所定値であり、且つ１４９と前記第１指数ビットとの差である、
    請求項１４に記載の集積回路チップ検証のための浮動小数点数生成方法。
16. パラメータ取得モジュールと、第１生成モジュールと、第２生成モジュールと、検証モジュールとを備える集積回路チップ検証のための浮動小数点数生成装置であって、
    前記パラメータ取得モジュールは、要求された浮動小数点数の上限値である第１パラメータと、要求された浮動小数点数の下限値である第２パラメータとを取得し、
    前記第１生成モジュールは、前記第１パラメータ及び前記第２パラメータに基づいて、ランダム化の浮動小数点数の第１符号ビット、第１指数ビット及び第１小数ビットをそれぞれ生成し、
    前記第２生成モジュールは、前記第１符号ビット、前記第１指数ビット及び前記第１小数ビットに基づいて前記浮動小数点数を生成し、
    前記検証モジュールは、前記浮動小数点数を利用して集積回路チップ検証を行い、
    前記第１生成モジュールは、前記第１パラメータの第２符号ビット、第２指数ビット、及び第２小数ビットをそれぞれ取得し、
    前記第２パラメータの第３符号ビット、第３指数ビット、及び第３小数ビットをそれぞれ取得し、
    取得された前記第２符号ビット、前記第２指数ビット、前記第２小数ビット、前記第３符号ビット、前記第３指数ビット、及び前記第３小数ビットに基づいて、前記浮動小数点数の前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成する、
    集積回路チップ検証のための浮動小数点数生成装置。
17. 前記第１生成モジュールは、
    前記第２符号ビット及び前記第３符号ビットが何れも０に等しい場合に、第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成し、
    前記第２符号ビットが０に等しく、且つ前記第３符号ビットが１に等しい場合に、第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成し、
    前記第２符号ビットが１に等しく、且つ第３符号ビットが１に等しい場合に、第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成する、
    請求項１６に記載の集積回路チップ検証のための浮動小数点数生成装置。
18. 前記第１生成モジュールは、第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
    前記第２指数ビットが第３指数ビットに等しく、且つ前記第２小数ビットが前記第３小数ビット以上である場合、０を前記第１符号ビットとし、
    前記第２指数ビット又は前記第３指数ビットを前記第１指数ビットとし、
    ［前記第３小数ビット：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすること、を含む、
    請求項１７に記載の集積回路チップ検証のための浮動小数点数生成装置。
19. 前記第１生成モジュールは、第１生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
    前記第２指数ビットが前記第３指数ビットよりも大きい場合、［前記第３指数ビット：前記第２指数ビット］の範囲内にあるランダム値を第１中間変数として生成し、
    前記第１中間変数が前記第３指数ビットに等しい場合、０を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［前記第３小数ビット：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第１中間変数が前記第２指数ビットに等しい場合、０を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［第２所定値：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第１中間変数が前記第３指数ビット及び前記第２指数ビットのいずれにも等しくない場合、０を前記第１符号ビットとし、前記第１中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
    請求項１８に記載の集積回路チップ検証のための浮動小数点数生成装置。
20. 前記第１生成モジュールは、第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
    第２中間変数として［０：１］の範囲内にあるランダム値を生成し、
    前記第２中間変数が０に等しい場合、第３中間変数として［０：前記第２指数ビット］の範囲内にあるランダム値を生成し、
    前記第３中間変数が前記第２指数ビットに等しい場合、０を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［第２所定値：前記第２小数ビット］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第３中間変数が前記第２指数ビットに等しくない場合、０を前記第１符号ビットとし、前記第３中間変数を前記第１指数ビットとし、［前記第２所定値：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
    請求項１７に記載の集積回路チップ検証のための浮動小数点数生成装置。
21. 前記第１生成モジュールは、第２生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
    前記第２中間変数が０に等しくない場合、第４中間変数として［０：前記第３指数ビット］の範囲内にあるランダム値を生成し、
    前記第４中間変数が前記第３指数ビットに等しい場合、１を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［第２所定値：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第４中間変数が前記第３指数ビットに等しくない場合、１を前記第１符号ビットとし、前記第４中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
    請求項２０に記載の集積回路チップ検証のための浮動小数点数生成装置。
22. 前記第１生成モジュールは、第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、
    前記第２指数ビットが前記第３指数ビットに等しく、前記第２小数ビットが前記第３小数ビット以下である場合、１を前記第１符号ビットとし、
    前記第２指数ビット又は前記第３指数ビットを前記第１指数ビットとし、
    ［前記第２小数ビット：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
    請求項１７に記載の集積回路チップ検証のための浮動小数点数生成装置。
23. 前記第１生成モジュールは、第３生成方法に従って前記第１符号ビット、前記第１指数ビット、及び前記第１小数ビットを生成することは、さらに、
    前記第２指数ビットが前記第３指数ビットよりも大きい場合、［前記第２指数ビット：前記第３指数ビット］の範囲内にあるランダム値を第５中間変数として生成し、
    前記第５中間変数が前記第３指数ビットに等しい場合、１を前記第１符号ビットとし、前記第３指数ビットを前記第１指数ビットとし、［第２所定値：前記第３小数ビット］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第５中間変数が前記第２指数ビットに等しい場合、１を前記第１符号ビットとし、前記第２指数ビットを前記第１指数ビットとし、［前記第２小数ビット：第１所定値］の範囲内にあるランダム値を前記第１小数ビットとし、
    前記第５中間変数が前記第３指数ビット及び前記第２指数ビットのいずれにも等しくない場合、１を前記第１符号ビットとし、前記第５中間変数を前記第１指数ビットとし、［前記第２所定値：前記第１所定値］の範囲内にあるランダム値を前記第１小数ビットとすることを含む、
    請求項２２に記載の集積回路チップ検証のための浮動小数点数生成装置。
24. 前記浮動小数点数に基づいて指定サイズのランダム化の浮動小数点数ベクトルを生成する第３生成モジュールを更に備え、
    前記検証モジュールはさらに、前記浮動小数点数ベクトルを用いて集積回路チップ検証を行う、
    請求項１６から２３のいずれか１項に記載の集積回路チップ検証のための浮動小数点数生成装置。
25. 前記第３生成モジュールは、前記第１指数ビットが０に等しい場合、前記浮動小数点数と所定の第１係数との積を取得して第６中間変数を得、
    ランダム化の整数データの第１配列であって、サイズが前記指定サイズに等しく、且つ所定の線形演算が行われた結果が前記第６中間変数である第１配列を取得し、
    前記第１係数を前記第１配列内の各要素に均等に割り当て、
    前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定する、
    請求項２４に記載の集積回路チップ検証のための浮動小数点数生成装置。
26. 前記第３生成モジュールは、
    前記線形演算が加算演算である場合、前記第１配列内の各要素を前記第１係数でそれぞれ除算して浮動小数点ベクトルを得、
    前記線形演算が乗算演算である場合、前記第１配列からＭ個の要素をランダムに選択し、選択された各要素を２で除算し、２で除算されたＭ個の要素を用いて第２配列を構成し、前記第２配列内の各要素をそれぞれ２のＮ乗で除算して前記浮動小数点数ベクトルを得、前記Ｎは第３所定値を前記指定サイズで除算した商であり、前記Ｍは前記第３所定値を前記指定サイズで除算した剰余である、
    請求項２５に記載の集積回路チップ検証のための浮動小数点数生成装置。
27. 前記第１係数は、２の１４９乗であり、
    前記第３所定値は１４９である、
    請求項２６に記載の集積回路チップ検証のための浮動小数点数生成装置。
28. 前記第３生成モジュールは、前記第１指数ビットが０に等しくない場合に、前記第１指数ビットに基づいて第２係数を決定し、
    前記浮動小数点数と前記第２係数との積を取得して第７中間変数を得、
    ランダム化の整数データの第３配列であって、サイズが前記指定サイズに等しく、且つ所定の線形演算が行われた結果が前記第７中間変数である第３配列を取得し、
    前記第２係数を前記第３配列内の各要素に均等に割り当て、
    前記線形演算の種類と合わせて前記浮動小数点数ベクトルを決定する、
    請求項２５に記載の集積回路チップ検証のための浮動小数点数生成装置。
29. 前記第３生成モジュールは、
    前記線形演算が加算演算である場合、前記第３配列内の各要素をそれぞれ前記第２係数で除算して前記浮動小数点数ベクトルを得、
    前記線形演算が乗算演算である場合、前記第３配列からＭ'個の要素をランダムに選択し、選択された各要素をそれぞれ２で除算し、２で除算されたＭ'個の要素を用いて第４配列を構成し、前記第４配列内の各要素をそれぞれ２のＮ'乗で除算して前記浮動小数点数ベクトルを得、
    前記Ｎ'は第４所定値を前記指定サイズで除算した商であり、
    前記Ｍ'は前記第４所定値を前記指定サイズで除算した剰余である、
    請求項２８に記載の集積回路チップ検証のための浮動小数点数生成装置。
30. 前記第２係数は２のＰ乗であり、Ｐは前記第４所定値であり、１４９と前記第１指数ビットとの差である、
    請求項２９に記載の集積回路チップ検証のための浮動小数点数生成装置。
31. 少なくとも１つのプロセッサと、
    前記少なくとも１つのプロセッサと通信可能に接続されたメモリとを備え、
    前記メモリに前記少なくとも１つのプロセッサにより実行可能なコマンドが記憶されており、前記コマンドが前記少なくとも１つのプロセッサにより実行されると、前記少なくとも１つのプロセッサに請求項１から８のいずれか１項に記載の集積回路チップ検証のための浮動小数点数生成方法を実行させる電子デバイス。
32. コンピュータに請求項１から８のいずれか１項に記載の集積回路チップ検証のための浮動小数点数生成方法を実行させるためのコンピュータコマンドを記憶する非一時的なコンピュータ可読記憶媒体。
33. プロセッサにより実行されると、請求項１から８のいずれか１項に記載の集積回路チップ検証のための浮動小数点数生成方法を実現するコンピュータプログラム。

Images