主要内容

指定行为的约束

要确定新的定点实现的数值行为是否可接受,可以通过设置信号公差、使用一个或多个模型验证块或两者同时使用来定义约束。

优化定点转换定点工具的工作流程,或在使用时fxpopt在命令行中,您必须指定至少一个行为约束。优化数据类型以满足所有指定的约束。

迭代定点转换定点工具的工作流程,或在使用时DataTypeWorkflow。转换器在命令行中,您可以指定行为约束来验证带有嵌入类型的模型的数值行为。在使用嵌入式类型进行模拟之后,工作流的浏览器指示与范围收集运行相比,嵌入式运行是否满足指定的信号容差。有关更多信息,请参见验证新设置

指定信号公差

您可以在启用了信号记录的模型中指定信号的公差。启用信号记录功能。

  • 在仿真软件®编辑器,选择一个或多个信号。

  • 信号选项卡,单击测井信号

在定点工具中,在下面的表格中指定个别信号公差信号公差.该表包含启用了信号日志记录的模型中的所有信号。如果在打开定点工具后记录了其他信号,请单击刷新信号更新信号公差表格在命令行上,使用addTolerance方法。

您可以指定以下任何类型的公差:

  • Abs托尔-原始信号与转换后的设计信号之间可接受的最大差值的绝对值。

  • Rel托尔-原始信号和转换设计信号之间的最大相对差,指定为百分比。例如,的值1)依照表示1%的最大相对差值。

  • 托尔时间(秒)-时间间隔,其中最大值和最小值定义了要比较的上下限值。

您可以使用绝对、相对和时间公差值的任何组合来定义公差带。当您使用多种类型的公差为信号指定公差时,通过为每个数据点选择最宽松的公差结果来计算总体公差带。有关如何计算公差的更多信息,请参见公差计算

使用模型验证块

您可以使用enabled模型验证块来指定对系统行为的约束。有关使用模型验证块进行数据类型优化的示例,请参见使用多个模拟场景优化数据类型而且用定点量化受限玻尔兹曼机算法去噪图像

另请参阅

相关的话题

Baidu
map