標準 C math ライブラリが C ソースで使用されると、C シミュレーション結果と C/RTL 協調シミュレーション結果が異なることがあります。ソース コードの数学関数のいずれかに標準 C math ライブラリと異なる ULP がある場合、RTL がシミュレーションされたときの結果が異なってしまうことがあります。
hls_math.h ライブラリが C コードに含まれると、C シミュレーションと RTL 協調シミュレーションの結果は同じになります。ただし、hls_math.h を使用した C シミュレーションの結果は、標準 C ライブラリを使用した結果と同じにはなりません。hls_math.h ライブラリを使用すると、単に C シミュレーションが C/RTL 協調シミュレーション結果と一致するようになります。どちらの場合も同じ RTL インプリメンテーションが作成されます。次に、数学関数を使用した場合に検証を実行するために使用する可能性のあるオプションについて説明します。