Assert

立即断言与仿真一块使用；并发断言基于时钟语义并使用表达式的采样值。 断言主要用于验证设计的行为，且可用于提供功能覆盖，以及对用于验证不符合假设要求的输入激励（input stimulus）进行标记。

默认disable iff声明的作用，与声明在该范围内的位置无关，同一模块、接口、程序声明或生成块中多个默认disable iff声明应为错误，该作用域不会扩展到模块、接口、程序声明的任何实例。