主要内容

断言

生成SystemVerilog断言万博1manbetx断言

展开所有页面
  • 图书馆：

  • HDL验证程序/与DPI-C SystemVerilog一起使用

  • 断言块

描述

这断言块断言其输入信号是非零的。如果其输入为零，则块默认停止模拟并显示错误消息。生成DPI-C SystemVerilog组件时 - 该块会创建立即SystemVerilog断言。使用块参数，您可以：

  • 启用或禁用断言。

  • 指定MATLAB.®Simulink的表达式万博1manbetx®当断言失败时评估。

  • 选择Simulink以万博1manbetx停止模拟或继续，但是当断言失败时显示警告。

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

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

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

港口

输入

展开全部

这断言块接受Simulink支持的任何维度和数字数据类型的输入信号。万博1manbetx万博1manbetx

数据类型：单身的|双倍的|INT8.|int16|INT32.|uint8.|uint16|UINT32|布尔基|固定点

参数

展开全部

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

指定Simulink的MATLAB表达式以在断言失败时进行评估。万博1manbetx块忽略生成的DPI-C断言中的此参数。

依赖性

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

选择此复选框会导致Simulink停止模拟并在块输入为零时显示错万博1manbetx误。清除此复选框使Simulink能够继续模拟，在块输入为零时显示警万博1manbetx告。块忽略生成的DPI-C断言中的此参数。

依赖性

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

DPI-C断言选项

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

选择错误要么警告对于DPI-C断言，发出SystemVerilog错误或警告消息。设置风俗执行自定义命令。

依赖性

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

指定SystemVerILog断言失败时要发出的自定义SystemVerilog消息。此功能仅支持ASCII字符万博1manbetx。

例子：rx失败了

依赖性

启用此参数，设置严重程度到错误要么警告。

在断言失败时指定要执行的自定义SystemVerilog命令。您可以将此参数设置为Display语句，命令或脚本。此功能仅支持ASCII字符万博1manbetx

例子：$ DISPLAY（“rx失败％0t”，$ time）;

依赖性

启用此参数，设置严重程度到风俗。

模型例子

生成来自Simulink的本机SystemVerilog断言万博1manbetx

生成来自Simulink的本机SystemVerilog断言万博1manbetx

从Simulink®模型中的断言生成本机SystemVerilog断言。万博1manbetx只要在Simulink和HDL测试环境中需要相同的断言行为，此功能都很有用。万博1manbetx

也可以看看

话题

在R2018A介绍

HDL验证程序文档

万博1manbetx

尝试matlab，sim万博1manbetxulink等产品s manbetx 845

立即获得审判