高级验证方法学（mentor 的4.6研讨会资料cookbook_ver2.0中文版）

wice3 · 发表于 2007-4-9 17:23:26

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

文件名：cookbook_ver2.0
文件类型：pdf
语言：中文
页数：262
附加说明：mentor 的4.6研讨会资料
第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

wice3 · 发表于 2007-4-9 17:26:43

原帖由 wice3 于 2007-4-9 17:23 发表
文件名：cookbook_ver2.0
文件类型：pdf
语言：中文
页数：262
附加说明：mentor 的4.6研讨会资料
第1 章使用手册指南............................................................................... ...

[ 本帖最后由 wice3 于 2007-4-9 17:29 编辑 ]

shangang · 发表于 2007-4-9 19:25:27

okok!!!

wzy123 · 发表于 2007-4-11 00:02:04

XIE XIE BAN ZHU DE WU SHI FENG XIAN

Bobxiaoyong · 发表于 2007-4-11 00:23:26

xiexie

hwlyic · 发表于 2007-4-16 22:17:19

一起分享帮顶，大家

qhlixpfh · 发表于 2007-4-17 14:21:55

哈哈好东西
终于翻译过来了

fantaorr · 发表于 2007-5-17 18:39:38

怎么看不到附件啊

fantaorr · 发表于 2007-5-17 18:43:18

我晕，没有钱了

fantaorr · 发表于 2007-5-17 18:47:16

我晕，没有钱了

高级验证方法学（mentor 的4.6研讨会资料cookbook_ver2.0中文版）

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

相关帖子

好东西，值得下载

站长推荐 /1