EDA中高層次綜合算法及兩種時(shí)序綜合理論比較研究.pdf

1、本文在繼承前人工作的基礎(chǔ)上,將最基本也是最重要的圖靈機(jī)模型及其依據(jù)于此的計(jì)算復(fù)雜性理論的若干重要概念與思想引入到EDA中的高層次綜合和邏輯綜合環(huán)節(jié)中.文中在討論了P與NP問題、近似算法性能指標(biāo)等概念的基礎(chǔ)上,對高層次綜合中的問題,將其歸結(jié)為基本組合問題,并進(jìn)行了描述.針對高層次綜合中部分有代表性的問題,指出其近似求解的無限逼近最優(yōu)性.本文對高層次綜合中的互連單元分配算法進(jìn)行了研究,對互連單元分配進(jìn)行了論述.在著重分析數(shù)據(jù)通路連接圖的表示

2、模型的基礎(chǔ)上,對數(shù)據(jù)通路連接圖的標(biāo)準(zhǔn)型給出了一系列定義,然后提出了IU-Allocation算法.利用該算法對線性預(yù)測系統(tǒng)的自相關(guān)數(shù)字電路進(jìn)行了實(shí)驗(yàn),并對算法的時(shí)間復(fù)雜性做了分析.本文介紹了演化計(jì)算的概念及應(yīng)用.提出了一種基于演化程序的數(shù)據(jù)通路綜合算法.該算法將演化程序與已知的啟發(fā)式算法相結(jié)合,可對較大的設(shè)計(jì)空間進(jìn)行智能化搜索.同時(shí),以減少硬件資源成本和縮短總的執(zhí)行時(shí)間為目標(biāo),討論了應(yīng)用該方法對典型的微分方程電路實(shí)施調(diào)度、分配和數(shù)據(jù)通路

3、綜合的整體優(yōu)化過程,并做了仿真實(shí)驗(yàn),證明可以有效地提高高層次綜合設(shè)計(jì)的質(zhì)量.對時(shí)序邏輯綜合領(lǐng)域的兩種重要理論,布爾過程論與時(shí)變布爾函數(shù),在定時(shí)特性方面進(jìn)行了重點(diǎn)比較.這兩種理論均是在考慮布爾變量的同時(shí),將時(shí)間特性加入其中,以期系統(tǒng)地處理邏輯與時(shí)序問題.其重要的不同點(diǎn)是,布爾過程借助實(shí)數(shù)的運(yùn)算,而時(shí)變布爾函數(shù)依然采用布爾運(yùn)算.研究了布爾過程在計(jì)算通路敏化時(shí)的計(jì)算復(fù)雜性,指出按其算法進(jìn)行通路敏化求解是指數(shù)時(shí)間算法.最后本文對邏輯綜合領(lǐng)域的最