Question

即时断言语句是一个表达式的测试，当语句在程序代码中执行的时候完成。表达式是非时间的，并且按一个过程化if语句的条件中的表达式相同的方式解释。也就是说，如果表达式计算成X、Z或0，那么它被解释成假并且认为断言失败。否则，表达式被解释成真，并且认为断言通过。

即时断言语句是一个statement_item，并且可以在一个过程化语句被说明的任意地方说明。

procedural_assertion_statement ::=        // 引用自附录A.6.10
    ...
  | immediate_assert_statement

immediate_assert_statement ::=
    assert (expression) action_block

action_block ::=            // 引用自附录A.6.3
    statement_or_null
  | [statement] else statement

语法17-1 — 即时断言语法（摘录自附录A）

action_block说明了在断言成功或失败时作出什么样的动作。与断言语句成功相关联的语句是第一条语句。它被称为合格语句并且在表达式被计算成真的时候执行。例如，合格语句可以为一个覆盖率日志记录成功的数目，但合格语句也可以被完全忽略。如果合格语句被忽略，那么当断言表达式为真的时候不会作出用户指定的动作。与else相关联的语句被称为失败语句，并且当表达式被计算成假的时候执行。else语句也可以被忽略。动作块在断言表达式被计算后立即执行。

可选的语句标签（标识符和冒号）产生了一个命名的块，它包围了断言语句（或任意其它的SystemVerilog语句）并且能够使用%m的格式说明来显示。

assert_foo : assert(foo) $display("%m passed"); else $display("%m failed");

注意：断言控制系统任务在第23.9节中描述。

由于断言是一条有时必须为真的语句，所以断言的失败应该具有一个与其相关联的严重程度。缺省情况下，一个断言失败的严重程度是error。其它的严重程度可以通过在失败语句中包含下列严重性系统任务重的一个来指定：

• $fatal是一个运行时的致命性错误。
• $error是一个运行时错误。
• $warning是一个运行时警告，它可以以一个工具专用的方式来取消。
• $info指示不带有任何严重程度的断言失败。

这些系统任务的语法在23.8节中展示。

如果一个断言失败并且没有指定else子句，那么除非使用一个工具专用的选项（例如命令行选项）来取消失败，否则工具应该缺省调用$call。

所有这些严重性系统任务都应该打印一条工具专用的信息，它能够指示失败的严重程度以及有关特定失败的特定信息，包括：

• 断言语句的文件名和行号。
• 如果指定了层次化名字标签，那么应该提供断言的层次化名字；否则应该提供断言的作用范围。

对于仿真工具，这些任务还应该包含验证程度系统任务被调用的仿真运行时间。

每一个系统任务还可以使用与Verilog $display相同的格式包含额外的用户专用信息。

如果else子句包含了多个系统任务，那么每一个系统任务都应该按指定的方式执行。

如果严重性系统任务在不是断言失败的时候执行，那么断言真实的失败时间可以被记录，并被有计划地显示。例如：

time t;

always @(posedge clk)
    if (state == REQ)
        assert (req1 || req2)
    else begin
        t = $time;

    #5 $error("assert failed at time %0t",t);
end

如果断言在时间10处失败，那么错误消息应该时间15处打印，但用户定义的打印字符串应该为“assert failed at time 10”。

警告和信息类型的消息可以通过一个工具专用的选项（例如一个命令行选项）来控制其显示。

由于失败语句与通过语句一样可以是任何合法的SystemVerilog过程化语句，所以它还可以被用来将失败通知到测试平台的另外一个部分。

assert (myfunc(a,b)) count1 = count + 1; else -> event1;
assert (y == 0) else flag = 1;