嵌入式計算機(jī)系統(tǒng)是用于完成特定功能的計算機(jī)系統(tǒng)，例如，激光打印機(jī)、移動電話、微波爐、汽車的防抱死控制器等，它一般是由微處理器、ASIC、總線、存儲器等組成。隨著微電子技術(shù)中的深亞微米技術(shù)的發(fā)展，嵌入式系統(tǒng)可以被集成到一塊芯片上，形成片上系統(tǒng)“SOC”。如果說靠手工可以滿足一些簡單的，低性能的嵌入式系統(tǒng)的設(shè)計的話，那么，對于復(fù)雜的、高性能的嵌入式系統(tǒng)，手工設(shè)計將會非常困難。解決這個問題的有效方法是采用嵌入式系統(tǒng)的設(shè)計自動化技術(shù)。 嵌入式系統(tǒng)的設(shè)計自動化技術(shù)可以縮短系統(tǒng)的開發(fā)周期，降低開發(fā)費用，提高設(shè)計質(zhì)量，使產(chǎn)品具有更強(qiáng)的市場競爭力。因此，它已經(jīng)成為當(dāng)前EDA領(lǐng)域的熱點研究問題。目前，國內(nèi)外許多大學(xué)、公司都有項目組在從事這項技術(shù)的研究工作。本文研究了嵌入式系統(tǒng)自動化設(shè)計技術(shù)中的一些問題，主要進(jìn)行了以下4個方面的工作： 1．介紹和分析了具有代表性的嵌入式系統(tǒng)設(shè)計自動化系統(tǒng)，如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等。提出了一個基于UML系統(tǒng)描述的，SystemC模擬驗證的，利用CoCentric SystemC Complier進(jìn)行硬... 

【文章來源】：復(fù)旦大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：122 頁

【學(xué)位級別】：博士

【文章目錄】：
摘要
Abstract
第一章 引言
第二章 嵌入式系統(tǒng)自動化設(shè)計原理
    2.1 幾個典型的嵌入式系統(tǒng)實現(xiàn)原理
        2.1.1 Cool系統(tǒng)
        2.1.2 Cosyma系統(tǒng)的實現(xiàn)原理
        2.1.3 SpecSyn系統(tǒng)的實現(xiàn)原理
        2.1.4 Chinook系統(tǒng)的實現(xiàn)原理
        2.1.5 Polis系統(tǒng)的實現(xiàn)原理
        2.1.6 Corsair系統(tǒng)的實現(xiàn)原理
    2.2 現(xiàn)有系統(tǒng)的評價
    2.3 一個新的嵌入式系統(tǒng)開發(fā)環(huán)境
第三章 嵌入式系統(tǒng)的描述
    3.1 嵌入式系統(tǒng)描述語言介紹
        3.1.1 形式化描述技術(shù)
        3.1.2 可執(zhí)行語言
    3.2 描述語言的評述
    3.3 基于UML的系統(tǒng)描述
        3.3.1 基于UML的嵌入式描述的優(yōu)勢和不利之處
        3.3.2 基于UML的嵌入式系統(tǒng)描述方法
    3.4 基于UML的ATM機(jī)設(shè)計
第四章 UML到SystemC轉(zhuǎn)換
    4.1 RoseUML文件格式分析和相關(guān)文件的生成
        4.1.1 用例圖的格式分析和constraint文件的生成
        4.1.2 順序圖的格式分析和sequence文件的生成
        4.1.3 類圖格式分析和class文件的生成
        4.1.4 狀態(tài)圖／活動圖格式分析和state／activity文件的生成
        4.1.5 時間約束信息文件timecon的生成
    4.2 SystemC
    4.3 SystemC代碼的產(chǎn)生
        4.3.1 SystemC模塊文件的生成
        4.3.2 SystemC主函數(shù)文件的生成
第五章 硬／軟件劃分
    5.1 硬／軟件劃分原理
    5.2 進(jìn)程節(jié)點參數(shù)的獲取原理
    5.3 節(jié)點類別的確定
    5.4 約束緊迫度計算
    5.5 硬／軟件劃分算法
    5.6 測試結(jié)果及其結(jié)論
第六章 結(jié)論
參考文獻(xiàn)
致謝
附錄 攻讀博士期間科研工作


【參考文獻(xiàn)】：
期刊論文
[1]嵌入式系統(tǒng)描述與驗證環(huán)境的實現(xiàn)[J]. 程國達(dá),彭澄廉.  計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報. 2004(01)
[2]基于SDL/MSC的實時嵌入式系統(tǒng)概念級設(shè)計[J]. 程國達(dá),彭澄廉,邱衛(wèi)東,孫曉光.  小型微型計算機(jī)系統(tǒng). 2003(07)
[3]約束驅(qū)動與松弛時間消除相結(jié)合的硬/軟件劃分算法[J]. 程國達(dá),彭澄廉.  計算機(jī)研究與發(fā)展. 2003(06)
[4]一種基于遺傳算法的硬件/軟件劃分方法[J]. 郭曉東,劉積仁,文暉.  計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報. 2001(01)
[5]并行和分布式計算機(jī)監(jiān)測系統(tǒng)的實現(xiàn)原理[J]. 吳百鋒,彭澄廉,趙立勇.  計算機(jī)學(xué)報. 1998(04)



本文編號：2960788