图书介绍
高级验证方法学pdf电子书版本下载
- （美）格拉瑟（Mark Glasser）等编著；王欣等译 著
- 出版社： 成都：电子科技大学出版社
- ISBN：9787811143706
- 出版时间：2007
- 标注页数：294页
- 文件大小：10MB
- 文件页数：308页
- 主题词：集成电路－芯片－验证－技术培训－教材
PDF下载
下载说明
高级验证方法学PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
绪论 1
第1章 验证原理 3
1.1 验证基础 3
1.2 第一个验证平台 8
1.3 第二个验证平台 12
1.4 总结 19
第2章 AVM综述 20
2.1 重用 20
2.2 验证组件和接口 21
2.3 层次化结构的验证平台 21
2.4 两个域 25
2.5 基于SystemVerilog AVM概述 26
2.6 总结 30
第3章 面向对象程序设计的基本原理 31
3.1 面向过程vs．面向对象 31
3.2 类和对象 32
3.3 对象间关系 36
3.4 虚函数和多态 39
3.5 通用程序设计 44
3.6 作为组件的对象 49
3.7 OOP和验证 50
第4章 TLM介绍 52
4.1 抽象（Abstraction） 52
4.2 事务的定义（Definition of a Transaction） 54
4.3 组件间的通信（Communicating Components） 54
4.4 使用通道（channel）来隔离组件 73
4.5 事务级连接（Forming a Transation-Level Connection） 76
4.6 小结 77
第5章 SystemVerilog中的AVM机制 78
5.1 接口 78
5.2 连接组件 79
5.3 创建环境 86
5.4 连接硬件 88
5.5 报告 92
5.6 总结 100
第6章 验证平台基础 101
6.1 一个简单的存储器设计 101
6.2 激励产生器 108
6.3 监视器 111
6.4 三类状态机 112
6.5 驱动器 113
6.6 总结 118
第7章 完整的验证平台 119
7.1 分析端口和分析组件 119
7.2 记分板 120
7.3 覆盖率 127
7.4 注入错误 131
7.5 总结 134
第8章 逐步优化 135
8.1 事务级设计 135
8.2 RTL替换 140
8.3 FPU作为黄金模型 144
8.4 小结 147
第9章 验证平台中的模块 148
9.1 非流水型总线实例 148
9.2 基于模块的断言监视器 153
9.3 总线功能模型（BFM） 163
9.4 总结 168
第10章 随机验证 169
10.1 CRV方法概述 169
10.2 对类加入随机 175
10.3 用继承来实现层次约束 176
10.4 动态修改约束 177
10.5 过度约束 178
10.6 设定成员 181
10.7 动态数组 182
10.8 每个设计／每个测试配置 184
10.9 约束设计 185
10.10 类工厂 185
10.11 状态决定约束实例 187
10.12 AVM随机激励生成器 188
第11章 AVM与System Verilog和SystemC 191
11.1 对象模型 192
11.2 对象的支持 192
11.3 封装行为 193
11.4 随机化 193
11.5 实例化与细节构建 194
11.6 事务级连接 197
11.7 执行阶段 197
11.8 创建完整的验证平台架构 198
11.9 选择SystemVerilog或SystemC 199
附录A 符号说明 201
附录B 命名约定 206
附录C AVM百科全书 211
附录D Apache许可证 286
参考书目 293