SoC軟硬件協(xié)同設(shè)計(jì)系統(tǒng)級驗(yàn)證方法研究.pdf

1、隨著智慧地球等物聯(lián)網(wǎng)模式的發(fā)展,嵌入式系統(tǒng)在各項(xiàng)相關(guān)行業(yè)的應(yīng)用不斷拓展和深入,嵌入式系統(tǒng)開發(fā)環(huán)境和設(shè)計(jì)方法的研究領(lǐng)域近年來受到業(yè)界格外重視。嵌入式系統(tǒng)的軟硬件協(xié)同設(shè)計(jì)技術(shù)可以縮短系統(tǒng)的研發(fā)周期,降低研發(fā)費(fèi)用,提高產(chǎn)品質(zhì)量,使產(chǎn)品具有更強(qiáng)的市場競爭力。
　　將面向?qū)ο蟮乃枷霊?yīng)用到嵌入式系統(tǒng)設(shè)計(jì)中是項(xiàng)趨勢。本文研究了用統(tǒng)一建模語言UML對嵌入式系統(tǒng)進(jìn)行建模,提出并實(shí)踐了用UML的三種視圖來描述嵌入式系統(tǒng)的方法,這三種視圖分別是類圖、狀

2、態(tài)圖和順序圖。然而,UML建立的系統(tǒng)模型只能描述系統(tǒng)功能,并不能完成模擬驗(yàn)證,因此有必要將其轉(zhuǎn)換為可執(zhí)行模型,以便于進(jìn)行相應(yīng)的功能模擬。SystemC是一種能夠進(jìn)行軟硬件協(xié)同描述和模擬驗(yàn)證的語言,本文利用SystemC語言對系統(tǒng)進(jìn)行模擬驗(yàn)證。
　　對于UML系統(tǒng)模型到SystemC行為級模型之間的轉(zhuǎn)換,本文給出了一個切實(shí)可行的方法,論文提出了轉(zhuǎn)換的具體思想以及流程,為了驗(yàn)證轉(zhuǎn)換方法的正確性,用UML對MPEG-4系統(tǒng)進(jìn)行建模,并利