C 语言测试激励文件和 C 语言源代码 - 2023.2 简体中文

确认所有阵列大小都设置正确，以匹配所有访问。超出阵列大小的循环边界常引发各种问题（例如，针对大小为 N-1 的阵列执行 N 次访问）。

确认 C 语言仿真结果符合预期，并且未针对输出值指定随机数据值。

请考虑在 HLS 设计环境外使用业界标准 Valgrind 应用来确认 C 语言代码不含未定义的问题或出界问题。

即使某些变量未定义或者出界，C 语言函数仍可执行并完成。在 C 语言仿真中，将为未定义的值赋予随机数字。在 RTL 仿真中，将为未定义的值赋予未知值或 X 值。

请检查 C 语言测试激励文件结果是否在可接受的误差范围内，而不是执行精确比较。对于某些浮点数学运算，RTL 实现不同于 C。欲知详情，请参阅 验证和数学函数。

请确保向第三方仿真器提供适用于浮点核的 RTL 仿真模型。欲知详情，请参阅 仿真 IP 核。

分析设计，并使用 STREAM 指令增大用于实现 hls::stream 的 FIFO 的大小。

默认情况下，hls::stream 作为 FIFO 来实现，深度为 2。如果设计导致数据速率增加（例如，内插操作），那么默认 FIFO 大小 2 可能太小，并导致 C/RTL 协同仿真停滞。

执行 C/RTL 协同仿真时使用 reduce_diskspace 选项。在此模式下，HLS 每次仅执行 1 项传输事务。仿真可能运行稍慢，但这会导致存储空间受限，从而导致系统容量问题。

C/RTL 协同仿真功能可同时验证所有传输事务。如果多次调用顶层函数（例如，用于对多个视频帧进行仿真），那么所有仿真输入和输出数据都存储在磁盘上。根据机器设置和操作系统，这可能导致性能问题或执行问题。