嵌入式系统的硬/软件协同设计研究

发布时间：2021-01-06 15:06

　　嵌入式计算机系统是用于完成特定功能的计算机系统，例如，激光打印机、移动电话、微波炉、汽车的防抱死控制器等，它一般是由微处理器、ASIC、总线、存储器等组成。随着微电子技术中的深亚微米技术的发展，嵌入式系统可以被集成到一块芯片上，形成片上系统“SOC”。如果说靠手工可以满足一些简单的，低性能的嵌入式系统的设计的话，那么，对于复杂的、高性能的嵌入式系统，手工设计将会非常困难。解决这个问题的有效方法是采用嵌入式系统的设计自动化技术。 嵌入式系统的设计自动化技术可以缩短系统的开发周期，降低开发费用，提高设计质量，使产品具有更强的市场竞争力。因此，它已经成为当前EDA领域的热点研究问题。目前，国内外许多大学、公司都有项目组在从事这项技术的研究工作。本文研究了嵌入式系统自动化设计技术中的一些问题，主要进行了以下4个方面的工作： 1．介绍和分析了具有代表性的嵌入式系统设计自动化系统，如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等。提出了一个基于UML系统描述的，SystemC模拟验证的，利用CoCentric SystemC Complier进行硬... 

【文章来源】：复旦大学上海市 211工程院校 985工程院校 教育部直属院校

【文章页数】：122 页

【学位级别】：博士

【文章目录】：
摘要
Abstract
第一章 引言
第二章 嵌入式系统自动化设计原理
    2.1 几个典型的嵌入式系统实现原理
        2.1.1 Cool系统
        2.1.2 Cosyma系统的实现原理
        2.1.3 SpecSyn系统的实现原理
        2.1.4 Chinook系统的实现原理
        2.1.5 Polis系统的实现原理
        2.1.6 Corsair系统的实现原理
    2.2 现有系统的评价
    2.3 一个新的嵌入式系统开发环境
第三章 嵌入式系统的描述
    3.1 嵌入式系统描述语言介绍
        3.1.1 形式化描述技术
        3.1.2 可执行语言
    3.2 描述语言的评述
    3.3 基于UML的系统描述
        3.3.1 基于UML的嵌入式描述的优势和不利之处
        3.3.2 基于UML的嵌入式系统描述方法
    3.4 基于UML的ATM机设计
第四章 UML到SystemC转换
    4.1 RoseUML文件格式分析和相关文件的生成
        4.1.1 用例图的格式分析和constraint文件的生成
        4.1.2 顺序图的格式分析和sequence文件的生成
        4.1.3 类图格式分析和class文件的生成
        4.1.4 状态图／活动图格式分析和state／activity文件的生成
        4.1.5 时间约束信息文件timecon的生成
    4.2 SystemC
    4.3 SystemC代码的产生
        4.3.1 SystemC模块文件的生成
        4.3.2 SystemC主函数文件的生成
第五章 硬／软件划分
    5.1 硬／软件划分原理
    5.2 进程节点参数的获取原理
    5.3 节点类别的确定
    5.4 约束紧迫度计算
    5.5 硬／软件划分算法
    5.6 测试结果及其结论
第六章 结论
参考文献
致谢
附录 攻读博士期间科研工作


【参考文献】：
期刊论文
[1]嵌入式系统描述与验证环境的实现[J]. 程国达,彭澄廉.  计算机辅助设计与图形学学报. 2004(01)
[2]基于SDL/MSC的实时嵌入式系统概念级设计[J]. 程国达,彭澄廉,邱卫东,孙晓光.  小型微型计算机系统. 2003(07)
[3]约束驱动与松弛时间消除相结合的硬/软件划分算法[J]. 程国达,彭澄廉.  计算机研究与发展. 2003(06)
[4]一种基于遗传算法的硬件/软件划分方法[J]. 郭晓东,刘积仁,文晖.  计算机辅助设计与图形学学报. 2001(01)
[5]并行和分布式计算机监测系统的实现原理[J]. 吴百锋,彭澄廉,赵立勇.  计算机学报. 1998(04)



本文编号：2960788