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

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

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

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

【文章目錄】：
摘要
Abstract
第一章 引言
第二章 嵌入式系統(tǒng)自動(dòng)化設(shè)計(jì)原理
    2.1 幾個(gè)典型的嵌入式系統(tǒng)實(shí)現(xiàn)原理
        2.1.1 Cool系統(tǒng)
        2.1.2 Cosyma系統(tǒng)的實(shí)現(xiàn)原理
        2.1.3 SpecSyn系統(tǒng)的實(shí)現(xiàn)原理
        2.1.4 Chinook系統(tǒng)的實(shí)現(xiàn)原理
        2.1.5 Polis系統(tǒng)的實(shí)現(xiàn)原理
        2.1.6 Corsair系統(tǒng)的實(shí)現(xiàn)原理
    2.2 現(xiàn)有系統(tǒng)的評(píng)價(jià)
    2.3 一個(gè)新的嵌入式系統(tǒng)開發(fā)環(huán)境
第三章 嵌入式系統(tǒng)的描述
    3.1 嵌入式系統(tǒng)描述語(yǔ)言介紹
        3.1.1 形式化描述技術(shù)
        3.1.2 可執(zhí)行語(yǔ)言
    3.2 描述語(yǔ)言的評(píng)述
    3.3 基于UML的系統(tǒng)描述
        3.3.1 基于UML的嵌入式描述的優(yōu)勢(shì)和不利之處
        3.3.2 基于UML的嵌入式系統(tǒng)描述方法
    3.4 基于UML的ATM機(jī)設(shè)計(jì)
第四章 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)圖／活動(dòng)圖格式分析和state／activity文件的生成
        4.1.5 時(shí)間約束信息文件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é)點(diǎn)參數(shù)的獲取原理
    5.3 節(jié)點(diǎn)類別的確定
    5.4 約束緊迫度計(jì)算
    5.5 硬／軟件劃分算法
    5.6 測(cè)試結(jié)果及其結(jié)論
第六章 結(jié)論
參考文獻(xiàn)
致謝
附錄 攻讀博士期間科研工作


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



本文編號(hào)：2960788