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

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

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

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