AMBA总线测试平台的设计与实现
| 第一章 引言 | 第1-11页 |
| ·研究背景与意义 | 第6-7页 |
| ·国内外研究动态 | 第7-9页 |
| ·国外SoC产业的发展状况 | 第7页 |
| ·国内SoC产业的发展状况 | 第7-8页 |
| ·SoC和验证的挑战 | 第8-9页 |
| ·本文技术路线 | 第9-10页 |
| ·基于事务的验证(TBV) | 第9页 |
| ·代码和功能覆盖率为导向 | 第9-10页 |
| ·本文完成的目标与内容 | 第10-11页 |
| 第二章 AMBA总线研究 | 第11-23页 |
| ·AMBA概述 | 第11-12页 |
| ·AHB总线互连设计 | 第12-13页 |
| ·AHB仲裁器 | 第13-15页 |
| ·请求总线访问 | 第14-15页 |
| ·AHB操作概述 | 第15-19页 |
| ·AHB基本传输 | 第16-17页 |
| ·迸发传输类型 | 第17-18页 |
| ·SPLIT传输 | 第18-19页 |
| ·AHB总线RTL代码设计 | 第19-23页 |
| ·AHB总线主控接口 | 第19-20页 |
| ·AHB总线从属接口 | 第20-21页 |
| ·AHB仲裁器接口 | 第21-23页 |
| 第三章 验证方法学研究 | 第23-32页 |
| ·SoC验证研究内容 | 第23页 |
| ·SoC验证的难点 | 第23-24页 |
| ·SoC验证途径 | 第24-27页 |
| ·自上而下的设计验证途径 | 第25-26页 |
| ·基于平台的验证途径 | 第26-27页 |
| ·验证过程中的层次划分 | 第27-28页 |
| ·系统级验证 | 第27页 |
| ·功能验证 | 第27页 |
| ·网表验证 | 第27-28页 |
| ·物理验证 | 第28页 |
| ·验证计划 | 第28-29页 |
| ·测试平台的建立方法 | 第29-32页 |
| ·测试平台概述 | 第29-30页 |
| ·测试平台设计技术 | 第30-32页 |
| 第四章 AHB总线功能验证 | 第32-48页 |
| ·功能验证的流程与技术 | 第32-34页 |
| ·AHB验证要点分析 | 第34-36页 |
| ·测试平台的建立 | 第36-42页 |
| ·测试平台激励产生端 | 第37页 |
| ·事务库的建立 | 第37-40页 |
| ·测试激励文件 | 第40页 |
| ·PLI接口的实现 | 第40-41页 |
| ·测试平台输出检测端 | 第41-42页 |
| ·测试向量的设计 | 第42-46页 |
| ·回归测试 | 第46页 |
| ·代码覆盖率分析 | 第46-48页 |
| 第五章 测试平台在集成测试中的应用 | 第48-56页 |
| ·集成测试 | 第48-49页 |
| ·VGA控制器IP核 | 第49-51页 |
| ·VGA控制器IP核引脚列表 | 第49-50页 |
| ·VGA寄存器 | 第50-51页 |
| ·VGA控制器IP与总线的互联 | 第51-54页 |
| ·IP核接口的RTL描述 | 第51页 |
| ·互连过程 | 第51-53页 |
| ·地址空间的映射 | 第53-54页 |
| ·VGA从设备端的总线协议接口验证 | 第54-56页 |
| 第六章 研究总结与评价 | 第56-58页 |
| ·研究总结与评价 | 第56页 |
| ·研究工作展望 | 第56-58页 |
| 参考文献 | 第58-61页 |
| 致谢 | 第61-62页 |
| 学位论文独创性声明 | 第62页 |
| 学位论文知识产权权属声明 | 第62页 |
