在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 14426|回复: 51

[转贴] 高级验证方法学

[复制链接]
发表于 2010-3-26 15:48:33 | 显示全部楼层 |阅读模式

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

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

x
《高级验证方法学》电子科技大学出版社 2007年8月出版。作者为mentor资深验证技术专家,英文版书名为《The Verification Cookbook》,简称AVM,2006年12月出版。
作者: (美)格拉瑟(Glasser,M.)    [作译者介绍] 译者: 王欣[同译者作品] 出版社:电子科技大学出版社 ISBN:9787811143706上架时间:2007-11-19出版日期:2007 年8月开本:16开页码:294版次:1-1内容简介回到顶部↑AVM是一个基于System Verilog和SystemC编程环境。它是为了开发复杂验证平台而设计的。就如学习C语言一样(或者System Verilog或者SystemC),它会需要一段时间去学习AVM,从而知道如何更有效地去应用所有的概念。这本书的目的就是给你一个信心。如果这本书的作者把工作做得相当好,那么当你阅读这本书并且按里面的例子进行练习,肯定会有惊喜的体验。这个比喻性的概念在你的思想形成之后,你就会掌握AVM中所有的结构并且知道如何应用。

作者简介:
Mark Glasser是Mentor Graphics的验证技术专家,他开发并撰写了验证方法学。
在加入Mentor Graphics之前,Mark是CadenceSystemC团队的技术总监。
同时,Mark是有关事务记录技术的两项专利的作者之一,他还是OSCI总监董事会成员和SPRIRIT验证工作组成员。 Mark毕业于美国加州大学计算机科学系,拥有学士学位。
目录回到顶部↑绪论
第1章 验证原理
1.1 验证基础
1.2 第一个验证平台
1.3 第二个验证平台
1.4 总结
第2章 AVM综述
2.1 重用
2.2 验证组件和接口
2.3 层次化结构的验证平台
2.4 两个域
2.5 基于SystemVerilog AVM概述
2.6 总结
第3章 面向对象程序设计的基本原理
3.1 面向过程vs.面向对象
3.2 类和对象
3.3 对象间关系
3.4 虚函数和多态
3.5 通用程序设计
3.6 作为组件的对象
. 3.7 OOP和验证
第4章 TLM介绍
4.1 抽象(Abstraction)
4.2 事务的定义(Definilion of a Transaction)
4.3 组件间的通信(Communicating ComF)onents)
4.4 使用通道(channel)来隔离组件
4.5 事务级连接(Forming a Transation—Level Connection)
4.6 小结
第5章 Sustem Vererilog中的AVM机制
5.1 接口
5.2 连接组件
5.3 创建环境
5.4 连接硬件
5.5 报告
5.6 总结
第6章 验证平台基础
6.1 一个简单的存储器设计
6.2 激励产生器
6.3 监视器
6.4 三类状态机
6.5 驱动器
6.6 总结
第7章 完整的验证平台
7.1 分析端口和分析组件
7.2 记分板
7.3 覆盖率
7.4 注入错误
7.5 总结
第8章 逐步优化
8.1 事务级设计
8.2 RiiL替换
8.3 FPU作为黄金模型
8.4 小结
第9章 验证平台中的模块
9.1 非流水型总线实例
9.2 基于模块的断言监视器
9.3 总线功能模型(BFM)
9.4 总结
第10章 随机验证
10.1 CRV方法概述
10.2 对类加入随机
10.3 用继承来实现层次约束
10.4 动态修改约束
10.5 过度约束
10.6 设定成员
10.7 动态数组
10.8 每个设计/每个测试配置
10.9 约束设计
10.10 类工厂
10.11 状态决定约束实例
10.12 AVM随机激励生成器
第11章 AVM与System Verilog和SustemC
11.1 对象模型
11.2 对象的支持
11.3 封装行为
11.4 随机化
11.5 实例化与细节构建
11.6 事务级连接
11.7 执行阶段
11.8 创建完整的验证平台架构
11.9 选择SystemVerilog或systemc
附录A 符号说明
附录B 命名约定
附录C AVM百科全书
附录D Apache许可证
参考书目
高级验证方法学(中文版).part5.rar (442.62 KB, 下载次数: 150 )
高级验证方法学(中文版).part1.rar (500 KB, 下载次数: 144 )
高级验证方法学(中文版).part2.rar (500 KB, 下载次数: 168 )
高级验证方法学(中文版).part3.rar (500 KB, 下载次数: 145 )
高级验证方法学(中文版).part4.rar (500 KB, 下载次数: 159 )
发表于 2010-3-27 08:07:24 | 显示全部楼层
ddddffff
发表于 2010-3-27 08:08:53 | 显示全部楼层
ddddffff
发表于 2010-3-27 08:10:13 | 显示全部楼层
ddddff
发表于 2010-3-27 08:11:14 | 显示全部楼层
dddfffrt
发表于 2010-3-27 08:12:28 | 显示全部楼层
ddffffff
发表于 2010-3-27 08:17:45 | 显示全部楼层
dddfffrt
发表于 2010-3-28 16:09:55 | 显示全部楼层
谢谢了,哈哈
发表于 2010-4-1 12:27:59 | 显示全部楼层
好资料
发表于 2010-4-1 12:30:32 | 显示全部楼层
这么多块呀
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

小黑屋| 手机版| 关于我们| 联系我们| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2025-1-27 04:50 , Processed in 0.031418 second(s), 10 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表