主要内容

断言

生成SystemVerilog断言金宝app断言

在页面中全部展开
  • 库:

  • HDL验证器/用于DPI-C SystemVerilog

  • 断言块

描述

的断言Block断言它的输入信号是非零的。如果它的输入为零，块在默认情况下停止模拟并显示错误消息。当你生成一个DPI-C SystemVerilog组件时，块会立即创建一个SystemVerilog断言。使用block参数，你可以:

  • 启用或禁用断言。

  • 指定一个MATLAB®Simulink的表达式金宝app®来计算断言失败的时间。

  • 为Simulink选择金宝app停止模拟或继续模拟，但在断言失败时显示警告。

使用DPI-C参数来控制运行时选项:

  • 指定生成断言的严重性。

  • 当断言失败时指定自定义消息或操作。

港口

输入

全部展开

的断言块接受Simulink支持的任何维度和数字数据类型的输入信号。金宝app金宝app

数据类型:单|双|int8|int16|int32|uint8|uint16|uint32|布尔|不动点

参数

全部展开

选中此复选框可使块显示模拟警告或错误。它还允许块在生成的代码中创建SystemVerilog断言。清除此复选框将在模拟中禁用断言，并且它不会生成SystemVerilog断言。

为Simulink指定一个MATLAB表达式，以便在断言失败时求金宝app值。块在生成的DPI-C断言中忽略这个参数。

依赖关系

若要启用此参数，请选择启用断言参数。

选择此复选框将导致Simulink停止模拟并在块输入为零时显示错金宝app误。清除此复选框将使Simulink继续模拟，并在块输入为零时显示警金宝app告。块在生成的DPI-C断言中忽略这个参数。

依赖关系

若要启用此参数，请选择启用断言参数。

断言选项

在SystemVerilog模拟环境中，使用这些参数来控制生成的DPI-C断言的行为。若要启用生成DPI-C断言，请选择启用断言．

选择错误或警告DPI-C断言发出SystemVerilog错误或警告消息。设置为自定义执行自定义命令。

依赖关系

若要启用此参数，请选择启用断言参数。

指定当SystemVerilog断言失败时要发出的自定义SystemVerilog消息。该特性只支持ASCII字符金宝app。

例子:RX失败

依赖关系

若要启用此参数，请设置严重程度来错误或警告．

指定在断言失败时执行的自定义SystemVerilog命令。该参数可以设置为显示语句、命令或脚本。该特性只支持ASCII字符金宝app

例子:$display("RX fail at %0t"， $time);

依赖关系

若要启用此参数，请设置严重程度来自定义．

模型的例子

从Simulink生成本机SystemVerilog断言金宝app

从Simulink生成本机SystemVerilog断言金宝app

从Simulink®模型中的断言生成本机SystemVerilog断言。金宝app当您在Simulink和HDL测试环境中需要相同的断言行为时，此功能非常有用。金宝app
打开脚本

版本历史

在R2018a中介绍

另请参阅

主题