验证和数学函数 - 2022.1 Chinese

Vitis 高层次综合用户指南 (UG1399)

Document ID
UG1399
Release Date
2022-06-07
Version
2022.1 简体中文

如果在 C 语言源代码中使用标准 C 语言数学库,C 语言仿真结果与 C/RTL 协同仿真结果可能产生差异:如果源代码中的任一数学函数与标准 C 语言数学库存在 ULP 差异,则可能导致 RTL 仿真结果不同。

如果在 C 语言源代码中使用 hls_math.h 库,那么 C 语言仿真与 C/RTL 协同仿真结果可能不同。但使用 hls_math.h 时,C 语言仿真结果与使用标准 C 语言库时的结果不同。hls_math.h 库只确保 C 语言仿真与 C/RTL 协同仿真结果不同。在上述 2 种情况下,创建的 RTL 实现是相同的。以下解释了使用数学函数时用于执行验证的每一种可能的选项。