基于TPN的嵌入式系統(tǒng)軟硬件劃分技術(shù)研究.pdf

1、近年來,嵌入式系統(tǒng)在國(guó)民經(jīng)濟(jì)和國(guó)防等許多領(lǐng)域得到了廣泛的應(yīng)用。隨著系統(tǒng)復(fù)雜性日益提高,軟硬件協(xié)同設(shè)計(jì)技術(shù)成為提高設(shè)計(jì)效率的重要技術(shù)。而軟硬件劃分是協(xié)同設(shè)計(jì)流程中的一個(gè)關(guān)鍵任務(wù),對(duì)軟硬件劃分的研究具有重要的學(xué)術(shù)和實(shí)踐價(jià)值。
　　本文通過在基于SystemC的系統(tǒng)設(shè)計(jì)流程中引入Petri網(wǎng)分析技術(shù)和遺傳算法,提出了一種改進(jìn)的軟硬件劃分方法,所做的工作主要有:
　　(1)提出將時(shí)間Petri網(wǎng)作為劃分模型和性能評(píng)估的工具,并嵌入到

2、SystemC系統(tǒng)設(shè)計(jì)流程中,以彌補(bǔ)SystemC缺乏形式化分析工具的不足。
　　(2)在分析SystemC程序結(jié)構(gòu)的基礎(chǔ)上,提出了由SystemC程序到時(shí)間Petri網(wǎng)的轉(zhuǎn)換算法。并在一個(gè)例子中使用Petri網(wǎng)可達(dá)圖方法檢測(cè)出原SystemC程序存在的死鎖問題,證明了轉(zhuǎn)換算法的有效性。
　　(3)利用Petri網(wǎng)的不變量將系統(tǒng)劃分成子網(wǎng),通過對(duì)每個(gè)子網(wǎng)的考察實(shí)現(xiàn)對(duì)系統(tǒng)性能的評(píng)估。不變量的計(jì)算采用基于矩陣方程的方法以避免使用