#SVA语法滴水穿石# （005）关于问号表达式（condition ? expr1 : expr2）

那么菜

已于 2025-04-05 11:02:26 修改

阅读量509

点赞数 5

CC 4.0 BY-SA版权

分类专栏： SVA 文章标签： SVA

于 2025-04-05 11:02:13 首次发布

本文链接：https://blog.csdn.net/qq_16423857/article/details/147008909

在 SystemVerilog 断言（SVA）中，问号表达式（condition ? expr1 : expr2）的语法和逻辑与 C 语言的三元条件运算符完全一致。它根据条件选择执行 expr1 或 expr2，常用于动态选择信号、序列或属性。

1. 基本语法

// 格式：
condition ? true_expression : false_expression

condition：布尔表达式，决定选择的分支。
true_expression：若 condition 为真，则选择此表达式。
false_expression：若 condition 为假，则选择此表达式。

2. 断言中的常见用途

(1) 动态选择信号值

根据条件选择要检查的信号：

property check_data_valid;
    @(posedge clk) 
    mode_enable ? (data == expected_high) : (data == expected_low);
endproperty

逻辑解释：

如果 mode_enable 为真，检查 data 是否等于 expected_high。

否则，检查 data 是否等于 expected_low。