1.Sequence_操作符号

1.Assertion概述

（1）什么是assertion

（2）简介

（3）基于断言的验证方法学（ABV）

（4）断言覆盖率

（5）断言语言的发展

---

2.assertion类型

（1）类型划分

不能申明类里。

（2）立即断言

（3）并行断言

（4）并行断言的执行阶段

---

3.assertion/property/sequence

（1）assertion和property

（2）property和sequence

（3）sequences概念

（4）implication操作符

（5）交叠交错符号

每一拍都会看前一个sequence满不满足。

（6）非交叠交错符号

4.sequence基本操作符号

（1）

a ##1 b：仅表示时序，由于不含蕴含操作符，所有没有如果的含义（如果a=1下一拍b拉高）。

（2）

（3）

（4）

---

5.and/intersect/or

（1）and操作符号

（2）and操作符号_示例

（3）and操作符号_特殊点

（4）intersect操作符号

（5）or操作符号

（6）or操作符号_示例

（7）and/or应用

---

6.first_match操作符号

（1）

（2）

（3）

---

7.throughout操作符号

（1）

（2）

（3）