SoC设计优化的域特定语言方法和建模
| 致谢 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 目次 | 第9-12页 |
| 插图和附表清单 | 第12-14页 |
| 缩写、符号清单、术语表 | 第14-17页 |
| 1 引言 | 第17-25页 |
| ·研究要点 | 第17-18页 |
| ·研究动机 | 第18-21页 |
| ·研究方法 | 第21-23页 |
| ·本文结构 | 第23-25页 |
| 2 基于参数追踪和自动推断的HDL | 第25-57页 |
| ·研究现状 | 第25-34页 |
| ·代码风格与电路质量 | 第26-31页 |
| ·代码冗余 | 第31-32页 |
| ·元编程支持不足 | 第32-34页 |
| ·问题域分析 | 第34-35页 |
| ·语言设计 | 第35-52页 |
| ·自动推断 | 第35-37页 |
| ·参数追踪 | 第37-39页 |
| ·预处理 | 第39-43页 |
| ·语法改进 | 第43-51页 |
| ·静态检查 | 第51-52页 |
| ·语言实现 | 第52-54页 |
| ·本章小结 | 第54-57页 |
| 3 细粒度复用方法 | 第57-81页 |
| ·现有复用方法 | 第57-58页 |
| ·新的复用场景 | 第58-59页 |
| ·FGRX方法概述 | 第59-63页 |
| ·提炼可复用对象 | 第60-61页 |
| ·静态设计检查 | 第61页 |
| ·自动设计生成 | 第61页 |
| ·FGRX方法实现 | 第61-62页 |
| ·FGRX方法性能 | 第62-63页 |
| ·FGRX方法在模块级应用 | 第63-74页 |
| ·应用背景 | 第63-66页 |
| ·实施FGRX方法 | 第66-73页 |
| ·模块级应用结果 | 第73-74页 |
| ·FGRX方法在芯片级和系统级应用 | 第74-78页 |
| ·应用背景 | 第74-76页 |
| ·实施FGRX方法 | 第76-77页 |
| ·芯片及系统级应用结果 | 第77-78页 |
| ·本章小结 | 第78-81页 |
| 4 基于数据流的性能建模 | 第81-101页 |
| ·研究现状 | 第82-83页 |
| ·问题分析 | 第83-87页 |
| ·事务数据流 | 第83-85页 |
| ·性能参数 | 第85-86页 |
| ·仲裁 | 第86-87页 |
| ·硬件资源 | 第87页 |
| ·TBPM方法 | 第87-91页 |
| ·淡化功能细节 | 第87-89页 |
| ·简化建模过程 | 第89页 |
| ·性能参数绑定 | 第89-90页 |
| ·字节级流水仿真 | 第90-91页 |
| ·后处理分析 | 第91页 |
| ·TBPM实现 | 第91-96页 |
| ·TDFLib | 第92-94页 |
| ·语法 | 第94-96页 |
| ·静态模型检查 | 第96页 |
| ·仿真与分析 | 第96页 |
| ·应用实例 | 第96-99页 |
| ·本章小结 | 第99-101页 |
| 5 基于性能仿真的架构设计智能优化 | 第101-119页 |
| ·问题描述 | 第101-102页 |
| ·多目标满意度综合 | 第102-105页 |
| ·算法设计 | 第105-109页 |
| ·离散化处理 | 第106页 |
| ·算法参数设置 | 第106-107页 |
| ·非劣解维护及排序 | 第107-108页 |
| ·算法描述 | 第108-109页 |
| ·算法实现 | 第109-112页 |
| ·PML语法扩充 | 第110-111页 |
| ·基于数据库的异步通信方式 | 第111页 |
| ·集群运行环境 | 第111-112页 |
| ·实验结果 | 第112-118页 |
| ·实验环境 | 第112-113页 |
| ·满意度综合方案对比 | 第113-115页 |
| ·算法性能分析 | 第115-117页 |
| ·优化结果 | 第117-118页 |
| ·本章小结 | 第118-119页 |
| 6 结论 | 第119-123页 |
| ·本文研究工作的创新点 | 第120-121页 |
| ·现有工作的不足及展望 | 第121-123页 |
| 7 参考文献 | 第123-128页 |
| 附录A CRM AMDT的XSD形式定义 | 第128-133页 |
| 附录B MetaHDL语法的BNF形式定义 | 第133-139页 |
| 附录C PML语法的BNF形式定义 | 第139-145页 |
| 作者简历及学习期间发表的论文 | 第145页 |
