脫機(jī)式芯片逆向分析技術(shù)已成為當(dāng)今檢測(cè)芯片設(shè)計(jì)安全的關(guān)鍵技術(shù),相關(guān)支撐研究正在蓬勃開展。隨著芯片規(guī)模的增大和復(fù)雜度的提高,脫機(jī)式逆向分析時(shí)采集的數(shù)據(jù)規(guī)模呈指數(shù)級(jí)增長(zhǎng),邏輯逆向綜合處理已成為制約脫機(jī)式芯片逆向分析的瓶頸�，F(xiàn)有邏輯逆向綜合處理算法無法滿足當(dāng)今計(jì)算時(shí)空復(fù)雜度的要求。本文在對(duì)傳統(tǒng)邏輯綜合算法深入分析的基礎(chǔ)上,結(jié)合脫機(jī)式逆向分析時(shí)采集數(shù)據(jù)的特點(diǎn),重點(diǎn)對(duì)大規(guī)模數(shù)據(jù)集條件下的邏輯逆向綜合算法進(jìn)行了研究。本文主要的研究工作和創(chuàng)新點(diǎn)如下:（1）分析了脫機(jī)式邏輯逆向綜合的處理模式及處理流程。其中分塊串行處理模式采用對(duì)分塊數(shù)據(jù)順序處理的方法,數(shù)據(jù)之間依賴性較強(qiáng)。而分塊并行處理模式則采用對(duì)分塊數(shù)據(jù)獨(dú)立處理的方法,每個(gè)分塊數(shù)據(jù)處理時(shí)不需要依賴上一分塊處理的中間結(jié)果,所以處理效率較高。本文結(jié)合不同的處理模式對(duì)相關(guān)算法進(jìn)行了適用性分析,為后續(xù)脫機(jī)式邏輯綜合子系統(tǒng)的設(shè)計(jì)奠定了理論基礎(chǔ)。（2）提出了近似最小覆蓋迭代搜索算法。在輸出變量數(shù)較多的情況下,所有輸出共享同一個(gè)乘積項(xiàng)的可能性較小,更多情況是部分輸出間共享乘積項(xiàng)。針對(duì)這一特點(diǎn),本文提出了將傳統(tǒng)算法中一次性求出絕對(duì)最小覆蓋的模式轉(zhuǎn)換為多次迭代逼近最優(yōu)解... 

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

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

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

【部分圖文】：

－2007年中國(guó)集成電路設(shè)計(jì)業(yè)規(guī)模及增長(zhǎng)

結(jié)束圖 3 脫機(jī)式逆向分析串行體系結(jié)構(gòu)圖塊串行處理模式采用支持分塊處理的邏輯綜合算法，對(duì)原始真值表數(shù)據(jù)分塊讀入果保存在內(nèi)存區(qū)域。每次處理都是在上一塊數(shù)據(jù)處理的中間結(jié)果的，直到所有數(shù)據(jù)處理完畢。另外，在每塊數(shù)據(jù)處理的時(shí)候，是先將離獲得單輸出數(shù)據(jù)，然后針對(duì)每個(gè)輸出分別處理數(shù)據(jù)，所有原始數(shù)出的質(zhì)立方體集合（PI 集）。最后通過陣列合并各個(gè)單輸出的 PI 集的最小覆蓋，從而獲得成本最優(yōu)或者接近最優(yōu)的功能等價(jià)結(jié)果并轉(zhuǎn)，分塊串行處理模式的處理流程如圖 4 所示。行處理模式對(duì)分塊數(shù)據(jù)采用順序處理的方法，前一分塊數(shù)據(jù)綜合后下一分塊數(shù)據(jù)綜合的前提，這導(dǎo)致每次進(jìn)行分塊數(shù)據(jù)處理時(shí)，過分間結(jié)果。因此，由于分塊串行模式的自身局限性，本文所設(shè)計(jì)的算理模式。

信息工程大學(xué)碩士學(xué)位論文塊并行處理模式采用可支持分塊并行處理的邏輯逆向綜合算法，對(duì)原始真值表數(shù)據(jù)，中間結(jié)果保存在內(nèi)存區(qū)域。每次分塊處理都是獨(dú)立完成，不需要中間結(jié)果，直到所有數(shù)據(jù)塊處理完畢才將各個(gè)分塊處理的中間結(jié)果的具體處理過程與串行模式類似，也是先進(jìn)行單輸出 PI 集的求解，出最小覆蓋，最后轉(zhuǎn)換成布爾方程式的形式完成數(shù)據(jù)處理，分塊并如圖 5 所示。論上并行處理模式是可行的，但需要多個(gè)處理器的支撐才能夠?qū)崿F(xiàn)實(shí)際運(yùn)行時(shí)是將每個(gè)分塊處理的中間結(jié)果依次迭代相交，直至所有處理模式不同，采用并行處理模式進(jìn)行數(shù)據(jù)處理時(shí)，對(duì)每個(gè)分塊數(shù)一分塊處理的中間結(jié)果，而是采用直接對(duì)分塊數(shù)據(jù)進(jìn)行取補(bǔ)的方法將其中間結(jié)果與之前分塊的中間結(jié)果再進(jìn)行整合處理，因此對(duì)分塊。

【參考文獻(xiàn)】：
期刊論文
[1]中國(guó)集成電路產(chǎn)業(yè)發(fā)展現(xiàn)狀與趨勢(shì)分析[J]. 李珂.  中國(guó)集成電路. 2008(08)
[2]支持大規(guī)模變量集的最小覆蓋迭代搜索算法[J]. 于磊,葉靜,郭毅,李清寶.  計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào). 2008(06)
[3]邏輯函數(shù)無冗余覆蓋選擇問題[J]. 張義清,管致錦,呂彥明,李洵.  計(jì)算機(jī)工程與應(yīng)用. 2007(10)
[4]逆向設(shè)計(jì)在工業(yè)設(shè)計(jì)中的具體應(yīng)用研究[J]. 李榮君,湯志堅(jiān).  中國(guó)科技信息. 2006(21)
[5]一種優(yōu)化邏輯函數(shù)的程序設(shè)計(jì)與實(shí)現(xiàn)[J]. 李建紅,梁光勝.  計(jì)算機(jī)工程與應(yīng)用. 2006(13)
[6]基于立方擴(kuò)展法的多輸入多輸出邏輯綜合算法的實(shí)現(xiàn)[J]. 朱幼蓮.  江蘇技術(shù)師范學(xué)院學(xué)報(bào). 2004(04)
[7]大變量邏輯函數(shù)最佳覆蓋問題研究[J]. 管致錦,張義清,邱建林,王波.  計(jì)算機(jī)應(yīng)用與軟件. 2003(12)
[8]計(jì)算機(jī)化簡(jiǎn)邏輯函數(shù)的算法研究[J]. 朱幼蓮.  南京理工大學(xué)學(xué)報(bào)(自然科學(xué)版). 2003(04)
[9]啟發(fā)式算法與在線式解析[J]. 羅穎,肖梓祥.  信息工程大學(xué)學(xué)報(bào). 2003(02)
[10]現(xiàn)代啟發(fā)式算法理論研究[J]. 叢明煜,王麗萍.  高技術(shù)通訊. 2003(05)

碩士論文
[1]基于子集迭代相交算法的脫機(jī)式邏輯綜合系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D]. 丁淵.解放軍信息工程大學(xué) 2007
[2]VHDL高級(jí)綜合系統(tǒng)中組合邏輯綜合的研究與實(shí)現(xiàn)[D]. 王文海.安徽大學(xué) 2004



本文編號(hào)：3224514