硅芯思见
更多内容↑↑↑↑↑↑↑↑↑↑，其中更新更多内容！
本文纯属学习之用，欢迎指正文中不足，封面图片若有侵权，请及时沟通！
在SystemVerilog中，经常会在对数据进行随机化时用到断言，用以判断随机是否成功，在使用过程中经常会遇到断言后的语句有时候有分号分割，有时候没有，那么到底什么时候有什么时候没有呢？本文将以即时断言为例，说明断言的那些分号的存亡。
首先，先来了解下即时断言的完整格式，如下。
[assert_name :] assert(expression)[pass_statement；]
[else fail_statement]；
格式中所有位于“[]”中的内容实际上都是可选的（但是选择是需要慎重，详情看文中示例），其中：
assert_name : 断言名称标签，建议都加上，这样在面对一堆断言时可以立刻分清楚每个断言
expression : 为被断言表达式；
pass_statement : 为断言成功时要执行