隨著集成電路制造技術(shù)的飛速發(fā)展,芯片已成為構(gòu)建現(xiàn)代信息化社會的物質(zhì)基礎(chǔ)。因此,開展邏輯不明芯片解析技術(shù)的研究對我國引進、吸收國外先進技術(shù),實現(xiàn)跨越式發(fā)展具有著重要的影響和深遠的意義。脫機式邏輯不明芯片解析系統(tǒng)的設(shè)計與開發(fā)是進行邏輯不明芯片分析與研究的一個重要途徑。作為脫機式邏輯不明芯片解析系統(tǒng)的重要組成部分,邏輯綜合系統(tǒng)的處理能力與處理效率將直接影響到整個解析系統(tǒng)的處理能力與處理效率。隨著邏輯芯片制造技術(shù)的迅速發(fā)展,如何在現(xiàn)有計算條件下,快速、準確的完成大規(guī)模數(shù)據(jù)集合的邏輯綜合處理,將成為邏輯綜合系統(tǒng)設(shè)計過程中主要面對的難題。本文圍繞著提高邏輯綜合系統(tǒng)處理能力和處理效率這一目標,在深入研究邏輯綜合理論的基礎(chǔ)上,通過對經(jīng)典邏輯綜合算法的分析,針對逆向解析過程中芯片數(shù)據(jù)集合的特點,從算法的空間復(fù)雜度與時間復(fù)雜度兩方面考慮,提出了子集迭代相交算法,并在此算法的基礎(chǔ)上,設(shè)計與開發(fā)了基于子集迭代相交算法的邏輯綜合系統(tǒng)。經(jīng)測試結(jié)果表明,基于子集迭代相交算法的邏輯綜合系統(tǒng)能夠快速、有效的完成大規(guī)模數(shù)據(jù)集合的邏輯綜合處理。并且,該系統(tǒng)的應(yīng)用還可以由單機推廣到網(wǎng)絡(luò),以進一步提高邏輯綜合處理的速度。 

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

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

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

【部分圖文】：

圖16分布式數(shù)據(jù)處理結(jié)構(gòu)示意圖

測試環(huán)境組成:①聯(lián)想計算機，配置是Pentium4，2.4GHz， RAM256MB， windowsxP操作系統(tǒng);② looMbpsNlc;③模擬數(shù)據(jù)采集軟件;④數(shù)據(jù)壓縮軟件;⑤最小覆蓋生成軟件。圖18是分布式邏輯綜合系統(tǒng)測試環(huán)境的結(jié)構(gòu)示意圖。軟件系統(tǒng) :l.windowsxp操作系統(tǒng)2熬據(jù)壓編軟{+-..、、、、、、，、.‘、瞥瞥肥經(jīng)目盆色悶.軟件系統(tǒng) :l.windowsxP操作系統(tǒng)2.模擬數(shù)據(jù)采集系統(tǒng)軟件系統(tǒng) 1.wlndowsXp操作系統(tǒng)Zt最小覆蓋生成軟件集數(shù)擬采..’模據(jù)數(shù)據(jù)處理主機圖18邏輯綜合系統(tǒng)測試環(huán)境圖圖18中數(shù)據(jù)采集主機負責(zé)生成模擬采集數(shù)據(jù)，并向處理分機發(fā)送已采集的分塊數(shù)據(jù)。模擬數(shù)據(jù)采集軟件根據(jù)輸入的布爾表達式自動生成對應(yīng)邏輯電路的輸入/輸出之間激勵關(guān)系，并交由處理分機對其進行壓縮處理。為達到檢測系統(tǒng)性能的目的，模擬數(shù)據(jù)采集軟件對輸入的布爾表達式進行窮舉激勵，以模擬不明芯片的初始數(shù)據(jù)全集。處理分機負責(zé)對接收到的分塊數(shù)據(jù)進行數(shù)據(jù)壓縮處理，在壓縮過程中同時對分塊數(shù)據(jù)中的真值頂點集合與假值頂點集合進行壓縮，并將每個分塊數(shù)據(jù)的壓縮結(jié)果傳送到處理主機。處理主機將每次接收到的分塊數(shù)據(jù)壓縮結(jié)果作為中間結(jié)果進行迭代相交處理，直至全部分塊數(shù)據(jù)的壓縮全部完成。并根據(jù)極性選擇

【參考文獻】：
期刊論文
[1]輻射路匹配:從門級到功能模塊級的子電路提取算法[J]. 李長青,汪雪林,彭思龍.  計算機輔助設(shè)計與圖形學(xué)學(xué)報. 2006(09)
[2]基于三變量函數(shù)的計算機輔助邏輯綜合[J]. 厲曉華,朱敏,陳偕雄.  科技通報. 2006(01)
[3]SoC設(shè)計中的低功耗邏輯綜合策略[J]. 王麗英,楊軍,羅嵐.  電子工程師. 2005(11)
[4]邏輯綜合中對關(guān)鍵路徑處理方法的研究[J]. 夏有為,林正浩.  電子設(shè)計應(yīng)用. 2005(06)
[5]邏輯綜合中的Cube運算[J]. 劉丹非.  計算機科學(xué). 2004(12)
[6]自動邏輯綜合中無冗余覆蓋唯一性[J]. 王成艷.  中南民族大學(xué)學(xué)報(自然科學(xué)版). 2004(03)
[7]數(shù)據(jù)的邏輯綜合分析及決策算法[J]. 管致錦,張義清,徐慧.  計算機工程與應(yīng)用. 2004(26)
[8]代數(shù)拓撲方法應(yīng)用于邏輯綜合[J]. 王成艷.  湖北師范學(xué)院學(xué)報(自然科學(xué)版). 2004(01)
[9]多維體的自動邏輯綜合算法與實現(xiàn)[J]. 張永亮,張永滿,張安宏.  通化師范學(xué)院學(xué)報. 2004(02)
[10]大變量邏輯函數(shù)最佳覆蓋問題研究[J]. 管致錦,張義清,邱建林,王波.  計算機應(yīng)用與軟件. 2003(12)



本文編號：3603659