测试和调试

分析、测试和调试设计的数值行为和成本

识别、跟踪和调试设计中溢出、精度损失以及范围或精度浪费的来源。将数值行为与理想的浮点基线进行比较。

生成涵盖多种数值情形的数值数据，以测试您设计的整个运算范围。使用不同维度、复/实性和数据类型的定点和浮点值测试算法的数值一致性。

使用设计成本模型度量来估算在硬件中实现设计的成本。分析您的模型，并在生成的代码中报告详细的成本数据，例如程序的大小。

类别