| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 1 绪论 | 第9-13页 |
| ·课题概述 | 第9页 |
| ·液晶显示控制芯片的国内外发展现状和趋势 | 第9-10页 |
| ·验证技术的国内外发展现状和趋势 | 第10-11页 |
| ·本课题实现的目标和研究意义 | 第11-12页 |
| ·论文的研究内容与安排 | 第12-13页 |
| 2 液晶显示控制芯片简介 | 第13-21页 |
| ·液晶显示控制器的定义 | 第13页 |
| ·Pegasus 系列产品的主要功能 | 第13-15页 |
| ·Pegasus 系列产品的基本结构 | 第15-18页 |
| ·Pegasus 系列产品的设计验证流程 | 第18-21页 |
| ·设计验证流程 | 第18-20页 |
| ·设计验证工具 | 第20-21页 |
| 3 逻辑功能仿真验证 | 第21-41页 |
| ·代码静态检查 | 第21-22页 |
| ·逻辑仿真验证 | 第22-38页 |
| ·逻辑仿真验证的基本概念 | 第22-24页 |
| ·总线功能模型 | 第24-29页 |
| ·可编程语言接口 | 第29-31页 |
| ·验证策略的制定 | 第31-33页 |
| ·测试平台的构建 | 第33-38页 |
| ·代码覆盖率分析 | 第38-41页 |
| 4 原型验证 | 第41-51页 |
| ·FPGA 验证的前期准备和流程 | 第41-43页 |
| ·ASIC 代码的转换 | 第43-46页 |
| ·库单元的替换 | 第43-45页 |
| ·门控时钟模块的处理 | 第45-46页 |
| ·DW 单元的替换 | 第46页 |
| ·FPGA 的设计实现 | 第46-49页 |
| ·功能仿真 | 第46-47页 |
| ·设计输入 | 第47页 |
| ·综合 | 第47-48页 |
| ·约束 | 第48页 |
| ·实现 | 第48-49页 |
| ·验证结果 | 第49-51页 |
| 5 网表及物理验证 | 第51-67页 |
| ·形式验证 | 第51-54页 |
| ·形式验证的基本概念 | 第51-52页 |
| ·Formality 工具的等价性检查 | 第52-54页 |
| ·静态时序分析 | 第54-58页 |
| ·版图前静态时序分析 | 第55-56页 |
| ·版图后静态时序分析 | 第56-58页 |
| ·动态时序仿真 | 第58-59页 |
| ·物理验证 | 第59-61页 |
| ·设计规则检查 | 第60页 |
| ·版图原理图一致性检查 | 第60-61页 |
| ·硅验证 | 第61-67页 |
| ·扫描测试技术 | 第61-63页 |
| ·存储器内建自测试技术 | 第63-67页 |
| 6 总结 | 第67-69页 |
| ·全文总结 | 第67-68页 |
| ·对后续工作的一些建议 | 第68-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-73页 |
| 附录1 攻读硕士学位期间发表的论文 | 第73-74页 |
| 附录2 2806 FPGA 实现的map 报告（部分） | 第74-75页 |