十三：systemverilog断言（SVA）
1、 立即断言：检测设计或者测试模块中信号的正确性
例：检测grant信号的正确性
如果正确产生grant信号，则继续执行，若不符合期望值，则报错。报错信息如下：
2、 定制断言行为：如果想改变默认的消息，可以添加自己的输出信息。
Systemverilog有4个输出消息的函数： info, warning, error和 fatal
例：
报错信息如下：
3、 并发断言：你可以认为它是一个连续运行的模块，为整个仿真过程检查信号的值。
例：