SoC事务级设计关键问题研究
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 缩略语清单 | 第9-11页 |
| 目录 | 第11-14页 |
| 图目录 | 第14-16页 |
| 表目录 | 第16-17页 |
| 第1章 绪论 | 第17-35页 |
| ·引言 | 第17-19页 |
| ·基于平台的设计方法学 | 第19-20页 |
| ·SoC的片上通信结构和性能 | 第20-23页 |
| ·SoC片上通信结构 | 第20-22页 |
| ·仲裁 | 第22页 |
| ·性能评估 | 第22-23页 |
| ·软/硬件协同设计 | 第23页 |
| ·SoC高层次设计方法 | 第23-30页 |
| ·系统级设计方法 | 第23-26页 |
| ·事务级设计方法 | 第26-30页 |
| ·SoC功能验证方法 | 第30-32页 |
| ·事务级随机化功能验证 | 第32-33页 |
| ·研究内容 | 第33页 |
| ·内容组织 | 第33-35页 |
| 第2章 SoC设计方法学概述 | 第35-53页 |
| ·引言 | 第35页 |
| ·自上而下的设计方法 | 第35-38页 |
| ·基于IP核的设计方法 | 第38-40页 |
| ·软硬件协同设计方法 | 第40-41页 |
| ·功能验证方法 | 第41-47页 |
| ·形式验证 | 第42-45页 |
| ·动态验证 | 第45-46页 |
| ·FPGA验证 | 第46-47页 |
| ·RTL级和事务级功能验证 | 第47-52页 |
| ·RTL级功能验证 | 第47-49页 |
| ·事务级功能验证 | 第49-52页 |
| ·本章小结 | 第52-53页 |
| 第3章 SoC片上总线通信结构 | 第53-81页 |
| ·引言 | 第53页 |
| ·基于片上总线的SoC结构 | 第53-57页 |
| ·基于接口的片上总线 | 第54页 |
| ·基于传输方式的片上总线 | 第54-56页 |
| ·基于通信方式的片上总线 | 第56-57页 |
| ·常用片上总线分析 | 第57-64页 |
| ·Wishbone总线 | 第57-58页 |
| ·AMBA总线 | 第58-61页 |
| ·CoreConnect总线 | 第61-62页 |
| ·OCP总线 | 第62页 |
| ·四种SOC片上总线比较 | 第62-64页 |
| ·片上总线结构的性能 | 第64-65页 |
| ·总线带宽 | 第64页 |
| ·总线利用率 | 第64页 |
| ·传输访问时间 | 第64-65页 |
| ·片上总线结构中的仲裁策略 | 第65-80页 |
| ·常用仲裁算法 | 第65-69页 |
| ·基于提前仲裁和请求等待优先的仲裁策略 | 第69-80页 |
| ·本章小结 | 第80-81页 |
| 第4章 事务级建模方法 | 第81-99页 |
| ·引言 | 第81页 |
| ·事务级片上总线通信结构 | 第81-83页 |
| ·事务级模型 | 第81-82页 |
| ·事务级片上总线通信功能模型 | 第82-83页 |
| ·事务级片上总线通信约束模型 | 第83页 |
| ·基于SystemC的事务级建模方法 | 第83-90页 |
| ·SystemC语言 | 第84-87页 |
| ·基于SystemC的事务级建模方法 | 第87-90页 |
| ·基于AMBAAHB总线的SoC事务级模型 | 第90-98页 |
| ·基于AMBA的SoC体系结构 | 第90-93页 |
| ·事务级AHB总线SoC的设计 | 第93-98页 |
| ·本章小结 | 第98-99页 |
| 第5章 事务级随机测试功能验证方法研究 | 第99-119页 |
| ·引言 | 第99-101页 |
| ·随机测试有效性评估标准 | 第101-102页 |
| ·测试向量放回情况下的评估 | 第102-104页 |
| ·测试向量不放回情况下的评估 | 第104-106页 |
| ·测试成本 | 第106页 |
| ·一轮测试后残留错误数的估算 | 第106-108页 |
| ·测试向量放回情况下的估算 | 第107页 |
| ·测试向量不放回情况下的估算 | 第107-108页 |
| ·4×4包交换模块的测试 | 第108-116页 |
| ·SCV验证库 | 第108-109页 |
| ·事务级功能验证平台 | 第109-110页 |
| ·随机测试验证 | 第110-115页 |
| ·功能覆盖率和测试成本 | 第115-116页 |
| ·三种随机测试向量验证方法的比较 | 第116页 |
| ·本章小结 | 第116-119页 |
| 第6章 总结与展望 | 第119-123页 |
| ·引言 | 第119页 |
| ·研究成果 | 第119-120页 |
| ·下一步工作 | 第120-123页 |
| 参考文献 | 第123-129页 |
| 攻读博士学位期间撰写的论文和报告 | 第129-131页 |
| 攻读博士学位期间参与的科研项目及成果 | 第131-133页 |
| 附录 仲裁器仿真测试向量 | 第133-146页 |
| 致谢 | 第146页 |
