篇7-断言中的执行块(action block)

1.执行块

(1) SystemVerilog语言被定义成每当一个断言检查失败，模拟器在默认情况下都会打印出一条错误信息。模拟器不需要对成功的断言打印任何东西，可以使用断言陈述中的“执行块”（action block）来打印自定义的成功或失败信息。

(2) 执行块的基本语法如下所示。

(3) 执行块不仅局限于显示成功和失败,还可以有其他应用,例如控制模拟环境和收集功能覆盖数据;