验证层次的描述：
考虑2个因素：1）各个单独的部分的复杂性
2）是否存在清晰的接口和规范来驱动设计部分
待验证的功能：
rtl需要被验证的功能包括3类
1）关键功能：在设计被其他地方使用之前验证就必须验证的功能，通常是单元级验证。
2）次要功能：对流片来说不重要的功能和对下一个层级的验证来说不重要的功能，是在发布设计和流片后来验证的功能。
3）不进行验证的功能：在特定的验证层次不会执行的功能。
细节测试与方法：环境
1）验证的类型是什么
2）验证策略
3）随机方法
4）抽象层级
激励的类型：黄金向量、参考模型、基于事务的检查，三种检查机制中选择
覆盖率需求：
覆盖率目标包括以下部分
1）环境已经执行了所有类型的命令和事务
2）激励已经建立了特定的或者有一定变化范围的数据类型
3）环境已经驱动了不同程度的合法的并发激励
4）发起部件和响应部件已经将错误注入rtl
测试场景（矩阵）：
在开始设计以及验证环境建模之前定义一个初始的测试用例矩阵，矩阵中，验证计划标识每个测试、给出简短的描述并包含功能和覆盖率列表的前后对照；
边界测试用例值得用一个单独的小节来描述。