電子芯片的發(fā)展非常迅速,并且被越來越廣泛的應(yīng)用到各個領(lǐng)域,芯片的設(shè)計和解析的重要性不言而喻。面向功能集的在線式芯片解析是當(dāng)前較為先進(jìn)的非侵入式解析方法,己被業(yè)界廣泛應(yīng)用。邏輯綜合子模塊是在線式解析系統(tǒng)中的重要環(huán)節(jié),直接影響最終分析結(jié)果的準(zhǔn)確性、高效性。到目前為止,邏輯綜合算法所面臨的問題仍是實(shí)時性的要求和存儲資源的限制,二者中.存儲資源的制約性更強(qiáng),更亟待解決,如何解決這個問題是本文研究核心。通過高效的預(yù)處理子模塊,對采樣結(jié)果先進(jìn)行極大程度的優(yōu)化.在進(jìn)入將會產(chǎn)生大規(guī)模中間數(shù)據(jù)井大規(guī)模耗費(fèi)時間的迭代過程之前將數(shù)據(jù)規(guī)模大幅壓縮,從而降低算法整體的時間復(fù)雜度和空間復(fù)雜度（?）通過改進(jìn)編程策略,增強(qiáng)對有限硬件資源的復(fù)用性,最終突破瓶頸,達(dá)到提升系統(tǒng)處理能力的目的。時間復(fù)雜度的控制是也本文研究的一個重要問題,對輸入數(shù)據(jù)類型的適應(yīng)性是另一個重要的評定標(biāo)準(zhǔn),所以本文引進(jìn)了世界廣泛使用的Benchmark標(biāo)準(zhǔn)測試數(shù)據(jù),以保證測試結(jié)果的明確性和完備性。通過以上研究,實(shí)現(xiàn)了對傳統(tǒng)邏輯綜合方法的優(yōu)化和實(shí)現(xiàn)。經(jīng)權(quán)威測試用例檢測.本系統(tǒng)時間復(fù)雜度得到了很好的控制,空間復(fù)雜度在相同輸入情況下大幅下降。在規(guī)模相當(dāng)?shù)?.. 

【文章來源】：戰(zhàn)略支援部隊信息工程大學(xué)河南省

【文章頁數(shù)】：57 頁

【學(xué)位級別】：碩士

【文章目錄】：
表目錄
圖目錄
摘要
ABSTRACT
第一章 緒論
    1.1 課題背景
    1.2 研究現(xiàn)狀
    1.3 有待解決得問題
    1.4 論文的結(jié)構(gòu)
    1.5 本章小結(jié)
第二章 邏輯綜合的基本內(nèi)容和方法
    2.1 邏輯綜合的基本原理與主要功能
        2.1.1 邏輯綜合的基本原理
        2.1.2 邏輯綜合的主要功能
    2.2 邏輯綜合理論的相關(guān)定義和原子算法
        2.2.1 邏輯綜合理論的相關(guān)定義
        2.2.2 邏輯綜合理論的原子算法
    2.3 邏輯綜合算法的分類及常用算法的選擇和比較
        2.3.1 邏輯綜合算法的分類
        2.3.2 常用算法的比較和選擇
第三章 改進(jìn)的多輸出函數(shù)邏輯綜合啟發(fā)式算法
    3.1 算法涉及到的定義
        3.1.1 常用符號
        3.1.2 封鎖矩陣個覆蓋矩陣
        3.1.3 算法所涉及到的其它定義
    3.2 算法涉及到的定理
    3.3 算法的整體架構(gòu)
    3.4 核心算法的描述和分析
        3.4.1 預(yù)處理算法
        3.4.2 近似最小覆蓋生成算法
        3.4.3 DC項刪除算法
    3.5 本章小結(jié)
第四章 理論研究和程序?qū)崿F(xiàn)中的問題與解決
    4.1 數(shù)據(jù)結(jié)構(gòu)的選擇
    4.2 預(yù)處理算法的研究和改進(jìn)
        4.2.1 預(yù)處理算法的可行性指標(biāo)
        4.2.2 預(yù)處理算法的選擇
        4.2.3 對預(yù)處理算法的分析
        4.2.4 程序?qū)崿F(xiàn)過程中的問題與解決
    4.3 初始化與化簡算法
        4.3.1 對初始化與化簡算法的分析
        4.3.2 程序?qū)崿F(xiàn)過程中的問題與解決
    4.4 DC項刪除操作的研究與實(shí)現(xiàn)
        4.4.1 DC項刪除操作的原理
        4.4.2 DC項刪除操作執(zhí)行機(jī)制的選擇
    4.5 本章小結(jié)
第五章 系統(tǒng)測試與分析
    5.1 測試環(huán)境
    5.2 Benchmark測試
    5.3 子程序模塊測試
    5.4 本章小結(jié)
結(jié)束語
參考文獻(xiàn)
作者簡歷
致謝


【參考文獻(xiàn)】：
期刊論文
[1]多輸入多輸出單邊邏輯函數(shù)優(yōu)化系統(tǒng)的設(shè)計研究[J]. 邱建林,王波,劉維富.  南京郵電大學(xué)學(xué)報(自然科學(xué)版). 2006(05)
[2]基于時間偏差的并行邏輯模擬的動態(tài)負(fù)載平衡[J]. 陳進(jìn)軍,吳悅,楊洪斌.  計算機(jī)工程與設(shè)計. 2005(06)
[3]邏輯綜合中的Cube運(yùn)算[J]. 劉丹非.  計算機(jī)科學(xué). 2004(12)
[4]適于大數(shù)目輸入變量的邏輯綜合啟發(fā)式算法[J]. 管致錦,張義清.  計算機(jī)應(yīng)用與軟件. 2004(11)
[5]自動邏輯綜合中無冗余覆蓋唯一性[J]. 王成艷.  中南民族大學(xué)學(xué)報(自然科學(xué)版). 2004(03)
[6]VHDL邏輯級模擬系統(tǒng)中模擬模塊的設(shè)計和實(shí)現(xiàn)[J]. 周喜明,吳悅楊,洪斌,孔健.  微電子學(xué)與計算機(jī). 2004(03)
[7]啟發(fā)式算法與在線式解析[J]. 羅穎,肖梓祥.  信息工程大學(xué)學(xué)報. 2003(02)
[8]基于Boole過程的并行邏輯模擬算法[J]. 馮剛,馬光勝,杜振軍.  哈爾濱工程大學(xué)學(xué)報. 2001(06)

博士論文
[1]基于Boole過程的考慮互連效應(yīng)的EDA方法研究[D]. 馮剛.哈爾濱工程大學(xué) 2005

碩士論文
[1]在線式不明芯片解析技術(shù)研究[D]. 聶瑞清.解放軍信息工程大學(xué) 2001



本文編號：3118353