| 摘要 | 第1-6页 |
| ABSTRACT | 第6-13页 |
| 第一章 绪论 | 第13-22页 |
| ·快速发展的微电子学科 | 第13-14页 |
| ·集成电路设计方法 | 第14-17页 |
| ·集成电路设计方法学 | 第14-15页 |
| ·SoC与IP核设计技术 | 第15-17页 |
| ·集成电路设计与功能验证 | 第17页 |
| ·功能验证方法及研究进展 | 第17-20页 |
| ·概述 | 第17-18页 |
| ·基于仿真的验证方法 | 第18页 |
| ·现有的验证技术及其发展趋势 | 第18-20页 |
| ·课题意义及论文的主要工作 | 第20-21页 |
| ·论文结构及内容安排 | 第21-22页 |
| 第二章 IIC总线接口IP核设计 | 第22-55页 |
| ·引言 | 第22-27页 |
| ·IIC总线的基本概念 | 第22页 |
| ·IIC总线接口电路 | 第22-23页 |
| ·IIC电路总线协议简介 | 第23-27页 |
| ·IIC总线的数据传输及时序定义 | 第23-26页 |
| ·IIC总线上的数据传送格式 | 第26-27页 |
| ·模块化设计方法的分析和研究 | 第27-37页 |
| ·基于有限状态机的设计方法 | 第27-28页 |
| ·基于散逻辑的设计方法 | 第28-29页 |
| ·两种设计方法之间的对比 | 第29-37页 |
| ·IIC总线接口IP核设计 | 第37-53页 |
| ·IIC总线接口的总体考虑 | 第37-39页 |
| ·IIC总线接口IP核的顶层设计 | 第39-41页 |
| ·IIC总线接口IP核第二层设计 | 第41-47页 |
| ·外设总线接口模块 | 第41-46页 |
| ·IIC接口模块 | 第46页 |
| ·时钟模块 | 第46-47页 |
| ·同步问题 | 第47-53页 |
| ·同步策略 | 第47-49页 |
| ·IIC总线接口中数据同步的实现 | 第49页 |
| ·IIC总线接口中时钟模块的设计 | 第49-53页 |
| ·综合 | 第53-55页 |
| 第三章 IIC总线接口IP核的验证 | 第55-71页 |
| ·概述 | 第55-56页 |
| ·基于事务的验证重用方法学 | 第56-57页 |
| ·搭建功能验证平台 | 第57-63页 |
| ·可重用IP功能验证平台 | 第59页 |
| ·总线功能模型 | 第59-60页 |
| ·测试向量 | 第60-61页 |
| ·自动化验证 | 第61-63页 |
| ·IIC总线接口IP核的功能验证 | 第63-71页 |
| ·BFM的设计 | 第63-66页 |
| ·IIC总线接口功能验证平台的搭建 | 第66页 |
| ·验证实例 | 第66-71页 |
| 第四章 基于Openvera搭建IIC总线接口功能验证平台 | 第71-81页 |
| ·概述 | 第71-72页 |
| ·验证平台 | 第72-81页 |
| ·DUT的描述 | 第72页 |
| ·验证流程介绍 | 第72-81页 |
| ·生成验证平台模板 | 第73页 |
| ·开发功能验证平台 | 第73-81页 |
| ·基于Vera的IIC总线接口功能验证平台架构 | 第74页 |
| ·BFM的功能与特性 | 第74-75页 |
| ·基于约束的随机激励的施加 | 第75-77页 |
| ·自核对(self—checker)模块 | 第77-78页 |
| ·验证效果评估 | 第78-81页 |
| 第五章 总结与展望 | 第81-82页 |
| ·总结 | 第81页 |
| ·展望 | 第81-82页 |
| 参考文献 | 第82-85页 |
| 攻读硕士学位期间发表的论文 | 第85页 |