基于SystemC的片上系统交易级设计与实现
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 1 绪论 | 第10-23页 |
| ·问题的提出及研究意义 | 第13-16页 |
| ·问题的提出 | 第13-15页 |
| ·研究的意义 | 第15-16页 |
| ·国内外研究现状 | 第16-21页 |
| ·片上系统设计方法学的研究现状 | 第17-19页 |
| ·SystemC 与交易级设计方法学的研究现状 | 第19-21页 |
| ·本文研究的目的和研究内容 | 第21-23页 |
| ·本文研究的目的 | 第21-22页 |
| ·本文研究的主要内容 | 第22-23页 |
| 2 SystemC 与RTL 编程 | 第23-48页 |
| ·SystemC 的组成及基本语法 | 第23-35页 |
| ·概述 | 第23-24页 |
| ·SystemC 的体系结构 | 第24-25页 |
| ·SystemC 类库 | 第25-29页 |
| ·加法器示例 | 第29-35页 |
| ·SystemC 寄存器传输级编程风格 | 第35-40页 |
| ·电子系统描述层次与可综合的RTL 设计 | 第36-37页 |
| ·基于SystemC 的RTL 编程风格 | 第37-38页 |
| ·通用移位寄存器建模 | 第38-40页 |
| ·面向状态的RTL 编程方法探讨 | 第40-47页 |
| ·FSM 基本原理 | 第41-42页 |
| ·面向状态的RTL 编程 | 第42-45页 |
| ·时序仿真 | 第45-47页 |
| ·本章小结 | 第47-48页 |
| 3 基于SystemC 的片上系统交易级设计 | 第48-65页 |
| ·交易级建模 | 第48-58页 |
| ·概述 | 第48-51页 |
| ·接口、端口与通道 | 第51-55页 |
| ·FIFO 建模 | 第55-58页 |
| ·通信细化 | 第58-63页 |
| ·基本概念与细化步骤 | 第58页 |
| ·通道细化 | 第58-59页 |
| ·插入适配器 | 第59-61页 |
| ·验证、接口细化与再验证 | 第61-63页 |
| ·交易级建模与UML | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 4 片上系统交易级模型分析与实现 | 第65-99页 |
| ·多处理器片上系统数据队列 | 第65-71页 |
| ·MPSoC 与数据队列 | 第65-66页 |
| ·泊松流与数据流交易级分析 | 第66-68页 |
| ·UML 模型图 | 第68-69页 |
| ·使用MATLAB 产生输入激励 | 第69-71页 |
| ·主从式片上总线 | 第71-86页 |
| ·片上总线及其类图 | 第72-74页 |
| ·接口交易级实现 | 第74-76页 |
| ·主设备交易级实现 | 第76页 |
| ·从设备交易级实现 | 第76-79页 |
| ·总线交易级实现 | 第79-82页 |
| ·仲裁器交易级实现 | 第82-83页 |
| ·任务优先级分配 | 第83-85页 |
| ·改进型仲裁策略 | 第85-86页 |
| ·基于图的片上网络 | 第86-98页 |
| ·片上网络 | 第87-89页 |
| ·相关工作 | 第89-90页 |
| ·片上网络与图的关系 | 第90-91页 |
| ·图上交易的提出 | 第91-92页 |
| ·图上交易原理及优势 | 第92-93页 |
| ·图上交易的实现 | 第93-98页 |
| ·本章小结 | 第98-99页 |
| 5 交易级模型的仿真与验证 | 第99-109页 |
| ·数据队列迟滞理论计算与仿真 | 第99-102页 |
| ·理论计算 | 第99-100页 |
| ·仿真结果比较 | 第100-102页 |
| ·总线模型仿真与验证 | 第102-105页 |
| ·仿真模型 | 第102-103页 |
| ·使用.MAT 文件记录数据 | 第103-104页 |
| ·仿真结果 | 第104-105页 |
| ·图上交易模型的验证与复用 | 第105-107页 |
| ·片上网络静态分析和验证 | 第106-107页 |
| ·片上网络模型复用问题探讨 | 第107页 |
| ·本章小结 | 第107-109页 |
| 6 结论与展望 | 第109-111页 |
| 致谢 | 第111-112页 |
| 参考文献 | 第112-119页 |
| 附录 | 第119-121页 |
| A：作者在攻读硕士学位期间发表的论文目录 | 第119页 |
| B：作者在攻读硕士学位期间参加的科研项目 | 第119-121页 |
