断言的作用:
1.检查设计的内容;
2.提高设计的可视度和调试功能;
3.检查设计特性在验证中是否被覆盖;
分为并行断言和立即断言,并行断言包含时钟。
property块可以直接包含sequence,复杂的property也可以独立的声明sequence;
sequence可以在module、interface、program、clocking、和package块中声明,但不能在class中声明,断言一般放在interface中使用。
|->交叠交错符号:前后两个条件同时执行;
|=>非交叠交错符号:如果条件满足,在下一个周期评估后续算子序列。