第1章 引言 1
1.1 集成电路验证的定义 1
1.2 验证危机——困境与希望 4
1.3 验证的划分 6
1.4 本书的主要内容 17
第2章 设计验证语言初探 18
2.1 常用设计语言 19
2.1.1 Verilog HDL 19
2.1.2 VHDL 22
2.1.3 SystemC 23
2.2 常用验证语言 25
2.2.1 SystemVerilog 25
2.2.2 e语言 34
2.2.3 C/C＋＋ 34
2.3 验证方法学 35
2.3.1 VMM 36
2.3.2 OVM 37
2.3.3 UVM 37
2.3.4 结论 38
2.4 常用脚本语言 38
2.4.1 Shell Script 38
2.4.2 PERI 38
2.4.3 TCL/TK 39
2.5 本章小结 39
第3章 模拟仿真验证 40
3.1 集成电路设计方法及其验证分类 40
3.1.1 自底向上设计 40
3.1.2 自顶向下设计 41
3.1.3 验证方法 41
3.2 模块级验证和系统级验证 42
3.2.1 验证的层次 42
3.2.2 模块级验证方法概述 43
3.2.3 系统级验证方法概述 43
3.3 模拟仿真验证的策略和原理 44
3.3.1 模拟仿真验证的基本原理 44
3.3.2 模拟仿真验证的策略 44
3.3.3 模块级验证环境 46
3.3.4 系统级模拟验证环境 52
3.4 模拟仿真验证构成要件 53
3.4.1 测试向量生成 53
3.4.2 参考模型建立 54
3.4.3 搭建验证环境 55
3.4.4 正确性检查 55
3.4.5 基于断言的验证 59
3.4.6 覆盖率检测 63
3.4.7 验证结束的准则 64
3.5 本章小结 64
第4章 覆盖率检验方法 65
4.1 定义覆盖率标准的原因 65
4.2 覆盖率度量的类型 66
4.2.1 针对测试向量的覆盖率 67
4.2.2 针对待验证设计的覆盖率 71
4.3 覆盖率处理流程 80
4.3.1 定义覆盖率模型 81
4.3.2 覆盖率数据的采集 83
4.3.3 覆盖率分析和反馈 83
4.4 功能覆盖率常用设计技巧 85
4.5 本章小结 86
第5章 电路的形式验证 88
5.1 形式验证的原因 88
5.2 组合逻辑的形式验证——决策图和SAT 90
5.2.1 二叉决策图 91
5.2.2 字级决策图 96
5.2.3 命题逻辑可满足性问题 98
5.2.4 开源工具介绍 103
5.3 时序逻辑的形式验证——模型检验 105
5.3.1 显示模型检验 105
5.3.2 符号模型检验 110
5.3.3 有界模型检验 113
5.3.4 符号轨迹评估 114
5.3.5 开源工具介绍 119
5.4 定理证明是万能工具吗？ 119
5.4.1 HOL和PVS 120
5.4.2 ACL2和Isabelle 121
5.5 本章小结 122
第6章 物理验证 124
6.1 DRC验证 124
6.1.1 基本流程图 124
6.1.2 DRC规则 125
6.1.3 DRC规则文件 131
6.1.4 运行Calibre进行设计规则检查 133
6.2 LVS概述 134
6.3 本章小结 140
第7章 SPICE仿真验证 141
7.1 SPICE仿真验证的定义 141
7.2 模拟电路的仿真验证的主要流程 142
7.2.1 HSPICE的输入文件与输出文件 143
7.2.2 电路的描述语句 145
7.2.3 实例分析 149
7.3 本章小结 155
第8章 低功耗设计和验证方法 156
8.1 低功耗设计 157
8.1.1 集成电路功耗来源 157
8.1.2 低功耗设计的基本概念 161
8.1.3 低功耗设计技术 164
8.1.4 低功耗设计流程 168
8.2 低功耗验证方法 169
8.2.1 低功耗设计引入的错误 169
8.2.2 静态验证 174
8.2.3 动态验证 176
8.3 低功耗验证流程实例 178
8.3.1 待验证设计 178
8.3.2 验证流程与方法 180
8.3.3 验证结果 181
8.4 本章小结 184
第9章 低功耗验证技术实例 185
9.1 RTL低功耗设计的功能验证 185
9.1.1 引言 185
9.1.2 电源管理技术 185
9.1.3 规范低功耗设计的设计意向 186
9.1.4 感功仿真 187
9.1.5 感功仿真流程 187
9.1.6 结论 187
9.2 电源门控设计的功能验证 188
9.2.1 引言 188
9.2.2 电源门控 188
9.2.3 门控电源功能验证 188
9.2.4 连续等价性检验的方法学 189
9.2.5 结论 191
9.3 多电压设计验证 191
9.3.1 多电压设计的定义及概要 191
9.3.2 电平转换器 192
9.3.3 隔离（关断/休眠） 192
9.3.4 设计举例 194
9.3.5 结论 198
9.4 专用重写自动化验证 199
9.4.1 专用重写规则 199
9.4.2 专用重写法 201
9.5 本章小结 204
第10章 硅后验证 205
10.1 硅后验证的兴起 205
10.2 硅后验证技术的发展及其与硅前验证和测试的关系 207
10.3 硅后验证存在的问题 209
10.4 硅后验证可能的解决方案 211
10.4.1 支持硅后验证的可调试性设计技术 211
10.4.2 支持CMP硅后验证的错误重放技术 212
10.4.3 片上多核处理器硅后仿真技术 214
10.4.4 硅后验证的覆盖率度量技术 218
10.4.5 支持硅后验证、提高芯片耐受性技术 218
10.5 本章小结 219
参考文献 220