对一种SOC总线系统的验证
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| 第一章 综述 | 第9-18页 |
| ·SOC的兴起 | 第9-10页 |
| ·SOC的关键技术 | 第10-12页 |
| ·IP复用技术 | 第10页 |
| ·软硬件协同设计 | 第10-12页 |
| ·基于平台的设计方法学 | 第12页 |
| ·验证与确认 | 第12-14页 |
| ·功能验证的技术与现状 | 第14-17页 |
| ·基于仿真的验证 | 第15页 |
| ·形式验证 | 第15-17页 |
| ·项目背景及论文内容 | 第17-18页 |
| 第二章 总线系统及协议简介 | 第18-39页 |
| ·一级高速总线 | 第18-34页 |
| ·总线概述 | 第18页 |
| ·总线信号简介 | 第18-24页 |
| ·各种读写操作相关信号时序图 | 第24-34页 |
| ·二级WISH—BONE总线 | 第34-39页 |
| ·WISH-BONE信号简介 | 第34-36页 |
| ·WISH-BONE总线传输时序图 | 第36-39页 |
| 第三章 总线系统模拟仿真验证 | 第39-59页 |
| ·模拟仿真验证流程 | 第39-42页 |
| ·确认验证目标 | 第42-44页 |
| ·验证虚拟模块的编写 | 第44-48页 |
| ·对于总线系统的模拟仿真验证 | 第48-51页 |
| ·一级总线的模拟仿真验证 | 第48-50页 |
| ·二级总线的模拟仿真验证 | 第50页 |
| ·桥接器的模拟仿真验证 | 第50-51页 |
| ·验证结果 | 第51-55页 |
| ·在SOC虚拟环境下的模拟仿真 | 第55-57页 |
| ·验证结果 | 第57-59页 |
| 第四章 一级总线的符号模型检测验证 | 第59-91页 |
| ·形式化验证介绍 | 第59-60页 |
| ·形式验证方法与模拟验证方法的比较 | 第60-61页 |
| ·计算树逻辑(CTL) | 第61-64页 |
| ·符号模型检测技术 | 第64-68页 |
| ·公平约束检测 | 第68-69页 |
| ·验证时序逻辑电路 | 第69-77页 |
| ·一级总线系统双时钟域问题处理 | 第77-81页 |
| ·对原电路分析以及模块细化 | 第81-89页 |
| ·对总线模块内部信号的验证 | 第89-90页 |
| ·验证结果 | 第90-91页 |
| 第五章 结束语 | 第91-92页 |
| ·结论 | 第91页 |
| ·将来的工作 | 第91-92页 |
| 参考文献 | 第92-94页 |
| 致谢 | 第94-95页 |
| 在读期间发表的学术论文与取得的研究成果 | 第95页 |
