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

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

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

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