摘 要
Abstract
第1章 绪 论
1.1 课题背景
1.2 LTE基带芯片国内外发展现状
1.3 本课题研究目的及意义
1.4 本文的主要研究内容
第2章 SoC验证技术
2.1 功能验证的内容
2.1.1 模块/IP核级验证
2.1.2 系统级验证
2.2 功能验证的方法
2.2.1 直接测试向量生成
2.2.2 约束随机测试
2.2.3 覆盖驱动验证
2.2.4 基于断言的验证方法
2.3 本章小结
第3章 LTE芯片中SPI控制器的电路设计
3.1 SPI的基本概念
3.2 SPI控制器的功能特点
3.3 SPI控制器的设计方案
3.3.1 SPI控制器的总体架构
3.3.2 总线接口模块
3.3.3 硬件握手单元
3.3.4 内部存储器
3.3.5 中断控制模块
3.3.6 移位逻辑模块
3.4 本章小结
第4章 SoC中模块的验证
4.1 SPI模块的验证
4.1.1 验证平台
4.1.2 测试点的分类
4.1.3 验证分析报告
4.2 PTI模块的验证
4.2.1 验证平台
4.2.2 验证方案
4.2.3 仿真波形与分析
4.3 本章小结
第5章 OpenRisc小系统环境的搭建
5.1 OpenRisc小系统的硬件环境
5.2 OpenRisc小系统的软件环境
5.3 本章小结
第6章 LTE基带芯片的系统验证
6.1 CPU和APB接口模块的联合验证
6.2 CPU和ORX的联合验证
6.2.1 ORX的结构
6.2.1 ORX的验证环境
6.2.2 ORX的验证过程
6.2.3 ORX验证已遍历的参数
6.3 CPU和DSP的联合验证
6.3.1 MAOTU_DSP的结构
6.3.2 MAOTU_DSP的验证过程
6.4 本章小结
结 论
参考文献
攻读学位期间发表的学术论文
哈尔滨工业大学学位论文原创性声明及使用授权说明
致 谢