文章目录
- 一、断言是什么?
- 二、断言简介
- 2、1 断言的分类: 立即断言/并发断言
- 2、2 断言的语法结构层次
- 2、3 带参数的property、带参数的sequence
- 三、并发断言序列sequence:描述信号时序关系
- 3、1 关键字(sequence、property)与操作符( |=>、|->、##n、##[m:n])
- 3、2 sequence的重复操作符:连续[*n]、非连续[=n]、跟随[->n]
- 3、3 sequence的采样函数:$ rose、$ fell、$ past、$ stable、$ sampled
- 3、4 sequence的序列操作符:and、intersect、or、first_match、within、throughout、ended
- 四、并发断言属性property