高级验证方法学(中文版)

第 1 章使用手册指南. 12
序 ............ 12
绪论 ........ 15
手册的使用 ........... 16
本书的结构 ... 16
形式  17
构造和运行实例  17
实例代码 ....... 18
获取手册的套件  19
符号说明  19
组件  20
接口  20
互连  22
通道  23
总结  23
命名惯例  23
第 2 章验证原理......... 28
两个问题  29
测试平台  31
第一个测试平台 ... 34
第二个测试平台 ... 41
第 3 章 AVM综述........ 46
验证构件  46
同心圆的测试平台架构  46
处理器（Transactor） ... 48
环境组件 ....... 49
分析组件 ....... 49
控制器 ........... 50
两个域 .... 50
面向对象编程风格 .... 51
作为组件的对象  51
继承  54
接口  55
总结 ........ 58
第 4 章 TLM介绍......... 58
事务的定义 ........... 59
表示事务  60
事务对象  60
事务级模块和验证 .... 63
简介 63
参考模型 ....... 64
说明  65
主要概念 ....... 65
SystemVerilog实现......... 66
SystemC实现. 68
Get .......... 70
说明  71
主要概念 ....... 71
SystemVerilog实现......... 72
SystemC实现. 73
请求/响应 75
说明  75
主要概念 ....... 75
SystemVerilog实现......... 76
SystemC实现. 78
FIFO ....... 81
说明  81
主要概念 ....... 81
SystemVerilog实现......... 82
SystemC实现. 85
双向通讯  88
说明  88
主要概念 ....... 88
SystemVerilog实现......... 90
SystemC实现. 93
事务级总线 ........... 95
说明  95
主要概念 ....... 95
SystemC实现. 96
第 5 章 SystemVerilog 中的AVM机制 105
接口 ...... 105
SystemVerilog 接口..... 105
SystemVerilog虚拟接口........... 106
纯虚接口类 . 107
端口和输出 ......... 108
端口 ............. 108
输出端口 ..... 108
环境类 .. 109
连接阶段 ............. 111
不分层次的绑定 .......... 111
端口，输出口和继承 .. 113
连接分析端口 .. 117
虚拟接口和avm_env.... 121
总结 ...... 124
第 6 章测试基本原理.. 125
一个存储器的测试平台 ...... 125
说明 ............. 125
主要概念 ..... 125
监视器结构 . 126
SystemVerilog实现细节........... 126
SystemC实现细节........ 128
带独立驱动器的存储器测试 .......... 130
说明 ............. 130
主要概念 ..... 130
事务级激励发生器 ...... 131
驱动器结构 . 131
SystemVerilog实现细节........... 132
说明 ............. 137
主要概念 ..... 137
驱动器设计 . 137
SystemVerilog实现细节........... 137
SystemC实现细节........ 139
测试平台中的双向通讯 ...... 142
说明 ............. 142
主要概念 ..... 142
SystemVerilog实现细节........... 142
SystemC实现细节........ 146
第 7 章完成测试....... 150
记分板 .. 150
说明 ............. 151
主要概念 ..... 151
分析端口 ..... 151
记分板 ......... 152
SystemVerilog基于类的实现细节......... 153
SystemVerilog基于模块的实现细节..... 155
SystemC实现细节........ 156
覆盖率 .. 159
说明 ............. 159
主要概念 ..... 159
覆盖率和覆盖率采集器 .......... 160
SystemVerilog实现细节........... 160
SystemVerilog基于模块的实现细节..... 162
SystemC实现细节........ 164
产生错误 ............. 165
说明 ............. 166
主要概念..... 166
构造错误驱动器 .......... 166
SystemVerilog基于类的实现细节......... 168
SystemVerilog基于模块的实现细节..... 169
SystemC实现细节........ 171
第 8 章逐步替换..... 173
事务级FPU.......... 174
说明 ............. 174
主要概念 ..... 174
SystemVerilog实现细节........... 175
FPU RTL ............. 179
说明 ............. 179
主要概念 ..... 181
SystemVerilog实现细节........... 182
FPU golden模型.. 188
说明 ............. 188
主要概念 ..... 189
SystemVerilog 实现细节......... 189
SystemC 实现细节...... 190
第 9 章有约束的随机验证...... 191
CRV方法概述..... 191
定向测试 ..... 191
有约束的随机验证 ...... 192
约束随机中的定向测试 .......... 193
技术基础 ..... 193
以对象为导向的随机化 ...... 197
以对象为导向的基础 .. 197
给对象增加随机性 ...... 199
用继承法的层次约束 .. 200
管理约束 ............. 201
动态修改约束 .. 201
过度约束 ..... 202
隐含 ............. 204
分配和求解顺序 .......... 205
约束中的有用操作 .. 206
设定成员资格 .. 206
高级话题 ............. 209
类群 ............. 209
状态决定约束实例 ...... 211
第 10 章基于断言的监视器. 212
基于断言的监视器 .. 212
说明 ............. 213
主要概念 ..... 213
基于断言的协议监视器实例.. 214
SystemVerilog实现细节........... 216
基于断言检查器的测试 ...... 221
说明 ............. 221
主要概念 ..... 221
SystemVerilog实现细节........... 222
附录A SystemVerilog AVM库..... 226
引言 ...... 226
报告 ...... 226
基本报告方法 .. 226
冗余级 ......... 227
动作 ............. 227
文件输出 ..... 229
报告格式化程序 .......... 230
构造模块 ............. 231
avm_named_component ........... 231
avm_verification_component ... 236
avm_env....... 238
核心AVM类和组件. 239
avm_transaction 239
avm_stimulus.... 240
analysis_if 和 analysis_port.... 241
avm_in_order_comparator........ 243
avm_subscriber. 244
TLM库.. 245
TLM接口..... 245
TLM通道..... 246
附加的AVM组件 248
avm_algorithmic_comparator... 248
avm_global_analysis_ports....... 250
使用模板问题 ..... 250
使用完好的过程控制 .. 251
事务，便捷方法和定向测试 .. 254
可复制的随机激励 ...... 255
编码技术 ............. 255
包和多级继承 .. 256
策略类 ......... 258
附录B ........... 261
参考书目 ............. 261