| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 主要符号对照表 | 第9-10页 |
| 第1章 引言 | 第10-13页 |
| ·课题背景 | 第10-11页 |
| ·本模块的验证任务和难点 | 第11页 |
| ·论文内容 | 第11-12页 |
| ·章节安排 | 第12-13页 |
| 第2章 TCC 模块概述 | 第13-24页 |
| ·3GPP 中的信道编码流程 | 第13-14页 |
| ·CRC | 第14-15页 |
| ·卷积码与Viterbi译码 | 第15-18页 |
| ·卷积编码 | 第15-17页 |
| ·Viterbi译码 | 第17-18页 |
| ·TURBO 码 | 第18-20页 |
| ·TURBO 编码 | 第18-19页 |
| ·TURBO 译码 | 第19-20页 |
| ·第一次交织 | 第20-21页 |
| ·模块结构与接口 | 第21-22页 |
| ·功能 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第3章 验证方法 | 第24-33页 |
| ·验证概念 | 第24-25页 |
| ·验证策略 | 第25-26页 |
| ·黑盒与白盒 | 第25-26页 |
| ·抽象层次 | 第26页 |
| ·主流验证方法 | 第26-30页 |
| ·功能验证 | 第26-28页 |
| ·代码完整性分析 | 第28-29页 |
| ·断言 | 第29页 |
| ·覆盖率分析 | 第29页 |
| ·形式验证 | 第29-30页 |
| ·层次化验证模型 | 第30-31页 |
| ·验证复用 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第4章 设计与验证语言SYSTEMC | 第33-36页 |
| ·为什么推出SYSTEMC | 第33页 |
| ·SYSTEMC 的本质 | 第33-34页 |
| ·SYSTEMC 库 | 第34-35页 |
| ·基于SYSTEMC 的开发流程 | 第35-36页 |
| 第5章 软件工具 | 第36-37页 |
| 1.VCS | 第36页 |
| 2.MATLAB | 第36页 |
| 3.GCC/G++ | 第36页 |
| 4.Debussy | 第36-37页 |
| 第6章 芯片验证环境 | 第37-47页 |
| ·环境实现 | 第37-39页 |
| ·目录结构 | 第39-41页 |
| ·TESTBENCH 结构 | 第41-42页 |
| ·TEST HARNESS | 第42-43页 |
| ·SYSTEMC 的作用 | 第43页 |
| ·仿真控制 | 第43-44页 |
| ·总线功能模型（BUS FUNCTIONAL MODEL, BFM） | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第7章 TCC 验证实现 | 第47-66页 |
| ·TCC 功能列表 | 第47-49页 |
| ·验证用例（CASE） | 第49-50页 |
| ·TCC 验证架构 | 第50-51页 |
| ·TEST FILE | 第51-52页 |
| ·TCC 配置参数 | 第52-55页 |
| ·全局参数 | 第52-53页 |
| ·CASE 参数 | 第53-55页 |
| ·参考模型 | 第55-56页 |
| ·数据格式 | 第56-57页 |
| ·硬比特 | 第56-57页 |
| ·软比特 | 第57页 |
| ·模块TESTBENCH | 第57-59页 |
| ·TESTBENCH 结构 | 第57-58页 |
| ·TCC 寄存器配置 | 第58-59页 |
| ·DUT 配置文件 | 第59-61页 |
| ·控制脚本 | 第61-64页 |
| ·验证控制脚本 | 第62-63页 |
| ·CASE 生成脚本 | 第63页 |
| ·CASE 统计脚本 | 第63-64页 |
| ·TCC 仿真执行流程 | 第64页 |
| ·POST-LAYOUT 验证 | 第64页 |
| ·本章小结 | 第64-66页 |
| 第8章 验证覆盖率统计 | 第66-69页 |
| ·功能覆盖 | 第66-67页 |
| ·工具给出的覆盖率报告 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 结论 | 第69-70页 |
| 附录A TCC CASE LIST | 第70-79页 |
| A.1 典型CASE | 第70页 |
| A.2 TURBO 译码CASE | 第70-72页 |
| A.3 TURBO 译码+解交织CASE | 第72-73页 |
| A.4 CRC CASE | 第73-74页 |
| A.5 VITERBI 译码CASE | 第74页 |
| A.6 下行遍历CASE | 第74-76页 |
| A.7 上行遍历CASE | 第76-77页 |
| A.8 约束随机CASE | 第77-78页 |
| A.9 其他CASE | 第78-79页 |
| 参考文献 | 第79-80页 |
| 致谢 | 第80-81页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第81页 |