硅芯思见：assert成功失败后的分号到底要不要

硅芯思见

更多内容↑↑↑↑↑↑↑↑↑↑，其中更新更多内容！

本文纯属学习之用，欢迎指正文中不足，封面图片若有侵权，请及时沟通！

在SystemVerilog中，经常会在对数据进行随机化时用到断言，用以判断随机是否成功，在使用过程中经常会遇到断言后的语句有时候有分号分割，有时候没有，那么到底什么时候有什么时候没有呢？本文将以即时断言为例，说明断言的那些分号的存亡。

首先，先来了解下即时断言的完整格式，如下。

[assert_name :] assert(expression)[pass_statement；]

                         [else                              fail_statement]；

格式中所有位于“[]”中的内容实际上都是可选的（但是选择是需要慎重，详情看文中示例），其中：

assert_name : 断言名称标签，建议都加上，这样在面对一堆断言时可以立刻分清楚每个断言

expression : 为被断言表达式；

pass_statement : 为断言成功时要执行