第1章 验证导论
1.1 验证流程
1.2 验证方法学
1.3 基本测试平台的功能
1.4 定向测试
1.5 方法学基础
1.6 受约束的随机激励
1.7 随机化的对象是什么？
1.8 功能覆盖率
1.9 测试平台的构件
1.10 分层的测试平台
1.11 建立一个分层的测试平台
1.12 仿真环境的阶段
1.13 最大限度的代码重用
1.14 测试平台的性能
1.15 小结
1.16 练习
第2章 数据类型
2.1 内建数据类型
2.2 定宽数组
2.3 动态数组
2.4 队列
2.5 关联数组
2.6 数组的方法
2.7 选择存储类型
2.8 使用typedef创建新的类型
2.9 创建用户自定义结构
2.10 包
2.11 类型转换
2.12 流操作符
2.13 枚举类型
2.14 常量
2.15 字符串
2.16 表达式的位宽
2.17 小结
2.18 练习
第3章 过程语句和子程序
3.1 过程语句
3.2 任务、函数以及void函数
3.3 任务和函数概述
3.4 子程序参数
3.5 子程序的返回
3.6 局部数据存储
3.7 时间值
3.8 小结
3.9 练习
第4章 连接设计和测试平台
4.1 将测试平台和设计分开
4.2 接口
4.3 激励时序
4.4 接口的驱动和采样
4.5 程序块需要考虑的因素
4.6 将模块连接起来
4.7 顶层作用域
4.8 程序和模块的交互
4.9 SystemVerilog断言
4.10 四端口的ATM路由器
4.11 Ref端口的方向
4.12 小结
4.13 练习
第5章 面向对象编程（OOP）基础
5.1 简介
5.2 考虑名词，而非动词
5.3 编写第一个类（Class）
5.4 在哪里定义类
5.5 OOP术语
5.6 创建新对象
5.7 对象的解除分配（deallocation）
5.8 使用对象
5.9 类的方法
5.10 在类之外定义方法
5.11 静态变量和全局变量
5.12 作用域规则
5.13 在一个类内使用另一个类
5.14 理解动态对象
5.15 对象的复制
5.16 公有和私有
5.17 题外话
5.18 建立一个测试平台
5.19 小结
5.20 练习
第6章 随机化
6.1 介绍
6.2 什么需要随机化？
6.3 SystemVerilog中的随机化
6.4 约束
6.5 解的概率
6.6 控制多个约束块
6.7 有效性约束
6.8 内嵌约束
6.9 pre_randomize和post_randomize函数
6.10 随机数函数
6.11 约束的技巧和技术
6.12 随机化的常见错误
6.13 迭代和数组约束
6.14 产生原子激励和场景
6.15 随机控制
6.16 随机数发生器
6.17 随机器件配置
6.18 小结
6.19 练习
第7章 线程以及线程间的通信
7.1 线程的使用
7.2 停止线程
7.3 线程间的通信
7.4 事件
7.5 旗语
7.6 信箱
7.7 构筑带线程并可实现线程间通信的测试程序
7.8 小结
7.9 练习
第8章 面向对象编程的高级技巧指南
8.1 继承简介
8.2 蓝图（Blueprint）模式
8.3 类型向下转换（Downcasting）和虚拟方法
8.4 合成、继承和其他替代的方法
8.5 对象的复制
8.6 抽象类和纯虚拟方法
8.7 回调
8.8 参数化的类
8.9 静态和单例类
8.10 创建测试注册表
8.11 小结
8.12 练习
第9章 功能覆盖率
9.1 收集覆盖率数据
9.2 覆盖率的类型
9.3 功能覆盖策略
9.4 功能覆盖率的简单例子
9.5 覆盖组详解
9.6 覆盖组的触发
9.7 数据采样
9.8 交叉覆盖率
9.9 通用的覆盖组
9.10 覆盖选项
9.11 覆盖率数据的分析
9.12 在仿真过程中进行覆盖率统计
9.13 小结
9.14 练习
第10章 高级接口
10.1 ATM路由器的虚拟接口
10.2 连接到多个不同的设计配置
10.3 参数化接口和虚拟接口
10.4 接口中的过程代码
10.5 小结
10.6 练习
第11章 完整的SystemVerilog测试平台
11.1 设计单元
11.2 测试平台的模块
11.3 修改测试
11.4 小结
11.5 练习
第12章 SystemVerilog与C/C++语言的交互
12.1 传递简单的数值
12.2 连接简单的C子程序
12.3 调用C++程序
12.4 共享简单数组
12.5 开放数组（open array）
12.6 共享复合类型
12.7 纯导入方法和关联导入方法
12.8 在C程序中与SystemVerilog通信
12.9 与其他语言交互
12.10 小结
12.11 练习
参考文献
展开
