1. Assertion

1.1 概述

Assertion，称作断言。主要是用来与设计功能和时序作比较的属性描述。

1.2 作用

1.3 断言覆盖率

1.4 分类

1.4.1 立即断言

1.4.2 并行断言

1.5 Assertion、property和sequence区别

2. Sequence

2.1 基本操作符

2.2 and操作符

2.3 intersect操作符号

2.4 or操作符

2.5 应用

2.6 first_match操作符号

2.7 throughout操作符号

2.8 within操作符号

2.9 if操作符号

2.10 ended操作符

2.11 局部变量

2.12 调用方法

2.13 访问采样方法

2.14 系统函数和方法

3. Property

3.1 概述

3.2 时钟声明

3.3 绑定bind

3.4 expect语句