SoC总线验证组件的开发与研究 ——基于Specman Elite平台

论文摘要

随着系统芯片(SoC)复杂度的提高，功能验证的工作量成倍增加，利用传统的验证方法很难完成复杂度在百万门以上的SoC的功能验证。高级验证语言的应用，大大提高了功能验证的效率，e语言作为一种高级验证语言，使验证工程师可以高效地搭建验证平台。为了进一步提高验证效率，业界提供了基于e语言的商用验证组件eVC(e Verification Component)。商用eVC的出现，使验证工程师极大地节省了搭建验证平台的时间。但是这种商用eVC通常只针对SoC中主流的体系架构和常用的协议。当企业要推出具有创新结构或协议的SoC时，往往得不到商用eVC的支持，这并不利于SoC技术的多元化发展。针对商用eVC的缺点，本论文提出了一种基于e语言的验证组件的开发思路，实现了一种可重用，可配置的验证组件结构。在本论文工作中，开发出了SS06总线的验证组件，并通过该总线验证组件搭建了相关的验证平台。这些验证平台的应用，证明了这种验证组件开发思路的实用性。

论文目录

• 摘要
• Abstract
• 第一章 绪论
• 第二章 SoC设计技术概述
• 2.1 SoC技术发展特点
• 2.2 典型的SoC设计流程
• 2.3 IP重用技术
• 2.3.1 IP核的分类
• 2.3.2 IP核的设计原则
• 2.3.3 IP核的基本应用特性
• 2.4 软硬件协同设计（Hw/Sw Co-design）
• 2.4.1 软硬件协同设计的特点
• 2.4.2 软硬件协同设计的流程
• 2.4.3 SoC中软硬件模块的交互
• 2.5 可配置的嵌入式处理器
• 2.6 结构综合概念的提出
• 2.7 小结
• 第三章 主流验证技术
• 3.1 功能验证技术的发展
• 3.1.1 基于HDL的验证
• 3.1.2 面向对象的验证（Object-Oriented Verification）
• 3.1.3 随机激励生成的验证
• 3.1.4 测试平台工具（Testbench Tool）的使用
• 3.1.5 完备的验证自动化系统的使用（Complete Verification Automation System）
• 3.1.6 对功能验证技术发展的总结
• 3.2 功能验证环境的构成
• 3.3 当今流行的验证方法
• 3.3.1 覆盖驱动验证（Coverage-driven Verification）
• 3.3.2 基于断言的验证方法（Assertion-based Verification）
• 3.3.3 形式验证
• 3.3.4 半形式验证
• 3.4 小结
• 第四章 SS06总线介绍
• 4.1 总线技术综述
• 4.1.1 CoreConnect总线
• 4.1.2 AMBA总线
• 4.1.3 WISHBONE总线
• 4.1.4 小结
• 4.2 SS06总线
• 4.2.1 总线功能模块
• 4.2.2 SS06总线信号
• 4.2.3 SS06总线传输协议
• 第五章 SS06总线验证组件的开发
• 5.1 Specman Elite和e语言
• 5.1.1 基于e语言的验证环境
• 5.1.2 Specman Elite与HDL仿真器的同步
• 5.1.3 Specman Elite中进行的仿真流程
• 5.2 总线验证组件的结构
• 5.3 模块间的信息交换
• 5.4 总线功能模块间的同步
• 5.4.1 仲裁器的工作流程
• 5.4.2 仲裁器与主模块之间同步的实现
• 5.5 本章小结
• 第六章 SS06总线验证组件的应用
• 6.1 验证从模块DUT的验证平台
• 6.1.1 功能模块间的配置
• 6.1.2 测试控制平台
• 6.1.3 仿真结果
• 6.1.4 小结
• 6.2 验证主模块DUT的验证平台
• 6.3 全芯片验证平台
• 6.4 本章小结
• 第七章 总结与展望
• 致谢
• 参考文献