接口,采样和驱动,测试的开始和结束,调试方法 验证环境构建:类和对象 随机约束和分布(激励): 按照一定的协议即约束;数组约束(类和约束是SV精髓) 线程的使用和控制 覆盖率:更宏观 类的第三个要素,对象拷贝,回调函数