高级验证方法学

图书标准信息

• 作者 [美]格拉瑟（Glasser M.） 著；王欣 译
• 出版社 电子科技大学出版社
• 出版时间 2007-08
• 版次 1
• ISBN 9787811143706
• 定价 38.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 294页
• 字数 367千字
• 正文语种 简体中文

【内容简介】

　　AVM是一个基于SystemVerilog和SystemC编程环境。它是为了开发复杂验证平台而设计的。就如学习C语言一样(或者SystemVerilog或者SystemC)，它会需要一段时间去学习AVM，从而知道如何更有效地去应用所有的概念。这《高级验证方法学》的目的就是给你一个信心。如果这《高级验证方法学》的作者把工作做得相当好，那么当你阅读这《高级验证方法学》并且按里面的例子进行练习，肯定会有惊喜的体验。这个比喻性的概念在你的思想形成之后，你就会掌握AVM中所有的结构并且知道如何应用。

【作者简介】

　　MarkGlasser是MentorGraphics的验证技术专家，他开发并撰写了验证方法学。
　　在加入MentorGraphics之前，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基于SystemVerilogAVM概述
2.6总结

第3章面向对象程序设计的基本原理
3.1面向过程vs.面向对象
3.2类和对象
3.3对象间关系
3.4虚函数和多态
3.5通用程序设计
3.6作为组件的对象
3.7OOP和验证

第4章TLM介绍
4.1抽象(Abstraction)
4.2事务的定义(DefinilionofaTransaction)
4.3组件间的通信(CommunicatingComF)onents)
4.4使用通道(channel)来隔离组件
4.5事务级连接(FormingaTransation—LevelConnection)
4.6小结

第5章SustemVererilog中的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.2RiiL替换
8.3FPU作为黄金模型
8.4小结

第9章验证平台中的模块
9.1非流水型总线实例
9.2基于模块的断言监视器
9.3总线功能模型(BFM)
9.4总结

第10章随机验证
10.1CRV方法概述
10.2对类加入随机
10.3用继承来实现层次约束
10.4动态修改约束
10.5过度约束
10.6设定成员
10.7动态数组
10.8每个设计／每个测试配置
10.9约束设计
10.10类工厂
10.11状态决定约束实例
10.12AVM随机激励生成器

第11章AVM与SystemVerilog和SustemC
11.1对象模型
11.2对象的支持
11.3封装行为
11.4随机化
11.5实例化与细节构建
11.6事务级连接
11.7执行阶段
11.8创建完整的验证平台架构
11.9选择SystemVerilog或systemc
附录A符号说明
附录B命名约定
附录CAVM百科全书
附录DApache许可证
参考书目