| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 绪论 | 第11-17页 |
| ·软硬件协同设计研究的背景与现状分析 | 第11-14页 |
| ·本文研究的主要内容 | 第14-16页 |
| ·论文组织结构 | 第16-17页 |
| 第2章 系统级软硬件协同设计 | 第17-42页 |
| ·系统抽象层次 | 第17-19页 |
| ·软硬件协同设计研究范畴和方法 | 第19-23页 |
| ·描述模型 | 第23-25页 |
| ·设计语言 | 第25-28页 |
| ·相关研究 | 第28-35页 |
| ·模型驱动的系统级设计方案 | 第35-40页 |
| ·本章小结 | 第40-42页 |
| 第3章 ECDM模型 | 第42-62页 |
| ·CDM模型 | 第42-48页 |
| ·CDM模型的优势及局限性 | 第48-49页 |
| ·ECDM模型 | 第49-51页 |
| ·ECDM模型的调度处理 | 第51-53页 |
| ·ECDMsH的算法实现 | 第53-57页 |
| ·ECDM模型的一致性验证 | 第57-61页 |
| ·本章小结 | 第61-62页 |
| 第4章 模型映射及SYSTEMC代码框架的自动生成 | 第62-86页 |
| ·问题描述 | 第62-63页 |
| ·模型驱动构架MDA | 第63-67页 |
| ·ECDM到SYSTEMC的映射关系 | 第67-69页 |
| ·ECDM到SYSTEMC的映射及其MoDMA算法实现 | 第69-77页 |
| ·SYSTEMC代码框架生成工具MoDCT | 第77-81页 |
| ·实例 | 第81-85页 |
| ·本章小结 | 第85-86页 |
| 第5章 行为综合与验证研究 | 第86-106页 |
| ·分层可综合设计 | 第86-88页 |
| ·组件包装与接口综合的算法实现 | 第88-93页 |
| ·通道的综合及优化 | 第93-100页 |
| ·验证 | 第100-103页 |
| ·例子 | 第103-105页 |
| ·本章小结 | 第105-106页 |
| 第6章 模型驱动的设计开发环境—IECDMDT的实现 | 第106-117页 |
| ·ECDMDT概述 | 第106-107页 |
| ·ECDMDT体系结构 | 第107-108页 |
| ·ECDMDT核心模块介绍 | 第108-111页 |
| ·实例设计 | 第111-116页 |
| ·本章小结 | 第116-117页 |
| 第7章 总结与展望 | 第117-120页 |
| ·本文工作总结 | 第117-118页 |
| ·进一步的研究工作 | 第118-120页 |
| 附录A 英文缩写对照表 | 第120-121页 |
| 附录B 作者攻读博士学位期间论文发表情况 | 第121页 |
| 附录C 作者攻读博士学位期间取得的成果 | 第121页 |
| 附录D 作者攻读博士学位期间参加科研项目情况 | 第121-122页 |
| 参考文献 | 第122-130页 |
| 后记 | 第130页 |
