| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 1 绪论 | 第7-10页 |
| ·课题的研究背景及意义 | 第7-8页 |
| ·国内外研究的发展动态 | 第8-9页 |
| ·论文的结构和主要内容 | 第9-10页 |
| 2 TD-LTE基带芯片的设计 | 第10-15页 |
| ·TD-LTE基站系统总体结构 | 第10页 |
| ·TD-LTE基带芯片的设计架构 | 第10-15页 |
| ·芯片的结构 | 第10-12页 |
| ·芯片的功能 | 第12-15页 |
| 3 SOC验证技术概述 | 第15-30页 |
| ·仿真验证技术 | 第15-17页 |
| ·静态验证技术 | 第17页 |
| ·形式验证技术 | 第17-18页 |
| ·物理验证与分析技术 | 第18-19页 |
| ·基于FPGA的原型验证技术 | 第19-30页 |
| ·FPGA芯片结构 | 第19-23页 |
| ·FPGA本身的设计流程 | 第23-24页 |
| ·与ISE工具对应的FPGA设计流程 | 第24-25页 |
| ·芯片的FPGA验证流程 | 第25-28页 |
| ·FPGA原型验证的优势与局限性 | 第28-30页 |
| 4 基于FPGA的SOC原型验证的硬件平台 | 第30-35页 |
| ·原型验证的硬件平台 | 第30-34页 |
| ·Virtex7 2000t芯片的简介 | 第30页 |
| ·硬件电路的整体架构 | 第30-34页 |
| ·Dual-V7 TAI Logic Module的优势 | 第34-35页 |
| 5 基于FPGA的SOC原型验证的软件平台 | 第35-50页 |
| ·从SOC到FPGA代码的移植 | 第35-38页 |
| ·FPGA验证的芯片划片 | 第38-39页 |
| ·FPGA模式下的代码的仿真 | 第39-46页 |
| ·VCS中添加ISE的编译库 | 第40页 |
| ·仿真环境以及仿真方法 | 第40-43页 |
| ·仿真case以及仿真结果 | 第43-46页 |
| ·FPGA工程的实现 | 第46-50页 |
| ·FPGA的实现环境 | 第46-48页 |
| ·时序约束 | 第48-50页 |
| 6 基于FPGA硬件平台上的验证调试 | 第50-57页 |
| ·单模块级的FPGA验证 | 第50-54页 |
| ·系统级的FPGA验证 | 第54-57页 |
| 7 结论与展望 | 第57-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-60页 |