高级验证方法学

绪论

第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组件间的通信((~ommunicatingComF)onents)

4.4使用通道(channel)来隔离组件

4.5事务级连接(FormingaTransationLevelConnection)

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许可证

参考书目

　　AVM是一个基于SystemVerilog和SystemC编程环境。它是为了开发复杂验证平台而设计的。就如学习C语言一样(或者SystemVerilog或者SystemC)，它会需要一段时间去学习AVM，从而知道如何更有效地去应用所有的概念。这本书的目的就是给你一个信心。如果这本书的作者把工作做得相当好，那么当你阅读这本书并且按里面的例子进行练习，肯定会有惊喜的体验。这个比喻性的概念在你的思想形成之后，你就会掌握AVM中所有的结构并且知道如何应用。【作者简介】　　MarkGlasser是MentorGraphics的验证技术专家，他开发并撰写了验证方法学。在加入MentorGraphics之前，Mark是CadenceSystemC团队的技术总监。同时，Mark是有关事务记录技术的两项专利的作者之一，他还是OSCI总监董事会成员和SPRIRIT验证工作组成员。Mark毕业于美国加州大学计算机科学系，拥有学士学位。