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

1、嵌入式系統(tǒng)的設(shè)計(jì)自動(dòng)化技術(shù)可以縮短系統(tǒng)的開(kāi)發(fā)周期,降低開(kāi)發(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)研究問(wèn)題.目前,國(guó)內(nèi)外許多大學(xué)、公司都有項(xiàng)目組在從事這項(xiàng)技術(shù)的研究工作.該文研究了嵌入式系統(tǒng)自動(dòng)化設(shè)計(jì)技術(shù)中的一些問(wèn)題,主要進(jìn)行了以下4個(gè)方面的工作:1.介紹和分析了具有代表性的嵌入式系統(tǒng)設(shè)計(jì)自動(dòng)化系統(tǒng),如Cool、Cosyma、SpecSyn、Chinook、Polis和Corsair等.提出了

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