| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 1. 绪论 | 第7-10页 |
| ·论文研究背景 | 第7页 |
| ·论文研究目的和意义 | 第7-9页 |
| ·论文研究内容 | 第9-10页 |
| 2. SD储存卡的相关规范 | 第10-14页 |
| ·SD储存卡的介绍和规范 | 第10-12页 |
| ·SD Host Controller的规范 | 第12-14页 |
| 3. SD Host Controller IP 的设计 | 第14-44页 |
| ·SD Host Controller 总线接口（Bus Interface） | 第16-20页 |
| ·AMBA 和APB 介绍 | 第20-21页 |
| ·SD Host Controller IP 的规格 | 第21-22页 |
| ·SD Host Controller IP 的组成模块 | 第22-30页 |
| ·APB 从端 | 第23-26页 |
| ·中断逻辑 | 第26页 |
| ·直接内存访问逻辑 | 第26页 |
| ·时钟除频器 | 第26页 |
| ·循环冗余码检查器和生成器 | 第26-29页 |
| ·控制寄存器模块 | 第29页 |
| ·SD 命令/数据单元 | 第29-30页 |
| ·FIFO | 第30页 |
| ·SD Host Controller IP 内的寄存器 | 第30-44页 |
| ·命令寄存器 | 第32-33页 |
| ·声明寄存器 | 第33页 |
| ·响应0-3 寄存器 | 第33-34页 |
| ·响应命令寄存器 | 第34页 |
| ·数据控制寄存器 | 第34-35页 |
| ·数据定时寄存器 | 第35页 |
| ·数据长度寄存器 | 第35-36页 |
| ·状态寄存器 | 第36-38页 |
| ·清除寄存器 | 第38-39页 |
| ·中断掩码寄存器 | 第39页 |
| ·电源控制寄存器 | 第39-40页 |
| ·时钟控制寄存器 | 第40-41页 |
| ·总线宽度寄存器 | 第41-42页 |
| ·数据窗口寄存器 | 第42页 |
| ·特征寄存器 | 第42-43页 |
| ·版本寄存器 | 第43-44页 |
| 4. SD Host Controller IP 的时钟原理 | 第44-46页 |
| 5. SD Host Controller IP 的验证 | 第46-60页 |
| ·SD Host Controller 验证模型的验证方法 | 第47-53页 |
| ·单独验证 | 第48-49页 |
| ·基于AMBA 系统的验证 | 第49-53页 |
| ·SD Host Controller 模型的验证操作 | 第53-56页 |
| ·SD Host Controller 验证模型的参数设置 | 第54-55页 |
| ·随机命令数据产生器(RCG) | 第55-56页 |
| ·支持载荷 | 第56页 |
| ·对随机激励选择约束 | 第56页 |
| ·RTL 和VMT 验证环境的比较 | 第56-60页 |
| 6. 随机命令产生器(RCG)的编写 | 第60-70页 |
| ·RCG 的架构 | 第60-61页 |
| ·RCG 的约束模型 | 第61-64页 |
| ·RCG 的配置 | 第64-67页 |
| ·RCG 的事件模型（Transaction Model） | 第67-69页 |
| ·中断处理单元（Interrupt Handler） | 第69页 |
| ·信息（Messages） | 第69-70页 |
| 7. SD Host Controller 的验证结果 | 第70-72页 |
| ·门级分析 | 第70页 |
| ·功耗分析 | 第70-72页 |
| 8. 文论总结 | 第72-73页 |
| 参考文献 | 第73-74页 |
| 致 谢 | 第74-75页 |
| 攻读硕士学位期间发表及录用的学术论文 | 第75-78页 |
| 上海交通大学学位论文答辩决议书 | 第78页 |
