图书介绍

高级验证方法学2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

（美）格拉瑟（Mark Glasser）等编著；王欣等译著
出版社：成都：电子科技大学出版社
ISBN：9787811143706
出版时间：2007
标注页数：294页
文件大小：10MB
文件页数：308页
主题词：集成电路－芯片－验证－技术培训－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：87683b69989236193c57ead95c9c372a

下载说明

高级验证方法学PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用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和SystemC191

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或SystemC199

附录A　符号说明201

附录B　命名约定206

附录C AVM百科全书211

附录D　Apache许可证286

参考书目293