嵌入式系統(tǒng)的硬-軟件協(xié)同設(shè)計(jì)研究.pdf

1、嵌入式系統(tǒng)的設(shè)計(jì)自動化技術(shù)可以縮短系統(tǒng)的開發(fā)周期,降低開發(fā)費(fèi)用,提高設(shè)計(jì)質(zhì)量,使產(chǎn)品具有更強(qiáng)的市場競爭力.因此,它已經(jīng)成為當(dāng)前EDA領(lǐng)域的熱點(diǎn)研究問題.目前,國內(nèi)外許多大學(xué)、公司都有項(xiàng)目組在從事這項(xiàng)技術(shù)的研究工作.該文研究了嵌入式系統(tǒng)自動化設(shè)計(jì)技術(shù)中的一些問題,主要進(jìn)行了以下4個方面的工作:1.介紹和分析了具有代表性的嵌入式系統(tǒng)設(shè)計(jì)自動化系統(tǒng),如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等.提出了

2、一個基于UML系統(tǒng)描述的,SystemC模擬驗(yàn)證的,利用CoCentric SystemC Complier進(jìn)行硬件綜合的自動化設(shè)計(jì)方案,這個方案最大特點(diǎn)是可實(shí)現(xiàn)性強(qiáng).2.提出了一個基于UML的嵌入式系統(tǒng)的描述和設(shè)計(jì)方法.3.UML描述的系統(tǒng)的模擬驗(yàn)證是用SystemC來完成.4.硬/軟件劃分算法是嵌入式系統(tǒng)自動化設(shè)計(jì)中關(guān)鍵技術(shù)之一,該文在比較了現(xiàn)有硬/軟件劃分算法的基礎(chǔ)上提出了一個約束驅(qū)動和松弛時間消除相結(jié)合的硬/軟件劃分算法,它是G