基于CDM的软硬件协同设计若干关键技术研究

论文题目: 基于CDM的软硬件协同设计若干关键技术研究

论文类型: 博士论文

论文专业: 系统分析与集成

作者: 罗怡桂

导师: 顾君忠

关键词: 软硬件协同设计,系统模型,软硬件协同综合,部件设计,详细设计描述,软硬件协同设计环境

文献来源: 华东师范大学

发表年度: 2005

论文摘要: 软（件）硬件协同设计（Hardware/Software Co-design）是一种在设计的最初阶段就将软件与硬件两方面结合起来权衡功能的分配,在软件与硬件的并行设计过程中实现软硬件的交互,以满足系统的功能与性能要求的设计方法[GDM97][DM91]。随着人类进入新的世纪,由于信息技术的飞速发展,软硬件协同设计技术已经成为当前学术与产业界研究的热点。德国Darmstadt工业大学VLSI与系统实验室自二十世纪九十年代以来一直从事软硬件协同设计技术的研究,在系统建模、设计与验证方面已取得了多项令人瞩目的成果,在国际上享有良好声誉[DAR00]。近年,该实验室又提出了系统建模工具CDM,并且已经应用于机器人、MP3播放器等多个系统的设计。本文的基础是在上海市科技发展基金的资助下,与德国Darmstadt工业大学合作对软硬件协同设计的若干关键技术展开的研究。软硬件协同综合技术是软硬件协同设计的一个关键技术。基于CDM模型,作者提出了一个软硬件协同综合算法COSMT。和传统的软硬件协同综合算法相比,这一个算法有以下几个特点:1)传统的软硬件协同综合技术包括COSYN、CASPER、MOGAC等研究的对象是分布式硬实时嵌入式系统[BGN97][BN98][RN982],而本算法研究的对象是具有硬实时与软实时约束的嵌入式系统。2)采用了一个基于RMA[CJ73]的Slacksteal调度策略[RKA93]以满足软实时与硬实时约束相混合的要求。3)本算法中还提出了一个系统的硬件互联结构生成子算法,这一算法通过减少硬实时通信事件的资源竞争、降低软实时通信事件的路由复杂性,使得生成的硬件互联结构能够满足系统的硬（软）实时性约束,同时提高系统的可靠性。4)在优化方法中采用了一个近似华东师范大学博士学位论文Pareto一ranking[B GN97]的评级方法,满足了设计的多重性能优化要求。如何高效、正确地将高层抽象形态的设计自动转化成设计的低层实现形态是软硬件协同设计的一大难题。对此,本文给出一个将设计从高层抽象模型（CDM模型）转化成部件的SystemqsysOZ]行为级代码框架的自动生成算法。通过实验验证,生成的SystemC代码能够满足系统的功能及软实时、硬实时约束。详细设计描述技术也是软硬件协同设计的一个重要技术,其目的是支持设计者建立详细设计的描述模型,直观地描述软件或者硬件的时间特征、数据流与控制流等信息,以有效地对系统的详细设计进行分析、研究。CDM能够用来建立系统模型,但是并不适合详细设计的描述。对此,作者提出了一个双层定时Petri Net一DTTPN及层次化DTTPN,它能够将数据流与控制流在同一个模型中分开表示,能够描述系统的时间特征,这样,设计者能够同时在数据域与控制域分析设计,也能够分析系统的时序特征,从而为部件的详细设计提供了一个描述工具。通过上述研究,作者从系统结构的设计、部件的设计与实现这两个阶段对软硬件协同设计的关键技术进行了系统的探讨,在CDM的基础上形成了一套软硬件协同设计的工具与算法。软硬件协同设计实验平台ROCS是应用上述技术开发的软硬协同设计实验系统。它支持设计者采用文本或图形的方式对系统采用CDM进行描述,并根据生成的CDM模型进行协同综合从而得到系统结构描述,然后生成系统的行为级SystemC代码框架。本文介绍了ROCS的系统设计,着重分析了上述技术在系统中的应用。然后以一个PDA为例进行了实验研究,实验结果表明:ROCS能够支持设计者进行系统结构的设计;借助于ROCS生成的systemC代码及SystemC的开放平台,设计者能够在设计的早期发现错误,并对设计进行改进。综上所述,本文的主要工作与创新点归纳为:

论文目录:

第1章绪论

1.1 研究背景

1.2 软硬件协同设计的定义

1.3 软硬件协同设计过程

1.4 软硬件协同设计技术的研究范畴

1.5 软硬件协同设计研究的历史

1.6 软硬件协同设计领域有待研究的问题

1.7 计算机应用研究所的软硬件协同设计研究思路

1.8 本文所采用的软硬件协同设计过程

1.9 本文的研究目标与工作重点

1.10 本文的结构

第2章 CDM研究

2.1 问题描述

2.2 CDM简介

2.3 CDM应用实例

2.4 CDM与其它系统建模工具的比较研究

2.5 本章小结

第3章软硬件协同综合技术研究

3.1 问题描述

3.2 COSMT算法概览

3.3 处理的资源分配

3.4 系统的硬件互联结构生成算法

3.5 通信资源的分配

3.6 调度

3.7 性能估计

3.8 优化

3.9 和传统协同综合算法的比较

3.10 例子

3.11 小结

第4章部件设计及其行为级SYSTEMC代码框架的自动生成

4.1 问题描述

4.2 部件的行为级SystemC代码框架的实现

4.2.1 SystemC分析

4.2.2 部件的行为级代码框架的实现

4.3 部件的行为级代码框架的自动生成算法

4.4 实验

4.5 应用

4.6 小结

第5章详细设计描述工具DTTPN

5.1 问题描述

5.2 Petri Net及其相关工作

5.3 DTTPN的结构

5.4 DTTPN的行为

5.5 层次化DTTPN—HDTTPN

5.6 DTTPN及HDTTPN的图形表示

5.7 示例

5.8 小结

第6章软硬件协同设计实验平台ROCS及其实验研究

6.1 ROCS实验平台的系统结构

6.2 ROCS核心模块

6.2.1 系统描述模块

6.2.2 协同综合模块

6.2.3 代码自动生成模块

6.2.4 信使代理模块

6.2.5 ROCS实现的主要功能

6.3 PDA实验

6.3.1 实验过程

6.3.2 协同综合结果分析

6.3.3 网络应用环境下实时播放功能的优化

6.3.4 实验结论

6.4 小结

第7章总结与展望

7.1 论文的研究内容

7.2 论文的创新点总结

7.3 未来的研究方向

参考文献

致谢

附录

CDDL规范

攻读博士学位期间发表和完成的论文

攻读博士学位论文期间参与的科研项目

发布时间: 2005-07-14

参考文献

[1].基于格件的信息处理机体系结构研究及其实现[D]. 封斌.华南理工大学2013
[2].软硬件协同综合及虚拟微处理器技术研究[D]. 张鲁峰.国防科学技术大学2002

基于CDM的软硬件协同设计若干关键技术研究

猜你喜欢