| 第一章 绪论 | 第1-24页 |
| ·集成电路的发展 | 第14页 |
| ·IC设计技术与验证技术发展 | 第14-18页 |
| ·手工设计阶段 | 第15页 |
| ·计算机辅助设计阶段(CAD) | 第15-16页 |
| ·计算机辅助工程阶段(CAE) | 第16页 |
| ·电子系统设计自动化(ESDA) | 第16-18页 |
| ·SoC和功能验证的挑战 | 第18-21页 |
| ·基于事务的验证重用方法学 | 第21-23页 |
| ·论文的主要研究内容及章节安排 | 第23-24页 |
| 第二章 SoC功能验证方法学 | 第24-38页 |
| ·典型的SoC系统 | 第24-25页 |
| ·SoC功能验证方法 | 第25-27页 |
| ·可重用功能验证平台体系结构 | 第27-32页 |
| ·基于事务验证模型的验证平台体系结构 | 第28-30页 |
| ·软件驱动的功能验证 | 第30-31页 |
| ·硬件仿真平台 | 第31-32页 |
| ·验证平台的重用 | 第32-33页 |
| ·验证语言(Verification Languages)和验证解决方案 | 第33-38页 |
| ·Synopsys的Vera | 第34-35页 |
| ·Verisity的Specman | 第35-36页 |
| ·Avery的TestWizard | 第36-37页 |
| ·三种验证解决方案的分析 | 第37-38页 |
| 第三章 SoC功能验证系统 | 第38-73页 |
| ·引言 | 第38页 |
| ·VAS系统的顶层设计 | 第38-44页 |
| ·VAS系统的总体考虑 | 第38-41页 |
| ·验证系统的层次划分 | 第41-42页 |
| ·验证系统的可重用性考虑 | 第42-44页 |
| ·描述层的设计 | 第44-60页 |
| ·功能验证计划 | 第44页 |
| ·描述层的体系结构 | 第44-45页 |
| ·总线事务命令 | 第45-54页 |
| ·总线事务概念 | 第45-47页 |
| ·总线事务命令的设计原则 | 第47-48页 |
| ·总线事务命令的定义 | 第48-52页 |
| ·利用总线事务命令编写事务级激励 | 第52-54页 |
| ·系统描述符 | 第54-59页 |
| ·系统描述符和系统配置文件的概念 | 第54页 |
| ·系统描述符的设计原则 | 第54-55页 |
| ·系统描述符的定义 | 第55-58页 |
| ·系统配置文件 | 第58-59页 |
| ·回归测试控制 | 第59页 |
| ·描述层设计的总结 | 第59-60页 |
| ·逻辑层的设计 | 第60-64页 |
| ·回归测试管理程序 | 第60-61页 |
| ·测试编译程序 | 第61-62页 |
| ·分析程序和生成程序 | 第62-63页 |
| ·仿真控制程序 | 第63页 |
| ·检查程序 | 第63页 |
| ·逻辑层设计的总结 | 第63-64页 |
| ·接口层的定义 | 第64-72页 |
| ·数据接口的概念 | 第64页 |
| ·功能验证运行环境的分析 | 第64-66页 |
| ·数据接口的设计 | 第66-70页 |
| ·测试平台接口 | 第70-71页 |
| ·工具接口定义 | 第71-72页 |
| ·物理层 | 第72页 |
| ·本章小结 | 第72-73页 |
| 第四章 验证系统的实现 | 第73-97页 |
| ·物理层的实现 | 第73-84页 |
| ·总线功能模型设计的研究 | 第74-80页 |
| ·基于任务的BFM设计 | 第74-76页 |
| ·基于状态机的BFM设计 | 第76-78页 |
| ·实验及性能分析 | 第78-79页 |
| ·总线功能模型的实现 | 第79-80页 |
| ·总线监视器的设计 | 第80-84页 |
| ·Monitor采样模块的设计 | 第81-82页 |
| ·信号转换模块的设计 | 第82-84页 |
| ·Monitor的可重用性设计规则 | 第84页 |
| ·接口层的实现 | 第84-88页 |
| ·实现的基础 | 第85页 |
| ·测试平台模板的设计 | 第85-88页 |
| ·逻辑层的实现 | 第88-90页 |
| ·生成程序的设计 | 第88-89页 |
| ·工具接口的生成 | 第89-90页 |
| ·系统的组织结构 | 第90-91页 |
| ·功能验证实验 | 第91-96页 |
| ·编写事务级测试向量 | 第92-93页 |
| ·编写系统配置文件 | 第93页 |
| ·运行测试向量 | 第93-94页 |
| ·运行结果的分析 | 第94-96页 |
| ·本章小结 | 第96-97页 |
| 第五章 结论与展望 | 第97-99页 |
| ·工作总结 | 第97-98页 |
| ·进一步的工作 | 第98-99页 |
| 参考文献 | 第99-101页 |